Логика логической операции A=>B

[timber]

arseniiv в сообщении #1117766 писал(а):

Просто $\forall x.\,P$ истинно тогда и только тогда, когда истинно $P[a/x]$ (подстановка $a$ вместо всех свободных вхождений $x$) для любой интерпретации константы $a$. Так что если вы принимаете истинность $\forall x\in\mathbb R\;(x>4\Rightarrow x>2)$, должны принять истинность всех $1>4\Rightarrow1>2$, $3>4\Rightarrow3>2$, $5>4\Rightarrow5>2$.

Ну да. Не спорю.
1. $1 > 4 $\Rightarrow$ 1 > 2$ -- истина, так как по правилу, если А = ЛОЖЬ и B = ЛОЖЬ, то $A $\Rightarrow$ B$ -- истина.
2. $3 > 4 $\Rightarrow$ 3 > 2$ -- истина, так как по правилу, если А = ЛОЖЬ и B = ИСТИНА, то $A $\Rightarrow$ B$ -- истина.
3. $5 > 4 $\Rightarrow$ 5 > 2$ -- истина, так как по правилу, если А = ИСТИНА и B = ИСТИНА, то $A $\Rightarrow$ B$ -- истина.
Это все выглядит логично.

[Lia]

timber
Формула должна начинаться с доллара и заканчиваться им. Не ставьте долларов в середине формул и не разбивайте на части.

Отметку об исправлении со ссылкой оставьте в теме «Сообщение в карантине исправлено».