Поясните,
вывести в ис следующие секвенции:

построить дерево

а) (а⊃в), (в⊃а) |- (а≡в)

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

egorageev07    3   15.01.2020 13:37    4