Как найти «если Q, то S» в этом классическом выводе CSL [закрыто]

Закрыто. Этот вопрос не по теме . В настоящее время он не принимает ответы.

Хотите улучшить этот вопрос? Обновите вопрос , чтобы он был по теме для Stack Overflow.

Закрыт 6 лет назад .

Вот проблема: мне нужно вывести Q> S из:

(P ^ Q ^ R)> S
(~ P ^ Q ^ ~ R)> S

Мне не разрешено использовать какие-либо производные правила или правила замены (правила Де Моргана, импликации, методы Modus Tolluns и т. Д.), Только правила классической логики. Я перепробовал все, что мог придумать, но до сих пор не могу найти нужный мне ответ.

logic

задан Bill the Lizard 18 September 2012 в 16:58

0 ответов

Другие вопросы по тегам:

logic

Как найти «если Q, то S» в этом классическом выводе CSL [закрыто]

0 ответов

Похожие вопросы: