Объясните пожалуйста мат.логика или как такое возможно

[3384432]

Добрый день, как такое возможно.

Дано.
$(A\Leftrightarrow B)\Leftrightarrow((\neg A\lor B)\land(\neg B\lor A))$
Здесь все мне понятно - это одновременно, эквивалентно (равновероятно).
Но если мы поменяем B на A. Потому что А равно само себе.
Как объяснить это.

$(A\Leftrightarrow A)\Leftrightarrow((\neg A\lor A)\land(\neg A\lor A))$

если $(A \Leftrightarrow A)$ то это просто $A$
где $(A)\Leftrightarrow((\neg A\lor A)\land(\neg A\lor A))$
и что собственно такое $((\neg A\lor A)\land(\neg A\lor A))$
почему эта формула истинна $(A\Leftrightarrow A)\Leftrightarrow(\neg A\lor A)$
очень похожа на $\neg A\,0\% \wedge A\,100\%$
это что какойто аналог диалектики или я чтото не правильно вывожу.

[AGu]

Добро пожаловать в «Карантин».

3384432 в сообщении #1005841 писал(а):

(А=А) = (неА+А) и (неА+А) это же тоже истинно как может быть такое что А = неА

Где Вы увидели «А = неА»?

3384432 в сообщении #1005841 писал(а):

Вопрос 2.
(если А то А) истинна
а-а-а лож

А тут вообще ничего не понятно.
И не будет понятно, пока Вы не оформите все формулы по правилам.
Вот пример: $(A\Leftrightarrow B)\Leftrightarrow(\neg A\lor B)\land(\neg B\lor A)$.

[3384432]

AGu в сообщении #1005848 писал(а):

$(A\Leftrightarrow B)\Leftrightarrow(\neg A\lor B)\land(\neg B\lor A)$

[AGu]

Написанное Вами невозможно понять. Мало того, что Вы не оформляете формулы в TeX'е, так Вы еще не употребляете знаки препинания и заглавные буквы. Не текст а каша какая-то. Так у нас разговора не получится.

[Deggial]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Причина переноса: формулы не оформлены $\TeX$ом

3384432
Наберите все формулы и термы $\TeX$ом.
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
См. также тему Что такое карантин, и что нужно делать, чтобы там оказаться.
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.