Учебно-методическое пособие. — Казань: Казанский федеральный университет, 2023. — 52 с.
В данном пособии дается описание основ пропозициональной логики. Объясняется, как формализовать рассуждение, построить таблицу истинности и проверить валидность вывода. Отдельное внимание уделяется методу проверки валидности вывода через анализ значений.
Предназначено для студентов, обучающихся по направлению 37.03.01 — Психология.