Предикат, выразимый в данной интерпретации:

вопрос

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

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

Отправить

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