Исходное высказывание

Cтраница 1

Исходное высказывание относится к каждому ребенку, значит, и к Коле, и к Сене - здесь применяется выхваченный из жизни один из законов логики предикатов. [1]

Так как исходное высказывание истинно, то его отрицание ложно. [2]

В данном случае исходное высказывание ложно, поэтому его отрицание истинно. [3]

В данном случае исходное высказывание ложно, поэтому его отрицание истинно. [4]

Логический элемент НЕ. [5]

НЕ означает отрицание исходного высказывания. [6]

Следовательно, истинность исходного высказывания А доказана. [7]

При остальных комбинациях простых исходных высказываний А, В, С, Д сложное высказывание Р равно нулю. [8]

А, В, С - исходные высказывания; PI и Р2 - сложные выходные высказывания. [9]

Существует мир, сформированный на основе исходного высказывания. [10]

Операция импликации. [11]

Всякое сложное высказывание, составленное из некоторых исходных высказываний посредством применения логических операций 1 - 5, называется формулой алгебры высказываний. [12]

Всякое сложное высказывание, составленное из некоторых исходных высказываний посредством применения логических операций 1 - 5, мы будем называть формулой алгебры высказываний. [13]

Истинность или ложность получаемых таким образом высказываний зависит от истинности или ложности исходных высказываний и соответствующей трактовки связок как операций над высказываниями. Далее индуктивно вводится понятие формулы, являющееся формализацией понятия сложного высказывания. [14]

Логическое сложение ( дизъюнкция), представляющее собой сложное высказывание, истинное при справедливости хотя бы одного из простых исходных высказываний. Оно имеет смысл ИЛИ. [15]

Страницы: 1 2 3