А ∨ ¬A = 1 (Закон исключения третьего)
Объяснение:
Возьмём, что А = "чётное"
⇒ Либо чётное, либо нечётное = чётное или нечётное [или = ∨]
⇒ A ∨ ¬A
Третьего не дано ⇒ одно из утверждений будет верным ⇒ выражение будет истинным
⇒ A ∨ ¬A = 1 (т. к. в Алгебре Логики единица означает истину [true])
Получился закон исключения третьего
А ∨ ¬A = 1 (Закон исключения третьего)
Объяснение:
Возьмём, что А = "чётное"
⇒ Либо чётное, либо нечётное = чётное или нечётное [или = ∨]
⇒ A ∨ ¬A
Третьего не дано ⇒ одно из утверждений будет верным ⇒ выражение будет истинным
⇒ A ∨ ¬A = 1 (т. к. в Алгебре Логики единица означает истину [true])
Получился закон исключения третьего