Понятие высказывания. Логические связки, предикаты, кванторы. Логические функции. Законы логики высказываний и логики предикатов. Нормальные формы логической функции. Тавтологии. Логическое следствие. Противоречие и метод доказательства "от противного". Поддержите мой труд материально. Карта Сбербанка: 2202 2036 0506 0823 Телеграм:
Сайт:
Почта: [email protected] © Янович Эдуард Алексеевич, 2024
