Логика   ::   Ивин Александр Архипович

Сначала рассматриваются способы построения сложных высказываний из более простых, при этом простое высказывание берётся как неразложимое далее целое (как «атом»), и только затем переходят к выявлению строения простых высказываний. Анализ структуры сложных высказываний предшествует анализу структуры простых. Объясняется это следующим: для того, чтобы понимать способы сочетания высказываний, вовсе не обязательно знать, что такое простое высказывание; достаточно учитывать только то, что последнее имеет определённое значение истинности. Простые высказывания чрезвычайно разнообразны, выявление составляющих их частей во многом зависит от принятого способа их анализа. Некоторые логические связи между высказываниями не зависят от строения простых высказываний. Разумно поэтому поступить так, как если бы мы знали все о простых высказываниях, т.е. оставить вопрос об их структуре на время в стороне и заняться логическими связями высказываний. Последняя задача является относительно лёгкой.

Та часть логики, в которой описываются логические связи высказываний, не зависящие от структуры простых высказываний, называется общей теорией дедукции.

Перейдём теперь к рассмотрению наиболее важных способов построения сложных высказываний.

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