logikai ekvivalencia

Magyar

Kiejtés

• IPA: [ ˈloɡikɒjiɛkvivɒlɛnt͡sijɒ]

Főnév

logikai ekvivalencia

1. (matematika) Legyen $F$ és $G$ két logikai formula. Azt mondjuk, hogy F és G logikailag ekvivalens, ha $F$ és $G$ képleteiben szereplő logikai változók tetszőleges kiértékelésére az $F$ és $G$ logikai értéke azonos. Ennek a jele $F\equiv G$.

• angol: logical equivalence (en)