Ekivalensi Logis

Dua atau lebih pernyataan majemuk yang mempunyai nilai kebenaran sama disebut ekivalensi logis dengan notasi  “ ≡  “  atau “ ≈  “

Contoh: 

   p      q        p ↔ q    p → q       q → p   ( p → q ) ∧ ( q → p )  

 -------------------------------------------------------------------------------------

   B      B           B            B               B                      B

   B      S           S            S               B                      S

   S      B           S            B               S                      S

   S      S           B            B               B                      B       

Karena   p ↔ q mempunyai nilai kebenaran sama dengan ( p → q ) ∧ ( q → p ), maka kedua pernyataan majemuk di atas disebut ekvalensi logis.

Jadi, p ↔  q  ≈  ( p → q ) ∧ ( q → p )