hzzzkzn99

25.03.2020 20:22 •  Математика

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

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

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