Является ли оператор "моделей" транзитивным?
Как говорится в заголовке, я хотел бы знать, что оператор models (|=) является транзитивным. Я думаю, что это:
допустим, у нас есть: phi |= psi и psi |= theta. Тогда все интерпретации J, которые являются истинными для phi, верны для psi (и число этих истинных интерпретаций для psi равно или больше, чем для phi.) С тем же рассуждением, я получаю, что число истинных интерпретаций для тета более или равны, чем те, что для пси. Так что phi |= theta должно быть правдой.
Но я понятия не имею, как правильно и формально записать это...