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