с формализированным исчислением высказываний 1. Докажите следующую формулу G→( F→F)

2. Доказать следующую выводимость F→G, F→(G→H) ├ F→H

3. Докажите формулу при правила MP и теоремы о дедукции, не используя аксиомы. F→((F→G)→G)