Сформулируйте вывод разделительно-категорического умозаключения. Запишите формулу умозаключения. Определите достоверность вывода. 2.1. «Различаются общие и специальные правовые нормы. Эта норма является общей». Значит? 2.2. «Императивные требования могут

Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой

В одной коробке хранятся 20 пар белых и 20 пар черных перчаток (В паре перчатки одного цвета). Сколько правых и сколько левых перчаток необходимо взять, не заглядывая в коробку, чтобы из них можно было выбрать: а) 1 пару перчаток; б) 1 пару белых

20 жителей с острова рыцарей и лжецов пришли в кафе. Каждый из них любит ровно один напиток: чай, кофе или какао. Подошла официантка и спросила: «Кто любит какао?» В ответ все подняли руки. «А кофе?» Теперь подняли руки только половина гостей. «А кто