Deductive Logic 2 (Symbolic/ Modern)
Pengumuman
MIND MAPPING bagian dari Learning to Learn MIND MAPPING & MEMORY Tempat: Auditorium Sabtu 10 Maret 2012 Pk.8.30 – 11.00 Instructor: Djohan Yoga Seorang Mind Map International Licensed Instructor sekaligus Licensed Trainer of iMindMap Software of Mind Mapping untuk wilayah Asia termasuk Indonesia. Sebagai Pemegang Lisensi Resmi Mind Map khusus untuk bidang Pendidikan di Indonesia, saat ini menjadi Trainer dan Instructor Mind Map di 20 kota besar di Indonesia yang meliputi 300 sekolah (negeri & swasta yg berstatus Nasional, Nasional Plus, RSBI & SBI) dengan mengajarkan topik Mind Map-Based Learning & Teaching yg telah teruji di 5 benua di dunia, 20 negara di Asia serta 20 kota di Indonesia. Insinyur Teknik Kimia ITB Bandung & Master of Science in Management of Technology NUS Singapore. Sejak tahun 2007 menjadi Managing Director & Master Trainer dari IndoMindMap - Mind Map Center Indonesia. JADI SENIN, 5 MARET 2012 TIDAK ADA KULIAH
Latihan Penalaran
Latihan Buktikan bahwa argumen berikut valid: a → ~b; ~(c ^ ~a); *c → ~b [(m ^ n) ^ o] → p; q → [(o ^ m) ^ n]; * ~q v p (r v s) → (t ^ u); ~r → (x → ~x); ~t;* ~x
Jawaban Buktikan bahwa argumen berikut valid: a → ~b; ~(c ^ ~a); *c → ~b 3. ~c v ~~a
2, De M.
4. c → ~~a
3, Impl.
5. c → a
4, D.N.
6. c → ~b
5,1 H.S.
Jawaban Buktikan bahwa argumen berikut valid: [(m ^ n) ^ o] → p; q → [(o ^ m) ^ n]; * ~q v p 3. [o ^ (m ^ n)] → p
1, Com.
4. [(o ^ m) ^ n] → p
3, Assoc.
5. q → p
2,4, H.S.
6. ~q v p
5, Impl.
Jawaban Buktikan bahwa argumen berikut valid: (r v s) → (t ^ u); ~r → (x → ~x); ~t;* ~x 4. ~t v ~ u 3, Add. 5. ~ (t ^ u) 4, De M. 6. ~ (r v s) 1,5, M.T 7. ~r ^ ~s
6, De M.
8. ~r
7. Simp
9. x → ~x
2,8, M.P
10. ~x v ~x
9, Impl.
11. ~x
10, Taut.
(Material Implication)
Material Nonimplication
Latihan Truth Table Tunjukkan apakah argumen berikut valid atau tidak valid: (a → b) ^ [(a ^ b) → c] a → (c → d) -------------------a→d
Latihan Truth Table Tunjukkan apakah preposisi berikut ekuivalen? a → (b → c) = (a → b) → c
Latihan Truth Table Tunjukkan, valid atau tidak argumen berikut: JIKA konsumsi bensin meningkat, MAKA impor bensin meningkat DAN subsidi pemerintah terhadap bensin meningkat. JIKA impor bensin meningkat ATAU subsidi pemerintah terhadap bensin meningkat, maka keuangan negara akan defisit. KARENA ITU, jika konsumsi bensin terus meningkat, maka keuangan negara akan defisit.
Kumpulkan paling lambat Jumat, 24 Februari 2012: 1.Buktikan argumen berikut valid: [h v (i v j)] → (k →j); l → (i v (j v h); *(l ^ k) →j 2. Buktikan argumen berikut valid atau tidak valid menggunakan truth table: “If your prices are low then your sales will be high, and if you sell quality merchandise then your customer will be satisfied. So if your prices are low and you sell quality merchandise, then your sales will be high and your customers satisfied. (L, H, Q, S) 3. Jika “Semua entrepreneur adalah sukses” adalah benar, tentukan apakah proposisi berikut apakah benar, salah atau tidak dapat ditentukan: a. Beberapa yang nonsukses adalah bukan nonentrepreneur. b. Tidak ada entrepreneur yang nonsukses. c. Semua nonentrepreneur adalah nonsukses. d. Tidak ada nonsukses yang adalah entrepreneur. e. Tidak ada nonentrepreneur yang nonsukses. f. Semua nonsukes adalah nonentrepreneur. g. Tidak ada sukses yang adalah nonentrepreneur. h. Beberapa entrepreneur adalah tidak sukses. i. Semua yang sukses adalah entrepreneur. j. Beberapa nonsukses adalah entrepreneur.
Jawaban Buktikan bahwa argumen berikut valid: [h v (i v j)] → (k →j); l → (i v (j v h); *(l ^ k) →j 3. [(i v j) v h] → (k →j)
1, Com
4. [i v (j v h)] → (k →j)
3, Assoc
5. l → (k →j)
2,4, H.S.
6. (l ^ k) →j
5, Exp.
“If your prices are low then your sales will be high, and if you sell quality merchandise then your customer will be satisfied. So if your prices are low and you sell quality merchandise, then your sales will be high and your customers satisfied. (L, H, Q, S) JAWABAN: Your price are low = L Your sales will be high = H You sell quality merchandise = Q Your customer will be satisfied = S
L→H Q→S ---L^Q→H^S
L→H Q→S ---L^Q→H^S
L→H Q→S ---L^Q→H^S
It is critically important that the table first be constructed correctly
An argument form is invalid if and only if it has at least one substitution instance with true premises and a false conclusion.
Jika “Semua entrepreneur adalah sukses” adalah benar, tentukan apakah proposisi berikut apakah benar, salah atau tidak dapat ditentukan: JAWABAN: Inferensi langsungnya Beberapa nonentrepreneur tidak sukses (Inverse L) Beberapa nonentrepreneur adalah sukses (Inverse L) Beberapa yang sukses adalah entrepreneur
(Konversi)
Tidak ada entrepreneur yang nonsukses Semua nonentrepreneur adalah nonsukses Semua entrepreneur tidak nonsukses
(Obversi) (Obversi) (Obversi)
Tidak ada yang sukses yang bukan entrepreneur Semua yang nonsukses adalah nonentrepreneur
(Kontrapositif) (Kontrapositif)
a. Beberapa yang nonsukses adalah bukan nonentrepreneur. b. Tidak ada entrepreneur yang nonsukses. c. Semua nonentrepreneur adalah nonsukses. d. Tidak ada nonsukses yang adalah entrepreneur. e. Tidak ada nonentrepreneur yang nonsukses. f. Semua nonsukses adalah nonentrepreneur. g. Tidak ada sukses yang adalah nonentrepreneur. h. Beberapa entrepreneur adalah tidak sukses. i. Semua yang sukses adalah entrepreneur. j. Beberapa nonsukses adalah entrepreneur.
(salah) (benar) (benar) - TDD (salah) (salah) (benar) (benar) - TDD (salah) (salah) (salah)
Buatlah inferensi langsung dari kalimat berikut: Semua mahasiswa UC lulus Toefl 600 Tidak ada mahasiswa UC yang bisa berbahasa Kenya (= Semua mahasiswa UC tidak bisa berbahasa Kenya) Beberapa mahasiswa UC adalah pengusaha (=Ada mahasiswa UC pengusaha) Beberapa mahasiswa UC tidak bekerja (=Ada mahasiswa UC yang tidak bekerja)
Approach
Buktikan argumen berikut adalah invalid! A→C B→C ------A→B
Buktikan argumen berikut adalah invalid! A→C B→C ------A→B “An argument is proved invalid by displaying at least one row of its truth table in which all its premisses are true but its conclusion is false.” Jawaban: A
B
C
A→C
B→C
A→B
T
F
T
T
T
F
Latihan: 1. Buktikan argumen berikut invalid: A → (B → ~C) (D → B) ^ (E → A) FvC G → ~H (I → G) ^ (H → J) I ↔ ~D (B → H) ^ (~H → D) -----E↔F 2. A → B C →D AvD -----BvC
Jawaban: 1. Buktikan argumen berikut invalid: A → (B → ~C) (D → B) ^ (E → A) FvC G → ~H (I → G) ^ (H → J) I ↔ ~D (B → H) ^ (~H → D) -----E↔F
2.
A →B C →D AvD -----BvC
A
B
C
D
E
F
G
H
I
J
T
T
F
T
F
T
F
T
F
T
F
T
T
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
A
B
C
D
F
F
F
T
Selamat Menyiapkan Ujian Tengah Semester
