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

kristinandrosov    2   17.11.2020 00:24    13