Проверить правильность логического вывода методом прямого преобразования, методом семантических таблиц и методом резолюций Контракт будет выполнен тогда и только тогда,

В компании из 9 человек выяснилось, что четверо пришедших имеют по 4 знакомых среди собравшихся, а оставшиеся пятеро – по 3. Может ли такое быть?

В кафе встретились три друга: скульптор Белов, скрипач Чернов и художник Рыжов. «Замечательно, что один из нас имеет белые, один черные и один рыжие волосы, но ни у одного из нас нет волос того цвета, на который указывает его фамилия», — заметил

В данных суждениях найдите субъект, предикат и связку. Определите количество и качество суждений, укажите, если оно есть, кванторное слово.

1. Некоторые озера не имеют пресной воды.
2. Все свидетели дают правдивые показания.
3. Ни один студент нашей