Содержимое раздела
Рассмотрение основных понятий и принципов формальной логики, включая логические операторы и выражения. Подробный анализ структуры логического высказывания 'если, то', его синтаксических и семантических аспектов. Изучение различных форм условных высказываний (прямое следствие, обратное следствие, контрапозиция, импликация) и их взаимосвязей. Анализ роли условных высказываний в построении логических рассуждений и выводов. Обзор основных логических законов, применимых к условным высказываниям, таких как закон модус поненс и модус толленс. Обсуждение связи условных высказываний с другими логическими операциями (конъюнкция, дизъюнкция, отрицание).