Основы современных компьютерных технологий


Введение в логику - часть 4


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

По качеству простые высказывания делятся на утвердительные и отрицательные. По количеству высказывания делятся на:

  • единичные - субъектом является предмет, существующий в единственном числе;
  • частные - в высказывании говорится о пересечении класса предметов, к которому относится субъект, с классом предметов, к которым относится предикат);
  • общие - в высказывании говорится о включении или не включении всего класса предметов, к которому относится субъект высказывания, в класс предметов, к которому относится предикат.

Классы предметов, к которым относятся субъект и предикат высказывания, будем обозначать буквами S и Р соответственно.

Высказывания, одновременно общие по количеству и утвердительные по качеству называются общеутвердителъпыми и имеют форму "Всякий S есть Р"; обозначается такой тип высказывания символом А.

Высказывания, общие по количеству и отрицательные по качеству, называются общеотрицателъными и имеют форму "Всякий S не есть Р"; обозначается такой тип высказывания символом Е.

По аналогии выделяют частноутвердительные высказывания ("Некоторый S есть Р"; обозначается тип как I) и частноотрицателъпые высказывания ("Некоторый. S не есть Р"; обозначается такой высказывания тип как О).

Различают также высказывания сравнимые - имеют одни и те же субъект и предикат и несравнимые - различны субъекты и предикаты суждений.

Третья форма мышления - рассуждения. Простейшей формой рассуждений является умозаключение -получение из одного или нескольких высказываний нового высказывания. Принято считать, что из высказываний А1,А2...Аn следует высказывание В, если В истинно по крайней мере всегда, когда истинны А1 ,А2.. .Ап. При этом исходные высказывания А1,А2,...,Аn, из которых делается логический вывод, называются посылками, а повоевысказывание В - заключением, следствием.


Начало  Назад  Вперед