| dbo:abstract
|
- A matematikai logikában két formulát logikailag ekvivalensnek nevezünk, ha a bennük szereplő változók bármilyen kiértékelése esetén megegyezik a logikai értékük, azaz az azonos minden modellben. Az így definiált fogalom a logikai ekvivalencia fogalma, ami nem azonos az ekvivalenciával mint logikai művelettel. (hu)
- A matematikai logikában két formulát logikailag ekvivalensnek nevezünk, ha a bennük szereplő változók bármilyen kiértékelése esetén megegyezik a logikai értékük, azaz az azonos minden modellben. Az így definiált fogalom a logikai ekvivalencia fogalma, ami nem azonos az ekvivalenciával mint logikai művelettel. (hu)
|
