Dua pernyataan p dan q dapat dibentuk menjadi pernyataan majemuk “jika p maka q” yang disebut implikasi atau pernyataan bersyarat. Pernyataan p disebut alasan atau sebab dan pernyataan q disebut kesimpulan.
Ekuivalensi Implikasi dan Disjungsi .
Dengan tabel kebenaran kita dapat menunjukkan berlakunya ekuivalensi berikut ini
Berdasarkan ekuivalensi di atas, kita dapat mengubah impilkasi menjadi disjungsi, atau sebaliknya.
Biimplikasi
Dua pernyataan p dan q dapat dibentuk menjadi pernyataan majemuk bersyarat yang ditulis dengan
Ekuivalensi Bi-Implikasi
Berdasarkan definisi bi-implikasi dapat dituliskan ekuivalensi berikut ini
