Рефераты | Рефераты по информатике, программированию | Исчисление высказываний |
Следует прокоментировать таблицу истиности для импликации в состоянии p=F , q=T. Вспомним наш пример,
если 
Это высказывание не содержит утверждения, что если “Анаконда” не идет в этом кинотеатре, то я не куплю билет. Таким образом, даже если p=F, т.е. “Анаконда” не идет в этом кинотеатре, я могу купить билет.
Таблица истиности может быть построена для высказывания любой сложности. Например, рассмотрим выражение
(pÚq) Þ Øp
Построим сначала таблицу истиности для (pÚq), обозначив это выражение через s, затем построим таблицу истиности для Øp, обозначив это выражение через r, и, наконец, построим таблицу истиности для s Þ r. В таблице 5.4. показан этот процесс.
Таблица 5.4.
Таблица истиности для выражения (pÚq) Þ Øp.
|
p |
q |
s = pÚq |
r =Øp |
s Þ r |
|
|
T |
T |
T |
F |
F |
|
|
T |
F |
T |
F |
F |
|
|
F |
T Рекомендуем скачать другие рефераты по теме: реферати, скачать дипломную работу. Предыдущая страница реферата | 3 4 5 6 7 8 9 10 11 12 13 | Следующая страница реферата Поделитесь этой записью или добавьте в закладкиКатегории: |
