ВИДЫ СЛОЖНЫХ СУЖДЕНИЙ.

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

Конъюнктивные (соединительные) сложные суждения:

Петров является студентом и спортсменом.

Дизъюнкивные (разделительные) сложные суждения:

Петров является студентом или спортсменом.

Импликативные (условные) сложные суждения:

Если идет дождь, то асфальт мокрый.

Эквивалентные сложные суждения:

Если и только если участок суши окружен со всех сторон водой, то он является островом.

Отрицающие сложные суждения:

Петров не является ни студентом, ни спортсменом.

Таким образом:

  • 1) конъюнкция истинна тогда, когда истинны оба простых суждения;
  • 2) нестрогая дизъюнкция истинна тогда, когда хотя бы одно простое суждение истинно; строгая дизъюнкция истинна тогда, когда только одно простое суждение истинно;
  • 3) импликация истинна во всех случаях, кроме одного: когда а истинно, а b ложно;
  • 4) эквиваленция истинна тогда, когда оба суждения истинны или оба ложны.
 
Оригинал текста доступен для загрузки на странице содержания
< Пред   СОДЕРЖАНИЕ   Скачать   След >