Аксиомой исчисления высказываний является:

вопрос

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

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

Отправить

• # Тавтологией является формула (A,B - формулы):
• # Утверждение выполнимо только тогда, когда выполнимо:
• # Теорема о полноте позволяет заменить в формулировке:
• # Если теория имеет сколь угодно большое конечные нормальные модели, то она:
• # Количество синонимов в списке ‹"арность", "местность", "валентность", "эквивалентность"› равна: