Некоторые способы проверки правильности умозаключений:

• Выявление логической формы умозаключения. 34 Затем нужно проверить, есть ли логическое следование между формулами посылок и заключением. 4 Умозаключение считается правильным, когда из его посылок логически следует заключение. 4
• Табличный метод. 13 Нужно построить совместную таблицу истинности для логических форм посылок и заключений. 3 Критерий правильности умозаключения — отсутствие строки в таблице, в которой логические формы обеих посылок истинны, а заключение ложно. 3
• Метод сведения к традиционным типам умозаключений. 1 Если умозаключение сводится к правильным типам, то оно правильное, если к неправильным — неправильное. 1
• Проверка от противного. 1 Предполагают, что умозаключение неверно, и пытаются восстановить значения переменных. 1 Если это приводит к противоречию, то умозаключение правильное, если не приводит — неправильное. 1

Также существует мнение, что правильность умозаключения определяется его формой и не зависит от конкретного содержания входящих в него утверждений. 2