Исправление Kakadu, (текущая версия) :
1) Из того что слева выводимо, доказуемо, следует то, что справа
2,3) По тексту не очевидно, а так не помню
4) Походу завершимость.
UPD) Ты имеешь ввиду квантор существования, который как перевернутая A?
Исходная версия Kakadu, :
1) Из того что слева выводимо, доказуемо, следует то, что справа 2,3) По тексту не очевидно, а так не помню 4) Походу завершимость. UPD) Ты имеешь ввиду квантор существования, который как перевернутая A?