Какие основные разделы включает в себя логика высказываний?

Логика высказываний (пропозициональная логика) изучает сложные высказывания, образованные из простых, и их взаимоотношения. 5

Некоторые основные разделы логики высказываний:

• Высказывания и операции над ними. 4 Логическими высказываниями называют утвердительные предложения, о которых можно судить, истинны они или ложны. 4 Логика высказываний рассматривает эти предложения не с точки зрения их смысла, содержания, а только с точки зрения их истинности или ложности. 4
• Логические операции. 5 Для построения сложных высказываний из элементарных используются следующие логические операции: отрицание, конъюнкция (логическое умножение), дизъюнкция (логическое сложение), импликация, эквиваленция (или эквивалентность). 5
• Умозаключения. 4 В логике умозаключения делятся на дедуктивные и индуктивные. 4 В дедуктивных умозаключениях связи между посылками и заключением представляют собой формально-логические законы, в силу чего при истинных посылках заключение всегда оказывается истинным. 4 В индуктивных умозаключениях между посылками и заключением есть такие связи, которые обеспечивают получение только правдоподобного заключения при истинных посылках. 4