Ложные и истинные высказывания
Автор Ирина михалаки задал вопрос в разделе Другое
что такое истинное высказывание и получил лучший ответ
Ответ от Sergio00o[гуру]
Высказывание (утверждение) , содержащее правильную информацию, называется Истинным. Высказывание, содержащее неправильную информацию, называется Ложным. Истину будем обозначать числом 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. Импликация →
Совет:
При самостоятельном составлении формул, если вы забыли приоритеты, смело используйте скобки.
неправильно это попаболь