Lexikon der Mathematik: logisch äquivalente Formeln
Ausdrücke ϕ, ψ eines logischen Kalküls, denen bei jeder Belegung jeweils der gleiche Wahrheitswert zugeordnet wird, sodaß der Ausdruck ϕ ↔ ψ allgemeingültig ist. Symbolisch wird dies häufig durch ϕ ⇔ ψ oder ϕ ≡ ψ ausgedrückt (logische Äquivalenz).
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!