Implikasi


Proposisi “jika p maka q” dinotasikan p \Rightarrow q disebut juga dengan proposisi bersyarat (kondisional), dalam hal ini q terjadi dengan syarat p terjadi. Proposisi p \Rightarrow q selain dibaca “jika p maka q“, juga dapat dibaca dengan beberapa cara berikut.

  • p berimplikasi q
  • q, jika p
  • p hanya jika q
  • p syarat cukup bagi q
  • q syarat perlu bagi p Baca lebih lanjut