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

• Построение таблицы истинности. 25 С её помощью устанавливается значение истинности сложного суждения в зависимости от значения истинности простых суждений, входящих в его состав. 5
• Упрощение и разбиение на части. 2 При помощи простых выражений можно упростить сложные утверждения и проверить их истинность. 2
• Сокращённый табличный метод. 5 Если высказывание содержит три и более переменных, то строить полную таблицу для проверки его правильности затруднительно. 5 В этих случаях используют сокращённый метод проверки, рассуждая от противного. 5
• Проверка правильности умозаключений. 3 Для этого выявляют логическую форму посылок и заключения и считают значения каждой из формул с помощью табличных определений логических связок. 3 Затем устанавливают, имеет ли между посылками и заключением место отношение логического следования. 3