Что такое истинное высказывание

что такое истинное высказывание

  • Высказывание (утверждение) , содержащее правильную информацию, называется Истинным. Высказывание, содержащее неправильную информацию, называется Ложным. Истину будем обозначать числом 1. Ложь – числом 0. Высказывание, про которое сразу можно сказать, что оно истинно или ложно, назовем простым высказыванием. Примеры: Истинные высказывания: «2 > 1″, «квадратное уравнение с отрицательным дискриминантом не имеет вещественных корней. » Ложные высказывания: «Sin (x) может быть больше 1″, «2х2=5″. Из простых высказываний можно по определенным правилам составлять сложные высказывания. Для формирования сложных высказываний используются специальные значки, обозначающие действия над простыми высказываниями. К сожалению в разных книгах некоторые действия обозначаются разными символами (возможно это связано с проблемами типографского набора) , поэтому мы приводим сразу все варианты: ¯ или ¬ – отрицание (логическое «НЕ»); & или / – конъюнкция (логическое умножение, логическое «И») V – дизъюнкция (логическое сложение, логическое «ИЛИ») → – импликация (следование, «если … то») Простые высказывания чаще всего обозначаются заглавными латинскими буквами A, B, C, … . Формулы, образуемые из простых высказываний с помощью приведенных выше логических действий, называются формулами (функциями) алгебры логики (сокращение – ФАЛ) . Примеры ФАЛ: AVC (читается «A или С») A&C (читается «A и С») ¬BVC (читается «не B или С») A→B (читается «из А следует В») Приоритет (очередность) выполнения действий. 1. Действия в скобках. 2. Отрицание ¬ 3. Конъюнкция & 4. Дизъюнкция V 5. Импликация → Совет: При самостоятельном составлении формул, если вы забыли приоритеты, смело используйте скобки.



Предыдущий:

Следующий: