Математическая логика и теория алгоритмов, кто может помочь?

К сожалению, я не знаю, что означает значок, стоящий после F.
Стрелка, как я понимаю, это импликация? Она раскрывается по формуле
A -> B = ¬A V B
Поэтому ¬G -> F = G V F
H -> (¬G -> F) = ¬H V G V F
С этим значком сама разбирайся, я больше ничем помочь не могу.