Категория:Сложные Суждения

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

• Отрицание - "не", "неверно, что …" Обычно обозначается знаком "¬" или "~"
• Конъюнкция (соединительное суждение) - лог. "и" ("а", "но", "да", "вместе с тем") Обычно обозначается знаком "&" или "Λ".
• Дизъюнкция (разъединительное суждение) - лог. "или".
  • Слабая дизъюнкция Обычно обозначается знаком "v"
  • Сильная дизъюнкция Обычно обозначается знаком "v"
• Импликация (условное суждение) - лог. связка "Если…, то…" Обычно обозначается знаком "→".
• Эквиваленция (двойная импликация) - лог. связка "если и только если…, то…" ("тогда и только тогда, когда…") Обычно обозначается знаком "≡".