Логические законы

Любое высказывание может быть оценено либо как истинное, либо как ложное. В некоторых случаях значение высказываний устанавливается непосредственным путем, в некоторых же – с использованием исключительно логических средств, на основе анализа их логических форм.

Существуют такие логические формы, которые дают всегда истинное значение высказываний, независимо от того, что будет содержаться в высказываниях. Точно также существуют и формы, дающие всегда ложное значение.

Например: “Идет дождь, или неверно что идет дождь”. Заменив высказывания на переменные, получим такую форму:

“р или неверно, что р” или в символьном виде:

Полученное нами высказывание при любой интерпретации переменной «р» будет принимать истинное значение. Это обусловлено самой формой высказывания, в логике такие формы называются тавтологиями (совершенно без какого бы то ни было негативного оттенка).

Дата добавления: 2014-01-05