Kondisi substansif
Where A and B are statements of variables (kang bisa diganti karo ukara sing migunani). Ing wangun pernyataan iki, istilah pisanan ing kene A, disebut mantan; istilah liya ing kene B, disebut terakhir. Bebener iku mantan kondhisi sing bener sing bener, lan sing bener yaiku prasyarat sing sejatine kanggo mantan. Operator kasebut dilambarke nggunakake panah tengen "→" (kadhangkala simbol "⇒" utawa "⊃"), lan "yen A bener, banjur B bener" ditulis minangka: ▪ ▪