Реферат: Краткая методичка по логике

Рассуждение останется правильным, если из него выбросить первое предложение и ссылку на него во втором предложении:

(pÞs)ÙØsÞØp = +`p = +`p = p + s +`p = 1 + s = 1

Задача. Выяснить, кто из четверых виновен на основе информации «Петров виновен, только если виновен Кулагин. Неверно, что виновность Родионова влечет виновность Сидорова и что Кулагин виновен, а Сидоров нет».

p, q, r, s – виновен Петров, Кулагин, Родионов, Сидоров.

(pÞq)ÙØ(rÞs)ÙØ(qÙØs) = (`p + q) = (`p + q) r`s(`q + s) = (`p + q)`r s`q = `p`q r`s

т.е. Родионов виновен, остальные не виновны.

Задача Кислера. Обвиняемые в подделке налоговых документов Браун, Джонс и Смит дают под присягой такие показания.

Браун: Джонс виновен, а Смит не виновен.

Джонс: Если Браун виновен, то виновен и Смит.

Смит: Я не виновен, но хотя бы один из них двоих виновен.

Вопрос 1: Совместимы ли данные показания?

Вопрос 2: Какое показание следует из другого?

Вопрос 3: Если все виновны, то кто лжесвид?