Некоторые способы проверки истинности логических утверждений:

• Метод рассуждений. 1 Заключается в пошаговом анализе условий с промежуточными выводами на каждом этапе. 1
• Табличный метод. 1 Предполагает построение таблицы истинности, которая устанавливает соответствие между всеми возможными наборами логических переменных и значениями функции. 2 Для этого нужно разбить задачу на простейшие утверждения, записать условие задачи как составное выражение из символов логических операций, нарисовать таблицу истинности для полученных данных, выбрать вариант, при котором полученные значения подходят под условие, и проверить соответствие выбранного варианта и условия задачи. 1
• Проверка правильности умозаключений. 3 Для этого нужно выявить логическую форму посылок и заключения, составить таблицу, в которой на всех строчках будут разные распределения значений истинности между переменными, посчитать значения каждой из формул и установить, является ли изначальное умозаключение правильным. 3