В приведенном доказательстве найти тезис, аргументы, определить форму доказательства. Общеотрицательное суждение обращается в такое же общеотрицательное потому, что в общеотрицательном суждении и субъект, и предикат всегда распределены.

Сделайте полный разбор простых категорического силлогизма: укажите посылки и заключение; меньший, больший и средний термины; меньшую и большую посылки; фигуры; модусы; распределенность терминов в посылках и заключении.

Правильно ли построен силлогизм и возможен ли вывод? а) Ни одна аксиома не нуждается в доказательстве.  Некоторые аксиомы – не математические. б) Ни один деревянный предмет не проводит электричество. Некоторые ручки из дерева.

Решите следующую математическую задачу на логику высказываний. Является ли формула ((P ⊃ Q) & P) ⊃ (Q ⊃ ¬P) тавтологией?