Если в тавтологию вместо пропозициональных переменных подставить формулы сигнатуры, получим:

вопрос

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

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

Отправить

• # В списке выражений: 2-2=0, 2+3=6, 3+12, 2+2>2+2, 2-0=3-0, 56=50+6 приведено всего истинных и ложных высказываний соответственно:
• # Множество всех истинных в N формул сигнатуры не выводится формула:
• # Для сигнатуры аксиомой равенства будет:
• # Игроки игры Эренфойхта называются:
• # Общезначима формула: