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".