Dua pernyataan (majemuk) \(P\) dan \(Q\) disebut ekuivalen secara logis jika \(P\) benar tepat ketika \(Q\) benar. Artinya, \(P\) dan \(Q\) memiliki nilai kebenaran yang sama untuk setiap pemberian nilai kebenaran pada bagian-bagian atomiknya.

Kita menuliskannya sebagai \(P \equiv Q\text{.}\)