Любое высказывание может быть оценено либо как истинное, либо как ложное. В некоторых случаях значение высказываний устанавливается непосредственным путем, в некоторых же – с использованием исключительно логических средств, на основе анализа их логических форм.
Существуют такие логические формы, которые дают всегда истинное значение высказываний, независимо от того, что будет содержаться в высказываниях. Точно также существуют и формы, дающие всегда ложное значение.
Например: “Идет дождь, или неверно что идет дождь”. Заменив высказывания на переменные, получим такую форму:
“р или неверно, что р” или в символьном виде:
Полученное нами высказывание при любой интерпретации переменной «р» будет принимать истинное значение. Это обусловлено самой формой высказывания, в логике такие формы называются тавтологиями (совершенно без какого бы то ни было негативного оттенка).
studopediasu.com - Студопедия (2013 - 2026) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление