Для любых формул исчисления высказывания А В, С выводима формула:

вопрос

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

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

Отправить

• # Верно утверждение для произвольных литералов, конъюнктов и дизъюнктов:
• # Верна теорема для любой булевой функции :
• # Любая теория, устойчивая относительно объединения:
• # Выводом является:
• # Тождественное отображение: