Halo teman-teman kita bertemu lagi dalam logika matimatika, kali ini kita akan membahas mengenai Proposisi bersyarat.
Proposisi bersyarat adalah kombinasi antar dua kalimat yang mana kalimat tersebut memiliki hubungan sebab dan akibat,
Salah satu yang harus teman-taman ketahui bahwa proposisi bersyarat mempunyai dua hal penting yaitu premis dan konklusi.
Biasanya proposisi bersyarat dilambangkan dengan " p -> q " itu maksudnya " jika p, maka q " dimana p disebut sebagai
hipotesis, premis atau kondisi sedangkan q adalah konklusi atau konsekuen.

Kali ini merupakan bentuk lain dari proposisi diatas beserta notasinya:
p=Hari hujan
q= Jalan akan licin
  * Jika hari hujan maka jalan akan licin( p?q ).                                        
  * Jalan akan licin jika hari hujan ( p?q ).                      
  * Hari hujan menggakibatkan jalan licin ( p?q ).                                      
  * Jalan akan licin hanya jika hari akan hujan ( p?q ).                      
  * Hari tidak hujan syarat cukup untuk jalan tidak licin ( -p?-q ).
  * Jalan tidak akan licin hanya jiaka hari tidak hujan ( -p?-q ).                      
  * Jalan akan licin bilamana hari hujan ( p?q ).                                
  *Jika hari tidak hujan maka jalan tidak akan licin ( -p?-q )                                    
  * Jaln tidak akan licin bilamana hari tiak hujan ( -p?-q ).                            
  * Syarat perlu untuk jalan tidak licin jika hari tidak hjan ( -p?-q ).                              


Nama : Oktavianus Yohanes Wihang
NIM   : D1041151055