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

вопрос

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

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

Отправить

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