Пусть A,B,C реляционные символы подходящей валентности. Проверьте, является ли следующая формула общезначимой Ǝw(Aw∩ ¬Bw)⋃Cw)→ Ǝx Ǝy Ǝz((Ax∩ ¬By)⋃Cz)

Мирамкуль1 Мирамкуль1    2   06.12.2020 23:57    6

Другие вопросы по теме Математика