Решить 2 упражнения на тему "Алгебра логики – булева алгебра" ! Заранее ! Мы будем широко использовать следующие бинарные (булевы) функции:
импликация — =⇒, −→,→; \implies, \longrightarrow, \to; влечет; прямая импликация;
конъюнкция — V
, & (амперсенд); \wedge, \&; “и”; логическое пересечение;
дизъюнкция — W
; “или”; логическое объединение;
эквивалентность — ⇐⇒, ∼, ≡; \iff, \sim, \equiv; эквивалентно;
обратная импликация — ⇐=; \Longleftarrow; следует из
Упражнения:
Упражнение 1. Доказательства от противного базируются на истинности утверждения
(A =⇒ B) ⇐⇒ (eA ⇐= eB). е-это НЕ
Проверить это.
Упражнение 2. Подобрать все синонимы в русском языке для описания прямой и
обратной импликации в утверждениях (помимо вышеприведенных). Образец: ⇐⇒ —
“если и только если”.
141
431
Ответы на вопрос:
A(x; y) = a ( - 2; 20) y = r*x - 6 20 = - 2*r - 6 - 2r - 6 = 20 - 2r = 26 r = - 13
Популярно: Алгебра
-
Ellenkpop24.04.2022 08:24
-
tata1571127.01.2020 08:08
-
tatanapahomova915.01.2023 20:18
-
ANgeLOL111225.05.2023 18:01
-
alonedango25.05.2023 08:44
-
Nastenok12206.06.2023 08:58
-
ArtemPlayGames31.07.2021 15:06
-
kiss86gv27.04.2023 15:24
-
айлимайли05.03.2021 07:46
-
kekocikkkkk05.08.2020 04:30