LOGIKA PENALARAN INFERENSI

 1.Konsep Inferensi

      Inferensi diambil dari istilah bahasa inggris,yaitu inference yang mengandung arti penyimpulan.kata kerja menyimpulan sendiri memiliki makna tindakan membuat simpulan atau konklusi.jika di terjemahkan secara luas,inferensi adalah mekanisme pembuatan simpulan atau konklusi berdasarkan satu atau lebih proporsi.

2.Kebenaran Argumen

      Argumen merupakan kumpulan pernyataan dengan bagian akhir dari pernyataan tersebut dapat di kategorikan sebagai konklusi.Untuk menentukan validasi argumrn yang di tanyakan,anda harus memperhatikan beberapa aspek berikut:

a.tetapkan premis atau hipotetis dan ambil simpulnya.

b.gunakan mekanisme tabel kebenaran berdasarkan logika matematika yang telah di bahas sebelumnya,untuk menguji kebenaran hipotesis yang di gunakan.

c.buatlah tanda pada setiap baris pernyataan yang dianggap benar.

d.jika di temukan baris pernyataan kritis bernilai salah,pernyataan tersebut dapat dianggap sebagai argumen invalid.

3.Jenis Inferensi berdasarkan Jumlah Premis

    Dapat di bedakan menjadi dua jenis yaitu:

Imediate inference atau inferensi langsung dan mediate inference atau inferensi tidak langsung. 

4Metode Inferensi

   Terdapat empat cara yang dapat di gunakan yaitu:

a.modus ponens:

      Modus spones dapat dilihat pada contoh penerapan logika implikasi,yaitu agar premis p-> menghasilkan simpulan bernilai benar .

b.Modus Tollens

   proses pengambilan simpulan dengan tollens sebenarnya mirip dengan modus sponess.perbedaanya adalah pada premis kedua dan simpulan merupakan negasi dari setiap proposisi pada premis paling awal.

c.Modus penambahan disjungtif

     menganut aturan bahwa suatu pernyataan dapat digeneralisasi dengan penghubung "v".hal ini karena pada aturan diskusi (v),jika salah satu pernyataan bernilai benar.

notasi dalam modus penambahan disjungtif adalah

     p                   p

_______  dan  _____

 pvq                    pvq

d.Modus penyederhanaan konjungtif

       Pada modus penyderhanaan konjungtif jika beberapa pernyataan di hubungkan dengan penghubung "v",anda dapat mengambil salah satu pernyataan secara khusus.

 notasi dalam modus penyederhanaan kongjungtif adalah:

   p^q                 p^q

______   dan   ______

p                         q