Суждение

1) 1. Пример: Все бабочки обязательно насекомые (утвердительное суждение).

   2. По количеству - общее

   3. Суждения по своей логической форме могут быть сравнимые и не сравнимые. Сравнимыми являются суждения имеющие одинаковый термин и отличающиеся по качеству и количеству. Не сравнимыми будут суждения в которых различные субъекты и предикаты.

   4. Модальности суждения: отлитические, дионтические, аксиологические и темпоральные модальности. Даннный пример - дионтическое суждение.

   5. Истинность, ложность. Данный пример - истинное суждение.

2) Объединенная классификация

   а) общеутвердительное суждение (А)

   б) общеотрицательное суждение (Е)

   в) частно-утвердительное суждение (I)

   г) частно-отрицательное суждение (О)

Термин распределен, если для всего множества предметов из класса S, предицируемое в предложениях наличие или отсутствие свойства Р оказывается выполненным (правило - термин распределен “+” нераспределен “-”).

Всякий англичанин - человек (Всякий S + есть Р -).

Всякий юридически не наказуемый поступок не есть преступление (Всякий S + не есть Р +).

Некоторые поэты, есть писатели (Некоторые S - есть Р -).

Некоторые учащиеся не являются баскетболистами. (Некоторые S - не есть Р +).

3) Операции обращения: некоторые военнослужащие - прапорщики. Некоторые прапорщики - военнослужащие.

   Операция превращения: все антилопы - стройны. Все антилопы не есть не стройные.

   Операция противопоставления предикату: некоторые европейские государства не являются унитарными. Некоторые не унитарные государства являются европейскими.        

4) Коньюнкция (логическое произведение) образуется путем объединения простых высказываний логической связкой “и”.

Пример:

9 - простое число, и 9 - нечетное число (обозначается “x L y”, где L - конъюнктивный оператор (иначе - логическая связка)).

Конъюнкция будет считаться истинной, если и только если все ее конъюнктивные члены будут истинными.

Дизъюнкция (логическая сумма) образуется путем соединения простых высказываний логической связкой “или”.

Слабая дизъюнкция: высказывание вида (x V y) истинно, если истинным является хотя бы одно высказывание - x или y (или же сразу оба), и ложно только в том случае, когда все ее дизъюнктивные члены будут ложными.