Лекция 8. Сложные суждения

Сложные суждения, их образования и виды

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

Для простоты обозначают сложные суждения латинскими буквами а, b, с, d или р, q, г, г и др. Каждая такая буква представляет некоторое простое суждение. Иными словами, в каждой «букве» содержатся свои S и Р. Например, в конъюнктивном сложном суждении «Судьи независимы и неприкосновенны» содержатся два простых суждения: 1. «Судьи независимы» (а); 2. «Судьи неприкосновенны» (b), которые в символической логике записываются формулой: а л Ь.

Анализ сложных суждений - это уже переход из формальной логики в символическую. Значительное место в анализе сложных суждений занимают логические союзы (л, v, —<^> ), посредством которых образуются сложные суждения.

Логические союзы называются пропозициональными, а теория сложных суждений теорией пропозициональных союзов. От названия пропозициональных союзов происходит название сложных суждений:

  • • конъюнктивное, или соединительное (а л Ь);
  • • дизъюнктивное, или разделительное (a v Ь);
  • • импликативное, или условное (а -> Ь);
  • • эквивалентное, или тождественное (а <=> Ь).

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

  • 1. Сложное суждение, как и простое, имеет одно и только одно их двух значений истинности: оно является либо истинным, либо ложным.
  • 2. Истинностное значение сложного высказывания зависит от истинностных значений, входящих в его состав простых суждений и способа их логической связи между собой.
  • 3. Таблицы истинности являются соглашениями, показывающими, в каких случаях высказывание с той или иной связкой истинно, а в каких - ложно. Таблицы истинности - это специальные теоремы для выяснения истинности сложных высказываний.
 
Посмотреть оригинал
< Пред   СОДЕРЖАНИЕ   ОРИГИНАЛ     След >