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