Консультация онлайн # 202187

Раздел: Математика
Автор вопроса: ficha (Посетитель)
Дата: 18.02.2022, 11:22 Консультация неактивна
Поступило ответов: 0
Проверить аргумент методом резолюций. Получить все следствия из данных посылок.

«Если X , то (Y тогда и только тогда, когда Z). Если X, то Z и (если Z, то Y). Следовательно, X».

Ответов еще не поступило.

Мини-форум консультации # 202187


Нет сообщений в мини-форуме
Возможность оставлять сообщения в мини-форумах консультаций доступна только после входа в систему.
Воспользуйтесь кнопкой входа вверху страницы, если Вы зарегистрированы или пройдите простую процедуру регистрации на Портале.