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

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

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

настя20034122003    3   12.12.2020 06:57    25