contoh proposisi bersyarat dan notasi seputar "marmut"

assaallamuaallaikum wr.wb

hai sahabat adit sekalian dalam postingan kedua adit,Adit akan menjelaskan tentang contoh proposisi bersyarat dan notasi seputar 'marmut'.mungkin sahabat adit sekalian masih ada yang enggak tau tentang contoh proposisi bersyarat dan notasi,bagi sahabat adit yang enggak tau silahkan cek toko sebelah yah gan.mungkin sahabat adit masih banyak bertanya-tanya apa sih itu "proposisi bersyarat"?proposisi bersarat itu adalah pernyataan yang memiliki sebab dan akibat,terus di dalam proposisi bersyarat terdapat premis dan konkluisnya sahabat.Nih yah mislaka  proposisi p premis dan proposisi q adalah konklusinya,maka notasi proposisi bersyaratnya p maka q (p -> q).Nah sahabat sudah mengerti belom tentang kalimat proposisi bersyarat,kalo belum tau nih adit kasih

contohnya:
1) Buat contoh kalimat proposisi bersyarat
2) Tentukan premis dan konklusinya
3) Nyatakan proposisi tersebut dalam bentuk lain dan berikan notasinya

JAWAB
1)jika marmut lapar maka ia makan
2)premis:marmut lapar konklusi=ia makan
3)a)jika marmut lapar maka ia makan (bentuk lain dari "Jika p maka q")
      notasi: p -> q
  b)jika marmut lapar ia makan (bentuk lain dari "jika p,q")
      notasi: p -> q
  c)marmut lapar mengakibatkan ia makan (bentuk lain dari "p mengakibatkan q, p imples q")
      notasi: p -> q
  d)ia makan jika marmut lapar (bentuk lain dari "q jika p")
      notasi: p -> q
  e)ia makan hanya jika marmut lapar (bentuk lain dari "q hnya jika p")
      notasi: p -> q
  f)marmut lapar syarat cukup untuk ia makan (bentuk lain dari "p syarat cukup untuk q")
      notasi: p -> q
  g)ia makan syarat perlu untuk marmut lapar (bentuk lain dari "q syarat perlu untuk p")
      notasi: p -> q
  h)ia makan bilamana marmut lapar (bentuk lain dari "q bilamana p, q whenever p")
      notasi: p -> q
  i)jika Marmut tidak lapar, maka marmut tidak makan
      notasi: ~p -> ~q
  j)Marmut tidak makan, jika marmut tidak lapar
      notasi:  ~(p -> q)

demikianlah informasi yang bisa adit sampaikan kepada teman-teman adit sekalian semoga bermanfaat yah teman:).

Nama:Aditya Weldianto Pratama
Nim: D1041151039
Prodi: Teknik Informatika