ЛОГИКА ВЫСКАЗЫВАНИЙ

  • Пономарев В.Ф. Математическая логика. Часть 1. Логика высказываний. Логика предикатов. Учебное пособие. – Калининград: КГТУ, 2001. – 140 с.
    Учебное пособие предназначено для студентов университета, изучающих “Математическую логику”. В нем изложены основные принципы формирования языка, основные правила дедуктивного вывода, основные механизмы доказательства истинности заключения в логике высказываний и логике предикатов. Все доказательства подкреплены множеством примеров.