Логика В4

1. Дать определение следующим понятиям: 2. В следующих суждениях определить субъект, предикат и связку, а так же привести их к канонической форме: 3. Выделить в сложном суждении простые исходные суждения и привести сложное суждение к символической форме. а) я буду очень удивлен (q), если моя догадка не подтвердиться (p); p=>q 4. Построить таблицы истинности для следующих сложных суждений, представленных в символической форме: а) а?((а?b)va); 4. Построить таблицы истинности для следующих сложных суждений, представленных в символической форме: а) а?((а?b)va); 5. Сделать вывод посредством превращения из следующих посылок: а) не все преступления являются умышленными - некоторые преступления 6. Сделать вывод посредством обращения из следующих посылок: а) не все преступления являются умышленными; б) ни одна захватническая война не является справедливой – ни одна 7. Сделать вывод посредством противопоставления предикату из следующих посылок: а) не все преступления являются умышленными – некоторые неумышленные 1. Сделать вывод по правилам простого категорического силлогизма (если это возможно) из следующих посылок. Если вывод сделать невозможно – указать причину. Джон трудолюбив. Ни один трудолюбивый человек не является несчастным.