Тема: «Умозаключения».

Под умозаключениями принято понимать формирование новых суждений на основе уже известных. К категорий умозаключений относятся все выводы в логике. В частности теоремы логики высказываний и логики предикатов, выводы в силлогистике и другие выводы.

Рассмотрим класс умозаключений, в основе которых лежит семантика логических операций. Это различного рода условные и разделительные высказывания. В общей схеме классификаций умозаключений они относятся к категории прямых. Часть классификации показано ниже:

Умозаключения