Разобраться
вывести в ис следующие секвенции:
построить дерево
а) (а⊃в), (в⊃с) |- (а⊃с)

б) (а⊃(в⊃с)) |- (в⊃(а⊃с))

в) (а⊃(в⊃с)) |- ((а& в)⊃с)

nastyakelman25    2   15.01.2020 13:35    5