Таблица истинности – это удобный и достаточно простой инструмент, вооружившись которым логик может решать различные задачи.

Например, с помощью таблицы истинности можно проинтерпретировать нелогические символы, можно проверить, является ли логическая форма высказывания законом, просто выполнимой формулой или она всегда будет ложна. Наконец, таблицы можно использовать для проверки правильности умозаключения или установления различных логических отношений между высказываниями. В дополнительном эпизоде к третьей лекции курса «Введение в дедуктивную логику» Александр Беликов рассказывает, как строить таблицы истинности.