Напишите предложение, которое будет иметь такую же логическую формулу: Не верно, что и A и не A . Переведите сложное

Milochka

14

Давайте начнем с перевода сложного суждения на символический язык.

Суждение "Мы любим людей за наше благодеяние и не любим за то, что мы им вредим" может быть переведено на символический язык следующим образом:

Пусть:
- Л(x) - "мы любим человека x"
- Б(x) - "мы благодетельны к человеку x"
- В(x) - "мы вредим человеку x"

Тогда данное сложное суждение может быть записано как:

\[ (\forall x)(Б(x) \rightarrow Л(x)) \land (\forall x)(В(x) \rightarrow \lnot Л(x)) \]

Вторая часть задания требует написать предложение с такой же логической формулой, как "Не верно, что и A и не A".

Такое предложение может быть следующим:

\[ \lnot (P \land \lnot P) \]

Где P - любое высказывание или утверждение.

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