logikai ekvivalencia
(logikailag ekvivalens szócikkből átirányítva)
Magyar
Kiejtés
- IPA: [ ˈloɡikɒjiɛkvivɒlɛnt͡sijɒ]
Főnév
- (matematika) Legyen és két logikai formula. Azt mondjuk, hogy F és G logikailag ekvivalens, ha és képleteiben szereplő logikai változók tetszőleges kiértékelésére az és logikai értéke azonos. Ennek a jele .