Контрольная по логике. вариант2.
Вариант 2
1. Энтимема и полисиллогизм.
2. Натуральный вывод в логике высказываний и в логике предикатов.
3. Индуктивное умозаключение. Виды индукции.
Задача.
Выразить логическую форму высказывания в языке логики предикатов:
а) Протяженность границы между Россией и Монголией не превышает протяженности границы между Китаем и Россией.
б) Либо каждый любит кого-нибудь и ни один не любит всех, либо некто любит всех и кто-то не любит никого.
в) Все водные животные, кроме китов и дельфинов, холоднокровны.
г) Население Москвы больше, чем население любого города, расположенного во Франции,
д) Каждый англичанин ценит Шекспира выше, чем какого бы то ни было современного драматурга.
е) Некоторые студенты сдали все экзамены на «отлично».
ж) Кто-то может обманывать всех некоторое время или кого-нибудь все время, но никто не может обманывать всех все время.
з) Каждый ребенок любит свою маму.
и) Не все богатые люди счастливы.