logo
Getmanova_A_D_-_Logika

Выводы, основанные на логических связях между суждениями (выводы логики высказываний)

Если в логике предикатов простые суждения расчленялись на субъект и предикат, то в логике высказываний суждения не рас­членяются на субъект и предикат, а рассматриваются как про­стые суждения, из которых с помощью логических связок (логи­ческих постоянных) образуются сложные суждения.

Правила прямых выводов логики высказываний позволяют из данных истинных посылок выводить истинное заключение. На ос­нове правил прямых выводов построены чисто условные и услов­но-категорические, чисто разделительные и разделительно-кате­горические, а также условно-разделительные (лемматические) умозаключения.