А, вот написано у Верещагина и Шеня:
Цитата:
Если формула представляет собой нульместный предикатный символ, то её значение не зависит от оценки и есть значение этого символа.
Там же формулы с импликацией рассматриваются по аналогии.
Тогда у нас действительно одна модель ИВ. Никаких других моделей не существует?
-- 01.03.2016, 20:51 --Я что хочу сказать. Понятие истинности мы вроде как сформулировали. Структура? Носитель структуры не играет никакой роли, поскольку предикаты нульарные и аргументов из носителя не требуют. Сигнатура - множество нелогических символов. Она не играет вроде бы никакой роли, потому что почти все символы у нас логические! Единственное, что придется затолкать в сигнатуру это сами предикатные буквы
. Всё. Что остается? Только интерпретационная функция, которая эти буквы превращает в константы
или
.
Осталось только подобрать такую функцию, чтобы каждая формула принимала истинное значение. Но у меня есть ощущение, что и подбирать ничего не надо. Я так присматриваюсь к формулам и кажется, что что бы мы ни подставили, все равно значение всех формул будет
.
Вариантов вроде бы нет никаких. Все модели будут отличаться лишь тем, какие значения
приписывает нашим предикатным буквам. Больше разницы я никакой не вижу.