Определение. Высказыванием называется утверждение, которое является истинным или ложным (но не одновременно).
То есть, чтобы выяснить, является ли некоторое предложение высказыванием, нужно сначала убедиться, что это утверждение, а затем установить, истинно оно или ложно.
Пример. “Москва – столица России” – истинное высказывание.
“5 –четное число” – ложное высказывание.
“” – не высказывание (неизвестно, какие значения принимает ).
“Студент второго курса” не высказывание (не является утверждением).
Высказывания бывают элементарные и составные.
Элементарные высказывания не могут быть выражены через другие высказывания. Составные высказывания можно выразить с элементарных высказываний.
“Число 22 четное и делится на 11” – составное высказывание.
Высказывания обозначают заглавными буквами латинского алфавита: , , ,… Эти буквы называют логическими Атомами.
При фиксированном множестве букв Интерпретацией называется функция , которая отображает множество во множество истинностных (логических) значений , то есть .
Истинностные значения истина и ложь сокращенно обозначаются и, л или T, F, или 1,0. Мы будем использовать обозначения 1 и 0. В определенной интерпретации буквы принимают значения 1 или 0.
К высказываниям и буквам можно применять известные из курса дискретной математики логические связки или логические операции. При этом получаются Формулы (формы). Формулы становятся высказываниями при подстановке всех значений букв.
Определение. Высказыванием называется утверждение, которое является истинным или ложным (но не одновременно).
То есть, чтобы выяснить, является ли некоторое предложение высказыванием, нужно сначала убедиться, что это утверждение, а затем установить, истинно оно или ложно.
Пример. “Москва – столица России” – истинное высказывание.
“5 –четное число” – ложное высказывание.
“” – не высказывание (неизвестно, какие значения принимает ).
“Студент второго курса” не высказывание (не является утверждением).
Высказывания бывают элементарные и составные.
Элементарные высказывания не могут быть выражены через другие высказывания. Составные высказывания можно выразить с элементарных высказываний.
Пример. “Число 22 четное” – элементарное высказывание.
“Число 22 четное и делится на 11” – составное высказывание.
Высказывания обозначают заглавными буквами латинского алфавита: , , ,… Эти буквы называют логическими Атомами.
При фиксированном множестве букв Интерпретацией называется функция , которая отображает множество во множество истинностных (логических) значений , то есть .
Истинностные значения истина и ложь сокращенно обозначаются и, л или T, F, или 1,0. Мы будем использовать обозначения 1 и 0. В определенной интерпретации буквы принимают значения 1 или 0.
К высказываниям и буквам можно применять известные из курса дискретной математики логические связки или логические операции. При этом получаются Формулы (формы). Формулы становятся высказываниями при подстановке всех значений букв.