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

• Построение таблицы истинности. 13 Это таблица, устанавливающая соответствие между всеми возможными наборами логических переменных, входящих в логическую функцию, и значениями функции. 1 Она применяется для вычисления истинности сложных высказываний и установления эквивалентности высказываний. 1
• Упрощение и разбиение на части. 3 При помощи простых выражений можно упростить сложные утверждения и проверить их истинность. 3
• Анализ компонентов утверждения. 4 Включает изучение посылок и умозаключений, из которых состоит утверждение. 4 Чтобы подтвердить аргументацию, необходимо осмыслить утверждение, установить позицию, сформулировать его и обосновать, завершая переформулированным выводом. 4