Логика

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

📌 Импликативное суждение – это сложное суждение вида «если P, то Q» (P → Q).

Пример:
✅ «Если идет дождь, то земля мокрая.»

Условия истинности:

• Ложным является только случай, когда P истинно, а Q ложно.

📌 Пример:

• «Если я опоздаю, то пропущу автобус.» – если я опоздал, но автобус не уехал, суждение ложное.

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

📌 Эквиваленция – это сложное суждение вида «P тогда и только тогда, когда Q» (P ↔ Q).

Пример:
✅ «Человек дышит, если и только если он жив.»

Условия истинности:

• Истинно, если оба суждения либо истинны, либо ложны.

📌 Пример:

• «Студент получит диплом тогда и только тогда, когда он закончит обучение.»