Если в Г все формулы истинны в интерпретации М, то для некоторой замкнутой формулы А:

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # Тавтологией является формула (A,B - формулы):
• # Схема "ИСКЛЮЧАЮЩЕЕ - ИЛИ" имеет:
• # В игре Эренфойхта игроков:
• # В игре Эренфойхта, если есть предикат сигнатуры, различающий помеченные элементы интерпретации, то:
• # Для счетного (конечного) подмножество интерпретации M: