Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций: «Если подозреваемый совершил кражу, то либо кража была тщательно подготовлена, либо имелся соучастник. Если бы кража была тщательно подготовлена, то был бы соучастник. Значит, подозреваемый виновен в краже».
Главная / Форум
Правила
Правила форума
Формулы
Задачи
ГДЗ
Анимации
Программы
Обратная связь
Каталог сайтов
Карта сайта
Онлайн-компьютер
