Modus Ponen , Modus Tollens, Disjungtif, Konjungtif, Disjungtif, Silogisme Hipotesis

Logika matematika adalah cabang logika dan matematika yang mengandung kajian matematis logika dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis.

Berikut Adalah Contoh dan Penjelasan Mengenai Pelajaran Logika Matematika tentang Modus Ponen , Modus Tollens, Disjungtif, Konjungtif, Disjungtif,  Silogisme Hipotesis

1. MODUS PONEN

Modus ponen atau penalaran langsung adalh salah satu metode inferensi dimana jika diketahui implikasi ” Bila p maka q ” yang diasumsikan bernilai benar dan antasenden (p) benar. Supaya implikasi pÞq bernilai benar, maka q juga harus bernilai benar.

Modus Ponen : pÞq , p ├ q

atau dapat juga ditulis 

pÞq                                                                                         

p

――――

\ q

Contoh :

Jika digit terakhir suatu bilangan adalah 0, maka bilangan tersebut habis dibagi 10

Digit terakhir suatu bilangan adalah 0

――――――――――――――――――――――――――――――――――――

\ Bilangan tersebut habis dibagi 10

     

2. MODUS TOLLENS

Bentuk modus tollens mirip dengan modus ponen, hanya saja premis kedua dan kesimpulan merupakan kontraposisi premis pertama modus ponen. Hal ini mengingatkan bahwa suatu implikasi selalu ekuivalen dengan kontraposisinya.

Modus Tollens : pÞq, Øq ├ Øp

Atau dapat juga ditulis

pÞq

Øq

――――

\ Øp

Contoh :

Jika digit terakhir suatu bilangan adalah 0, maka bilangan tersebut habis dibagi 10

Suatu bilangan tidak habis dibagi 10

――――――――――――――――――――――――――――――――――――

\ Digit terakhir bilangan tersebut bukan 0

3. PENAMBAHAN DISJUNGTIF (ADDITION)

Inferensi penambahan disjungtif didasarkan atas fakta bahwa suatu kalimat dapat digeneralisasikan dengan penghubung ”Ú”. Alasannya adalah karena penghubung ”Ú” bernilai benar jika salah satu komponennya bernilai benar.

Misalnya saya mengatakan ”Langit berwarna biru” (bernilai benar). Kalimat tersebut tetap akan bernilai benar jika ditambahkan kalimat lain dengan penghubung ”Ú”. Misalnya ”Langit berwarna biru atau bebek adalah binatang menyusui”. Kalimat tersebut tetap bernilai benar meskipun kalimat ”Bebek adalah binatang menyusui”, merupakan kalimat yang bernilai salah.

Addition : p ├(pÚq) atau q ├ (pÚq)

Atau dapat ditulis

p                atau     q

――――                          ――――

\ pÚq                               \ pÚq

Contoh  :

Simon adalah siswa SMU

――――――――――――――――――――

\ Simon adalah siswa SMU atau SMP

4. PENYEDERHAAN KONJUNGTIF (SIMPLIFICATION)

Inferensi ini merupakan kebalikan dari inferensi penambahan disjungtif. Jika beberapa kalimat dihubungkan  dengan operator ”Ù”, maka kalimat tersebut dapat diambil salah satunya secara khusus (penyempitan kalimat).

Simplification : (pÙq) ├p atau (pÙq) ├ q

Atau dapat ditulis

pÙq            atau     pÙq

―――                  ―――

\ p                        \ q

Contoh :

Langit berwarna biru dan bulan berbentuk bulat

―――――――――――――――――――――――――

\ Langit berwarna biru atau \ Bulan berbentuk bulat

5. SILOGISME DISJUNGTIF

Prinsip dasar Silogisme Disjungtif (Disjunctive syllogism) adalah kenyataan bahwa apabila kita dihadapkan pada satu diantara dua pilihan yang ditawarkan (A atau B). Sedangkan kita tidak memilih/tidak menyukai A, maka satu-satunua pilihan adalah memilih B. Begitu juga sebaliknya.

Silogisme Disjungtif : pÚq, Øp ├q dan pÚq, Øq ├ p

Atau dapat ditulis

pÚq            atau     pÚq

Øp                         Øq

――――              ――――

\ q                        \ p

Contoh :

Saya pergi ke mars atau ke bulan

Saya tidak pergi ke mars

――――――――――――――――――

\ Saya pergi ke bulan

6. SILOGISME HIPOTESIS (TRANSITIVITY)

Prinsip silogisme hipotesis adalah sifat transitif pada implikasi. Jika implikasi pÞq dan qÞr keduanya bernilai benar, maka implikasi pÞr bernilai benar pula.

Transitivity : pÞq , qÞr ├ pÞr

Atau dapat ditulis

pÞq

qÞr

―――――

\ pÞr

Contoh :

Jika hari hujan maka tanahnya menjadi berlumpur

Jika tanahnya berlumpur maka sepatu saya akan kotor

―――――――――――――――――――――――――――――

\ Jika hari hujan maka sepatu saya akan kotor.

7. KONJUNGSI

Jika ada dua kalimat yang masing-masing benar, maka gabungan kedua kalimat tersebut dengan menggunakan penghubung ”Ù” juga bernilai benar.

Konjungsi

p

q

――

\ pÙq

8. DILEMA

Kadang-kadang, dalam kalimat yang dihubungkan dengan penghubung ”Ú”, masing-masing kalimat dapat mengimplikasikan  sesuatu yang sama. Berdasarkan hal itu maka suatu kesimpulan dapat diambil.

Dilema :

pÚq

pÞr

qÞr

―――

\r