JК
Логика :: Ивин Александр Архипович
Страница: 93 из 98Отрицательное высказывание состоит из исходного высказывания и отрицания, выражаемого обычно словами «не», «неверно, что». Отрицательное высказывание является, таким образом, сложным высказыванием: оно включает в качестве своей части отличное от него высказывание. Например, отрицанием высказывания «10 — чётное число» является высказывание «10 не есть чётное число» (или: «Неверно, что 10 есть чётное число»).
Будем обозначать высказывания буквами А, В, С, … , отрицание высказывания — символом ~. Полный смысл понятия отрицания высказывания задаётся условием: если высказывание Л истинно, его отрицание А ложно, и если А ложно, его отрицание, ~А, истинно. Например, так как высказывание «1 есть целое положительное число» истинно, его отрицание «1 не является целым положительным числом» ложно, а так как «1 есть простое число» ложно, его отрицание «1 не есть простое число» истинно.
Определению отрицания можно придать форму таблицы истинности , в которой «и» означает «истинно» и «л» — «ложно».
В результате соединения двух высказываний при помощи слова «и», мы получаем сложное высказывание, называемое конъюнкцией. Высказывания, соединяемые таким способом, называются членами конъюнкции. Например, если высказывания «Сегодня жарко» и «Вчера было холодно» соединить связкой «и» получится конъюнкция «Сегодня жарко и вчера было холодно».
Конъюнкция истинна только в случае, когда оба входящих в неё высказывания являются истинными ; если хотя бы один из её членов ложен, то и вся конъюнкция ложна.
Будем обозначать высказывания буквами А, В, С, … , отрицание высказывания — символом ~. Полный смысл понятия отрицания высказывания задаётся условием: если высказывание Л истинно, его отрицание А ложно, и если А ложно, его отрицание, ~А, истинно. Например, так как высказывание «1 есть целое положительное число» истинно, его отрицание «1 не является целым положительным числом» ложно, а так как «1 есть простое число» ложно, его отрицание «1 не есть простое число» истинно.
Определению отрицания можно придать форму таблицы истинности , в которой «и» означает «истинно» и «л» — «ложно».
В результате соединения двух высказываний при помощи слова «и», мы получаем сложное высказывание, называемое конъюнкцией. Высказывания, соединяемые таким способом, называются членами конъюнкции. Например, если высказывания «Сегодня жарко» и «Вчера было холодно» соединить связкой «и» получится конъюнкция «Сегодня жарко и вчера было холодно».
Конъюнкция истинна только в случае, когда оба входящих в неё высказывания являются истинными ; если хотя бы один из её членов ложен, то и вся конъюнкция ложна.