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

По этой таблице хорошо видно, что в исчислении высказываний используется именно включающее Ú. Поскольку всё выражение истинно когда только p - истинно, либо только q - истинно, либо и p и q  - оба истинны.

В таблице 5.3. приведены таблицы истиности для всех операций исчисления высказываний.

Таблица 5.3.

Таблица истиности для а) - отрицания, б) - коньюнкции,

в) - импликации, г) - эквивалентности.