Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Негатив формулы. Теорема о негативе

Получить выполненную работу или консультацию специалиста по вашему учебному проекту
Узнать стоимость

Негативом Негатив формулы. Теорема о негативе формулы А называют формулу, полученную заменой входящих в нее высказываний на противоположный знак конъюнкции и дизъюнкции, и наоборот. Для этого нужно добиться, чтобы формула А была записана через отрицание дизъюнкции и конъюнкции.

Внимание!
Если вам нужна помощь в написании работы, то рекомендуем обратиться к профессионалам. Более 70 000 авторов готовы помочь вам прямо сейчас. Бесплатные корректировки и доработки. Узнайте стоимость своей работы.

Теорема. Пусть А – формула, составленная из простых с помощью отрицания дизъюнкции и конъюнкции, и пусть Негатив формулы. Теорема о негативе- негатив формулы А. Тогда Негатив формулы. Теорема о негативе является тавтологией.