Logikai ekvivalencia

A Wikipédiából, a szabad enciklopédiából

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 igazságtáblázatuk azonos minden modellben. Az így definiált fogalom a logikai ekvivalencia fogalma, ami nem azonos az ekvivalenciával mint logikai művelettel.

Definíció és jelölés[szerkesztés | forrásszöveg szerkesztése]

Legyenek A, B tetszőleges logikai formulák. Akkor mondjuk, hogy A és B logikailag ekvivalensek, ha tetszőleges S struktúra és e értékelés esetén A\leftrightarrow B mindig igaz, és ezt így jelöljük: A\equiv B

Lásd még[szerkesztés | forrásszöveg szerkesztése]

Hivatkozások[szerkesztés | forrásszöveg szerkesztése]

  • Csirmaz László: Matematikai logika, ELTE, Budapest (1993) (postscript változat)
  • Szendrei Ágnes: Diszkrét matematika, Logika, algebra, kombinatorika, Polygon, Szeged (1994)