Istinitosna funkcija koja daje istinu kada njezina oba argumenta imaju istu istinitosnu vrijednost, neistinita u protivnom. Takoðer i konektiv koji oznaèava ovu funkciju; takoðer složena propozicija i [..]

(od lat. aequus = jednak i valens = jak; snažan), u logici označava odnos između dva iskaza različitih formi no identičnih termina i vrijednosti istine (npr. “svaki je čovjek životinja” i ekvivalentan [..]

Za sudove a i  b kažemo da su logički ekvivalentni i čitamo "a je ekvivalentno b" ako istovremeno vrijede implikacije "a implicira b" i "b implicira a".