Любое вхождение переменной в атомарную формулу:

вопрос

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

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

Отправить

• # Если A и B - пропозициональные формулы, то такой же формулой будет:
• # Для сигнатуры аксиомой равенства будет:
• # Теоремой исчисления высказываний является:
• # Процесс вывода можно представить:
• # Если в тавтологию вместо пропозициональных переменных подставить формулы сигнатуры, получим: