Главная

Популярная публикация

Научная публикация

Случайная публикация

Обратная связь

ТОР 5 статей:

Методические подходы к анализу финансового состояния предприятия

Проблема периодизации русской литературы ХХ века. Краткая характеристика второй половины ХХ века

Ценовые и неценовые факторы

Характеристика шлифовальных кругов и ее маркировка

Служебные части речи. Предлог. Союз. Частицы

КАТЕГОРИИ:






Интерпретация формул




Пусть A(x1,x2,…xn) – пропозициональная формула, где x1,x2,…xn – пропозициональные переменные. Конкретный набор значений, который принимают переменные x1,x2,…xn называется интерпретацией.

I(A) – значение формулы в интерпретации I.

В одной интерпретации формула может быть истинной, а в другой – ложной.

Формула, истинная в какой- то интерпретации – выполнимая.

Формула истинная во всех интерпретациях – тавтология (тождественно истинная формула), иначе – противоречие.

Пример 1.

Докажем, что формула является тавтологией.

Пример 2.

Докажем, что формула является выполнимой.

 






Не нашли, что искали? Воспользуйтесь поиском:

vikidalka.ru - 2015-2024 год. Все права принадлежат их авторам! Нарушение авторских прав | Нарушение персональных данных