18. Эквиваленция. Эквивалентность сложных суждений. Законы Де Моргана и отрицание суждений. ЭКВИВАЛЕНЦИЯ – логическое действие, состоящее в употреблении связок «если, и только если» в содержательных логических выводах и разговорном языке; выражается через импликацию и конъюнкцию. Эквиваленция истинна тогда, когда два суждения эквивалентны друг другу (оба ложны или оба истины). Законы Де Моргана: 1) Не p и q эквивалентно не p или не q 3) Не p или q эквивалентно не p и не q Сравнение таблиц истинности дизъюнкции и конъюнкции позволяет сформулировать правило отрицания этих сложны суждений не p - отрицание р не q - отрицание q
|
|
|