Contoh Proposisi Bersyarat dan Notasinya Seputar Kata "Elang"

Melanjutkan materi yang saya jelaskan pada postingan beberapa waktu yang lalu berjudul Contoh Proposisi Seputar Kata "Elang". 

Apa itu proposisi bersyarat? Proposisi bersyarat (implikasi) sebuah pernyataan sebab akibat yang mempunyai sebuah premis dan sebuah konklusi, premis umumnya dilambangkan dengan huruf p, sedangkan konklusi dilambangkan dengan huruf q. Agar lebih jelas mengenai hal ini, silahkan lihat contoh dibawah.adalah:

1. Contoh kalimat proposisi bersyarat:
Jika burung elang hanya makan daging-dagingan, maka burung elang tergolong binatang jenis karnivora
2. Premis dan Konklusinya yaitu
Premis (p) = Jika burung elang hanya makan daging-dagingan
Konklusi (q) = burung elang tergolong binatang jenis karnivora
3. Bentuk lain dan notasinya:
1. Jika burung elang tidak hanya makan daging-dagingan, maka burung elang tidak tergolong binatang jenis karnivora
(~p -> ~q)
2. Burung elang tergolong binatang jenis karnivora jika burung elang hanya makan daging-dagingan
(p -> q)
3. Burung elang tidak tergolong binatang jenis karnivora jika burung elang tidak hanya makan daging-dagingan
(~p -> ~q)
4. Burung elang hanya makan daging-dagingan mengakibatkan burung elang tergolong binatang jenis karnivora
(p -> q)
5. Burung elang tidak hanya makan daging-dagingan mengakibatkan burung elang tidak tergolong binatang jenis karnivora
(~p -> ~q)
6. Burung elang hanya makan daging-dagingan merupakan syarat cukup agar burung elang tergolong binatang jenis karnivora
(p -> q)
7. Burung elang tidak hanya makan daging-dagingan merupakan syarat cukup agar burung elang tidak tergolong binatang jenis karnivora
(~p -> ~q)
8. Burung elang tergolong binatang jenis karnivora bilamana burung elang hanya makan daging-dagingan
(p -> q)
9. Burung elang tidak tergolong binatang jenis karnivora bilamana burung elang tidak hanya makan daging-dagingan
(~p -> ~q)
10. burung elang tergolong binatang jenis karnivora merupakan syarat perlu agar burung elang hanya makan daging-dagingan
(p -> q)

Nama: Fitrianto Nurma'arif

NIM  : D1041151028