Решить 2 упражнения на тему "Алгебра логики – булева алгебра" ! Заранее ! Мы будем широко использовать следующие бинарные (булевы) функции:
импликация — =⇒, −→,→; \implies, \longrightarrow, \to; влечет; прямая импликация;
конъюнкция — V
, & (амперсенд); \wedge, \&; “и”; логическое пересечение;
дизъюнкция — W
; “или”; логическое объединение;
эквивалентность — ⇐⇒, ∼, ≡; \iff, \sim, \equiv; эквивалентно;
обратная импликация — ⇐=; \Longleftarrow; следует из
Упражнения:
Упражнение 1. Доказательства от противного базируются на истинности утверждения
(A =⇒ B) ⇐⇒ (eA ⇐= eB). е-это НЕ
Проверить это.
Упражнение 2. Подобрать все синонимы в русском языке для описания прямой и
обратной импликации в утверждениях (помимо вышеприведенных). Образец: ⇐⇒ —
“если и только если”.

ohwer    1   14.01.2022 18:06    0