Sifat-sifat
yang dimiliki oleh logika
Ada
3 sifat yaitu
: valid, contradictory, satisfiable
Suatu teknik atau metode untuk menentukan kesimpulan berdasarkan hipotesa yang diberikan tanpa harus menggunakan table kebenaran.
Quantifier sentence
Kalimat
yang membuat ekspresi kuantitas objek yang terlibat,
misalnya :semua, ada, beberapa, tidak semua dll.
Ingkaran pernyataanberkuantor
Contoh
:
p : semua mahasiswa dikelasini enjoy belajar logmat
~p : ada mahasiswa dikelasini yang tidak
enjoy belajar logmat
q : ada pejabat yang korupsi
~q : semua pejabat tidak korupsi
Soal
1. Simpulkan premis-premis berikut ini :
i.
Jika seseorang berada di Purwokerto maka ia berada di PulauJawa
ii.
Shinta berada di Purwokerto
Mana
yang merupakan simpulan dari modus ponens …
a. Shintaberada di
PulauJawa c. Shinta berada di Amikom
b. Shinta berada di Jakarta d. Shinta di Rumah
Jawaban
: A
2. Simpulkan premis-premis berikut ini :
i.
Jika hari panas maka langit terang
ii.
Langit tidak terang
Mana
yang merupakan simpulan dari modus tollent …
c. Hari panas dan langit terang c. Hariterang
d. Langit tidak terang d. Hari tidak terang
Jawaban
: D
3. “Semua wanita menyukai bunga mawar”. Pernyataan ini manakah yang mengandung ingkaran kuantor universal ?
a. Benar bahwa semua wanita menyukai bunga mawar
b.
Tidak benar bahwa semua wanita menyukai bunga mawar
c. Wanita menyukai bunga mawar
d. Ani menyukai bunga mawar
Jawaban
: B
4. Manakah yang menunjukan notasi kuantor universal dari
kata “semua mahasiswa mengerjakan tugas” adalah...
5. Diketahui premis-premis berikut :
i.
Jika Adi lulus ujian
pegawai atau menikah maka ayah memberi hadiah uang
ii.
Ayah tidak memberi
hadiah uang
Kesimpulan yang sah adalah...
a.
Adi tidak lulus
ujian dan menikah
b.
Adi tidak lulus ujian dan menikah
c.
Adi lulus ujian
pegawai atau menikah
d.
Adi tidak lulus
ujian pegawai
Jawaban : B
Posting Komentar