Поиск контрпримера для формулы А сводится к поиску:

вопрос

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

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

Отправить

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