Логика В4

1. Дать определение следующим понятиям:

2. В следующих суждениях определить субъект, предикат и связку, а так же привести их к канонической форме:

3. Выделить в сложном суждении простые исходные суждения и привести сложное суждение к символической форме.
а) я буду очень удивлен (q), если моя догадка не подтвердиться (p); p=>q


4. Построить таблицы истинности для следующих сложных суждений, представленных в символической форме:
а) а?((а?b)va);


4. Построить таблицы истинности для следующих сложных суждений, представленных в символической форме:
а) а?((а?b)va);

5. Сделать вывод посредством превращения из следующих посылок:
а) не все преступления являются умышленными - некоторые преступления



6. Сделать вывод посредством обращения из следующих посылок:
а) не все преступления являются умышленными;
б) ни одна захватническая война не является справедливой – ни одна


7. Сделать вывод посредством противопоставления предикату из следующих посылок:
а) не все преступления являются умышленными – некоторые неумышленные



1. Сделать вывод по правилам простого категорического силлогизма (если это возможно) из следующих посылок. Если вывод сделать невозможно – указать причину.
Джон трудолюбив. Ни один трудолюбивый человек не является несчастным.