1. Введение

Логика изучает, как строить правильные рассуждения и делать логически обоснованные выводы. Одной из ключевых тем в логике является проверка истинности сложных суждений. Для этого используются специальные логические таблицы истинности, которые позволяют анализировать, какие комбинации истинности частей суждения делают его истинным или ложным.

Зачем изучать таблицы истинности?

✔ Они используются в математике, программировании, праве, философии.
✔ Позволяют оценивать логические выражения, выявлять их ошибки.
✔ Помогают анализировать сложные высказывания и строить аргументацию.

В этой лекции мы разберем структуру сложных суждений, их виды, правила построения и проверки истинности.