Selamat pagi kawan semua. Kabar baik bukan di pagi hari ini,?? mudah-mudahan "everything is okay" aj lah.. Oke mumpung masih pagi aq mau bagi ilmu nih buat kalian semua, selagi pikiran masih segar di pagi hari. Kali ini mau bahas tentang "Proposisi Bersyarat".

       Proposisi bersyarat ada 3 jenis, yaitu konvers, invers, dan kontraposisi. Biar lebih jelasnya aq jelasin satu satu deh.  
Konvers adalah kebalikan dari implikasi ditandai dengan pertukaran letak. Misalnya implikasi p -> q, maka konversnya adalah q -> q.  
Invers merupakan lawan dari implikasi. Di dalam invers, pernyataan yang terdapat dalam pernyataan majemuk merupakan negasi dari pernyataan pada implikasi. Misal implikasi  
p -> q, maka inversnya adalah ~p -> ~q.
 
Kontraposisi merupakan kebalikan dari invers sama halnya dengan konvers hanya saja pernyataannya merupakan negasi atau ingkaran. Misal invers ~p -> ~q, maka kontraposisinya adalah ~q -> ~p. 

Biar lebih jelasnya nih ada contoh di bawah dengan menggunakan kata "X-ray"

Implikasi
Contoh: Jika X-ray adalah salah satu gelombang elektromagnetik maka X-ray dapat di gunakan dalam dunia kedokteran
Notasi matematis: p -> q


Konvers
Contoh: Jika X-ray dapat di gunakan dalam dunia kedokteran maka X-ray adalah salah satu gelombang elektromagnetik
Notasi matematis: q -> p



Invers
Contoh: Jika X-ray bukan salah satu gelombang elektromagnetik maka X-ray tidak dapat di guanakan dalam dunia kedokteran
Notasi matematis: ~p -> ~q

Kontraposisi
Contoh: Jika X-ray tidak dapat di gunakan dalam dunia kedokteran maka X-ray bukan salah satu gelombang elektromagnetik
Notasi matematis: ~q -> ~p  

Sekian bagi-bagi ilmu pagi ini, sampai ketemu besok lgi kawan semuanya :)



Nama    : ADI SURYA FATAH
NIM      : D1042151036