Математическая логика и теория вычислимости Лекция 4. Исчисление высказываний генценовского типа





Пусть имеется некоторая формула A. Как выяснтить, что она не тавтология? Привести контрпример, то есть построить оценку, на которой эта формула является ложной. Для построения контрпримера можно разбирать формулу: если главная связка — дизъюнкция, то ищем значения переменных, при которых оба аргумента ложны; если главная связка — отрицание, то ищем значения переменных, при которых аргумент истинен; если главная связка — импликация, то ищем значения переменных, при которых посылка истинна, а заключение — ложно; если главная связка — конъюнкция, то ищем значения переменных, при которых либо один аргумент ложен, либо другой.    

Читать далее:

  • Автор сообщения: Artem%>

Комментариев пока нет. Вы можете стать первым!  
Добавить комментарий