Исчисление высказываний
Категория реферата: Рефераты по информатике, программированию
Теги реферата: виды рефератов, банк курсовых работ бесплатно
Добавил(а) на сайт: Червячок.
Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 11 | Следующая страница реферата
Если р - высказывание, то (Øр) - высказывание;
Если p и q - высказывание, то (pÚq), (pÙq), (pÞq), (pÛq) - высказывания.
Обратите внимание на способ определения высказывания, а именно, на пункты 3 и 4 определения 5.1. Эти пункты определяют высказывание через уже существующие высказывания. С таким приемом, когда определяемое понятие определяют, используя само это понятие, мы встретимся еще не раз. Этот прием называется рекурсией.
Может возникнуть опасение “порочного круга” в таком определении. Однако, в силу пунктов 1 и 2, где понятие высказывания определяется через понятия логического значения и переменной логического типа, “зацикливания” не происходит.
Примеры 5.1.
Пусть p,q и r - переменные типа boolean.
Тогда приведенные ниже выражения - это высказывания:
|
1. |
p |
6. |
(pÚq) |
||
|
2. |
q |
7. |
(pÙq) |
||
|
3. |
false |
8. |
(pÞq) |
||
|
4. |
(Øр) |
9. |
(pÚ(rÙq)) |
||
|
5. |
true Рекомендуем скачать другие рефераты по теме: реферати, скачать дипломную работу. Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 11 | Следующая страница реферата Поделитесь этой записью или добавьте в закладкиКатегории: |