Contoh Proposisi Bersyarat dan Notasinya Seputar kata "Ilmu"

Selamat malam kawan-kawan pembaca setia LogikaGaul !

Malam ini saya mau berbagi sedikit nih mengenai materi Logika, tentunya tetap seru dan gaul abiss..

Nah, bahasa kita pada malam ini mengenai proposisi bersyarat yang tentunya masih seputar kata kunci Ilmu, sebelumnya saya juga udah pernah post mengenai Ilmu disini.

Ilmu informatika, keren abiz..

Ada yang tau, apa itu proposisi bersyarat? "Gak tau pak !" "ya sama.." bercanda saja hahaha, ok deh saya akan coba jelasin sedikit mengenai apa itu proposisi bersyarat.

Proposisi bersyarat atau biasa disebut pernyataan kondisional atau implikasi adalah sebuah pernyataan yang nilai kebenarannya ditentukan oleh hasil dari implikasi itu sendiri. Pernyataan bersyarat memiliki 2 bagian, yaitu syarat/premis/kondisi dan konklusi/konsekuen. Struktur kalimat pernyataan bersyarat yang umum dipakai adalah "jika p maka q" dengan p adalah syarat dan q adalah konklusi.

Nah, bagaimana dengan contoh kalimat? Tenang saja, saya akan berikan beberapa contoh berikut  :

1. Contoh kalimat proposisi bersyarat :

- Jika saya terus belajar, maka saya akan memiliki banyak ilmu.

2. Tentukan premis dan konklusi : 

- Premis : Saya terus belajar

- Konklusi : Saya akan memiliki banyak ilmu

3. Nyatakan proposisi tersebut dalam bentuk lain, dan berikan notasinya : 

3.1 Saya tidak akan memiliki banyak ilmu hanya jika saya terus belajar.

Notasi : p > ~q

3.2 Jika saya tidak terus belajar maka saya tidak akan memiliki banyak ilmu.

Notasi : ~p > ~q

3.3 Jika saya terus belajar maka saya akan memiliki banyak ilmu

Notasi : p > q

3.4 Saya  tidak terus belajar adalah syarat cukup untuk saya tidak akan memiliki banyak ilmu.

Notasi : ~p > ~q

3.5 Saya akan memiliki banyak ilmu dikarenakan saya terus belajar.

Notasi : p > q

3.6 Saya terus belajar adalah syarat perlu untuk saya akan memiliki banyak ilmu.

Notasi : p > q

3.7 Tidak benar bahwa jika saya terus belajar maka saya akan memiliki banyak ilmu.

Notasi : ~(p > q)

3.8 Tidak benar bahwa saya tidak akan memiliki banyak ilmu dikarenakan saya terus belajar.

Notasi : ~(p > ~q)

3.9 Tidak benar bahwa saya terus belajar adalah syarat cukup untuk saya akan memiliki banyak ilmu.

Notasi : ~(p > q)

3.10 Tidak benar bahwa saya tidak terus belajar mengakibatkan saya tidak akan memiliki banyak ilmu.

Notasi : ~(~p > ~q)

Nama : David Eleazar
NIM : D1041151025