Презентация на тему Импликация и эквивалентность

операции соответствуют союзы если ..., то; когда ..., тогда;

коль скоро..., то и т.п.
Выражение, начинающееся после союзов если, когда, коль скоро, называется основанием условного высказывания.
Выражение, стоящее после слов то, тогда, называется следствием.
Импликация — двухместная операция; записывается так: А —> В

тогда и только тогда, когда ...
Эквивалентность обозначается знаком

«=» или «<->».
!Порядок всех пяти логических операций по убыванию старшинства следующий: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность

Эквивалентность

станет тепло». Преобразовать к логической формуле. Решение.
Обозначим через

А простое высказывание «выглянет солнце», а через В — «станет тепло». Тогда логическая форма сложного высказывания имеет вид А —> В.

только тогда, когда он давно не ел». Преобразовать к

логической формуле.
Решение.
Обозначим через А простое высказывание «людоед голоден», а через В — «он давно не ел».
Тогда логическая формула сложного высказывания имеет вид А = В.

В) -> В) & (А & В) -> В.

(¬а v b)

¬(а /\ b) = (¬а v b)

числа X
истинно высказывание:
(X>4) \/ ((X>1) ->(X>4))?
Ответ:

числа X
истинно высказывание:
(X>4) \/ ((X>1) ->(X>4))?
Ответ: 1

(Первая буква имени гласная -> Четвертая буква имени согласная)?

Ответ:

(Первая буква имени гласная -> Четвертая буква имени согласная)?

Ответ: 3