Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний Исчисление высказываний | Категория реферата: Рефераты по информатике, программированию | Теги реферата: виды рефератов, банк курсовых работ бесплатно | Добавил(а) на сайт: Червячок. Предыдущая страница реферата | 3  4  5  6  7  8  9  10  11  12  13 | Следующая страница реферата

Следует прокоментировать таблицу истиности для импликации в состоянии p=F , q=T. Вспомним наш пример,

 если

Это высказывание не содержит утверждения, что если “Анаконда” не идет в этом кинотеатре, то я не куплю билет. Таким образом, даже если p=F, т.е. “Анаконда” не идет в этом кинотеатре, я могу купить билет.

Таблица истиности может быть построена для высказывания любой сложности. Например, рассмотрим выражение

(pÚq) Þ Øp

Построим сначала таблицу истиности для (pÚq), обозначив это выражение через s, затем построим таблицу истиности для Øp, обозначив это выражение через r, и, наконец, построим таблицу истиности для s Þ r.  В таблице 5.4. показан этот процесс.

Таблица 5.4.

Таблица истиности для выражения (pÚq) Þ Øp.