Logika Matematika

Dalam logika matematika terdapat istilah konjungsi, disjungsi, implikasi dan biimplikasi.

Disjungsi adalah jika terdapat dua pernyataan masing - masing p dan q yang dihubungkan dengan kata hubung " atau " yang dinotasikan dengan " p v q ".

Konjungsi adalah jika terdapat dua pernyataan masing - masing p dan q yang dihubungkan dengan kata hubung " dan " yang dinotasikan dengan " p ᴧ q ".

Inplikasi adalah pernyataan majemuk yang berasal dari pernyataan konjungsi dalam bentuk " jika p maka q " yang dinotasikan dengan " p → q ". Dimana pernyataan p merupakan alasan / sebab / hipotesis / antesenden, sedangkan pernyataan q disebut kesimpulan / konklusi / konsekuen.

Biimplikasi merupakan pernyataan majemuk dalam bentuk " p jika dan hanya jika q " yang dinotasikan dengan " p ↔ q "

Tabel nilai kebenaran dari istilah - istilah diatas