Логическая эквивалентность
- Логические эквивалентности p и q имеют одинаковое значение истинности в каждой модели.
- Логическая эквивалентность может быть выражена различными символами, такими как p ≡ q, p :: q, E p q, или p ⟺ q.
- Логические эквивалентности часто перечисляются как законы или свойства в логике.
- Существуют общие логические эквивалентности, связанные с условными утверждениями и двоякими условиями.
- Логическая эквивалентность отличается от материальной эквивалентности, которая выражает идею «‘p тогда и только тогда, когда q'».
- Утверждение о логической эквивалентности двух формул является утверждением на метаязыке, выражающим связь между ними.
Полный текст статьи: