Есть ответ 👍

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

262
318
Посмотреть ответы 1

Ответы на вопрос:

kriwonos
4,8(7 оценок)

70-30-30=10л из  полной  70л отливаем два раза по 30л. 30+30+30 выливаем в 70 л.   90-70=20л осталось в 30 литровой ёмкости 70 выливаем обратно в 100л.   20 заливаем в 70 и ещё набираем30л добавляем к 20 получаем 50л.

Популярно: Математика