Автор: Пользователь скрыл имя, 28 Мая 2012 в 07:47, контрольная работа
ассмотрим обычное построение исчисления высказываний.
Сначала задается список исходных с и м в о л о в: А, В, С, ...; интерпретация, &, U®,), (. Затем устанавливаются правила построения формул:
1. Отдельная буква из числа А, В, С,... есть формула.
2. Если х есть формула, то интерпретация х тоже формула.