Операции импликация и эквивалентность

Слайд 2

Импликация (логическое следование ) образуется соединением двух высказываний в одно с

Импликация (логическое следование ) образуется соединением двух высказываний в одно с

помощью оборота речи «если …, то…».
Обозначение: А→ В, А ⇒В

Импликация ложна тогда и только тогда, когда из истины следует ложь.

Слайд 3

Эквивалентность (логическое равенство) образуется соединением двух высказываний в одно при помощи

Эквивалентность (логическое равенство) образуется соединением двух высказываний в одно при помощи

оборота речи «… тогда и только тогда, когда …»
Обозначение: А⇔ В, А≡ В

Эквивалентность истинна тогда и только тогда, когда оба высказывания истинны или оба ложны

Слайд 4

Приоритет: Инверсия Конъюнкция Дизъюнкция Импликация и эквивалентность

Приоритет:
Инверсия
Конъюнкция
Дизъюнкция
Импликация и эквивалентность

Слайд 5

№1 Постройте табл.истинности F= AvB ⇒C

№1 Постройте табл.истинности F= AvB ⇒C

Слайд 6

№2 Определите, являются ли сложные высказывания тождественными: A ⇒ B·A; AvB

№2 Определите, являются ли сложные высказывания тождественными: A ⇒ B·A; AvB

Слайд 7

№3 Построить таблицу истинности (A ⇒ B) · (B ⇒ A)

№3 Построить таблицу истинности
(A ⇒ B) · (B ⇒ A)
№4

Определите, являются ли сложные высказывания эквивалентными
A ⇒ B ; B ⇒ A