ARGUMEN BERKUANTOR Perhatikan argumen berikut Jika pintu lintas

ARGUMEN BERKUANTOR • Perhatikan argumen berikut : Jika pintu lintas kereta api ditutup, maka lalulintas akan terhenti Jika lalulintas terhenti maka akan terjadi kemacetan lalulintas pintu kereta api ditutup, jadi terjadi kemacetan lalulintas Buktikan validitasnya

ARGUMEN BERKUANTOR argumen tersebut dapat diselesaikan : • p : pintu lintas kereta api ditutup • q : lalulintas akan terhenti • r : terjadi kemacetan lalulintas 1. p q premis 2. q r premis 3. p premis 4. p r HS 1 dan 2 5. r MP 4 dan 3 Jadi terbukti terjadi kemacetan lalulintas

ARGUMEN BERKUANTOR argumen tersebut diselesaikan dengan prinsip resolusi: p q 1. { p, q} pr q r 2. { q, r} pr p 3. {p} pr r 4. { r} NG 5. { p, r} 1 dan 2 6. { p} 4 dan 5 7. { }

ARGUMEN BERKUANTOR • Bagaimana jika argumen berikut : semua kucing adalah hewan menyusui Tom adalah seekor kucing jadi Tom adalah hewan menyusui Buktikan validitasnya

ARGUMEN BERKUANTOR • Karena argumen mengandung Kuantor, maka pembuktianya melalui Logika Relasional • Inferensi yang digunakan dalam bentuk Logika Relasional

ARGUMEN BERKUANTOR • Inferensi tambahan yang melibatkan Logika Relasional : 1. Modus Ponen 2. Modus Tolen 3. Silogisme 4. Conjunctive/And-Introduction 5. Universal Elimination (UE)

ARGUMEN BERKUANTOR Inferensi Yang Digunakan 1. Modus Ponen (MP) Contoh : umur 19(Budi) SIM(Budi) umur 19(Budi) SIM(Budi)

ARGUMEN BERKUANTOR 2. Modus Tollen (MT) Contoh : umur 19(Budi) SIM(Budi) umur 19(Budi)

ARGUMEN BERKUANTOR 3. Silogisme (S) Contoh : umur 19(Budi) SIM(Budi) stir_mbl(Budi) umur 19(Budi) stir_mbl(Budi)

ARGUMEN BERKUANTOR 4. And-Introduction (AI) atau Konjungtive Jika ada premis P 1, P 2, P 3 maka kesimpulannya P 1 P 2 P 3 kelas(Budi) premis umur 19(Budi) premis kelas(Budi) umur 19(Budi)

ARGUMEN BERKUANTOR 5. Universal Elimination (UE) atau Universal Instantiation (UI) Jika diketahui Logika Relasional misalnya premis : x(P(x)) jika x=a, a simbol individual, maka kesimpuan : P(a)

ARGUMEN BERKUANTOR • Contoh 1: semua kucing adalah hewan menyusui Tom adalah seekor kucing jadi Tom adalah hewan menyusui Buktikan validitasnya

ARGUMEN BERKUANTOR • Buat Logika Relasionalnya semua kucing adalah hewan menyusui Logika Relasionalnya : x(kucing(x) hwn_meyusui(x))

ARGUMEN BERKUANTOR • Buat Logika Relasionalnya Tom adalah seekor kucing ini merupakan fakta Logika Relasionalnya : kucing(Tom)

ARGUMEN BERKUANTOR • Jadi : 1. x(kucing(x) hwn_menyusui(x)) 2. kucing(Tom) 3. UE pada 1 misal x = Tom kucing(Tom) hwn_menyusui(Tom))

ARGUMEN BERKUANTOR 4. MP antara 3 dan 2 kucing(Tom) hwn_menyusui(Tom)) kucing(Tom) hwn_menyusui(Tom) artinya Tom adalah hewan menyusui, jadi terbukti

ARGUMEN BERKUANTOR • Contoh 2: Semua orang yang sabar akan berhati tenang Tidak ada orang berhati tenang cepat naik darah Alysa adalah orang yang sabar Jadi Alysa tidak cepat naik darah Buktikan validitasnya

ARGUMEN BERKUANTOR • Contoh 3: Setiap atlit adalah kuat Semua orang yang kuat dan cerdas akan sukses dalam karirnya Ade adalah seorang atlit Ade adalah seorang yang cerdas Jadi Ade akan sukses dalam karirnya Buktikan validitasnya

ARGUMEN BERKUANTOR • Contoh 4: Dalam sebuah keluarga diketahui bahwa Tono adalah bapak dari Budi, sedangkan Budi adalah bapak dari Andi. Buktikan bahwa Tono Kakek dari Andi.

ARGUMEN BERKUANTOR • Contoh 5: Jeki, seorang murid di kelas ini berumur 19 tahun. Setiap orang yang berumur 19 tahun boleh mendapatkan SIM. Buktikan bahwa seseorang di kelas ini boleh mendapatkan SIM.