Question

Алгебра логикиПодскажите, А -> неА можно записать как неА или неА, да?

Answer 1

Логическая операция импликация (A → B) эквивалентна (не A или B), следовательно A → не A ⇔ не A или не A ⇔ не A 

Answer 2

Конечно, можно записать выражение "А -> ¬А" как "¬А" или как "¬А v ¬А". Давайте разберем, что означает каждая из этих записей:

1. "¬А" означает отрицание А. То есть, если А истинно, то "¬А" ложно, и наоборот: если А ложно, то "¬А" истинно. Это выражение не зависит от значения А.

2. "¬А v ¬А" - это дизъюнкция двух отрицаний А. Здесь мы имеем "или" между двумя одинаковыми выражениями "¬А". В логике это просто эквивалентно одному отрицанию "¬А".

Таким образом, выражение "А -> ¬А" может быть записано как "¬А" или как "¬А v ¬А". Оба способа верны и означают отрицание А.