Deductive Logic 2 (Symbolic/ Modern)
|
|
- Glenna Gunawan
- 7 tahun lalu
- Tontonan:
Transkripsi
1 Deductive Logic 2 (Symbolic/ Modern)
2 Pengumuman
3 MIND MAPPING bagian dari Learning to Learn MIND MAPPING & MEMORY Tempat: Auditorium Sabtu 10 Maret 2012 Pk 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
4 Latihan Penalaran
5 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
6 Jawaban Buktikan bahwa argumen berikut valid: a ~b; ~(c ^ ~a); *c ~b 3. ~c v ~~a 2, De M. 4. c ~~a 5. c a 6. c ~b 3, Impl. 4, D.N. 5,1 H.S.
7 Jawaban Buktikan bahwa argumen berikut valid: [(m ^ n) ^ o] p; q [(o ^ m) ^ n]; * ~q v p 3. [o ^ (m ^ n)] p 4. [(o ^ m) ^ n] p 5. q p 1, Com. 3, Assoc. 2,4, H.S. 6. ~q v p 5, Impl.
8 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.
9 (Material Implication) Material Nonimplication
10 Latihan Truth Table Tunjukkan apakah argumen berikut valid atau tidak valid: (a b) ^ [(a ^ b) c] a (c d) a d
11 Latihan Truth Table Tunjukkan apakah preposisi berikut ekuivalen? a (b c) = (a b) c
12 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.
13 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.
14 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.
15 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
16 L H Q S ---- L ^ Q H ^ S
17 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.
18 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 Tidak ada entrepreneur yang nonsukses Semua nonentrepreneur adalah nonsukses Semua entrepreneur tidak nonsukses Tidak ada yang sukses yang bukan entrepreneur Semua yang nonsukses adalah nonentrepreneur (Konversi) (Obversi) (Obversi) (Obversi) (Kontrapositif) (Kontrapositif) a. Beberapa yang nonsukses adalah bukan nonentrepreneur. (salah) b. Tidak ada entrepreneur yang nonsukses. (benar) c. Semua nonentrepreneur adalah nonsukses. (benar) - TDD d. Tidak ada nonsukses yang adalah entrepreneur. (salah) e. Tidak ada nonentrepreneur yang nonsukses. (salah) f. Semua nonsukses adalah nonentrepreneur. (benar) g. Tidak ada sukses yang adalah nonentrepreneur. (benar) - TDD h. Beberapa entrepreneur adalah tidak sukses. (salah) i. Semua yang sukses adalah entrepreneur. (salah) j. Beberapa nonsukses adalah entrepreneur. (salah)
19 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)
20 Approach
21 Buktikan argumen berikut adalah invalid! A C B C A B
22 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
23 Latihan: 1. Buktikan argumen berikut invalid: A (B ~C) (D B) ^ (E A) F v C G ~H (I G) ^ (H J) I ~D (B H) ^ (~H D) E F 2. A B C D A v D B v C
24 Jawaban: 1. Buktikan argumen berikut invalid: A (B ~C) (D B) ^ (E A) F v C G ~H (I G) ^ (H J) I ~D (B H) ^ (~H D) E F 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 2. A B C D A v D B v C A B C D F F F T
25 Selamat Menyiapkan Ujian Tengah Semester
Deductive Logic (Symbolic/ Modern)
Deductive Logic (Symbolic/ Modern) Latihan Penalaran Tugas (kumpulkan via email: johan.hasan@ciputra.ac.id, dalam bentuk PPT, selambatnya hari Jumat malam, 17 Feb): 1) PPT mengenai diri Anda dan target
Lebih terperinciARGUMEN DAN METODE DEDUKSI
KELOMPOK II NASIRAH, S.Pd SYAMSIR SAINUDDIN, S.Pd IKRAMUDDIN, S.Pd HARDYANTI, S.Pd ARIFUDDIN, S.Pd ARGUMEN DAN METODE DEDUKSI Metode berpikir induktif dimana cara berpikir dilakukan dengan cara menarik
Lebih terperinciIMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM
IMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM Abstrak Pembuktian validitas argumen dengan menggunakan tabel kebenaran memerlukan baris dan kolom
Lebih terperinciLOGIKA INFORMATIKA PROPOSITION LOGIC. Materi-2. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta
Materi-2 PROPOSITION LOGIC LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta STMIK AMIKOM YOGYAKARTA Jl. Ringroad Utara Condong Catur Yogyakarta. Telp. 0274 884201 Fax 0274-884208 Website:
Lebih terperinciDASAR-DASAR LOGIKA. Membangun Penalaran Yang Baik. Sujanti, M.Ikom. Modul ke: Fakultas ILMU KOMUNIKASI. Program Studi Hubungan Masyarakat
Modul ke: 06 Ety Fakultas ILMU KOMUNIKASI DASAR-DASAR LOGIKA Membangun Penalaran Yang Baik Sujanti, M.Ikom. Program Studi Hubungan Masyarakat Dasar-dasar Logika Membangun Penalaran Yang Baik 1. Mengimplementasikan
Lebih terperinciLogika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic)
Logika Proposisi Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisional Tujuan pembicaraan kali ini adalah untuk menampilkan suatu bahasa daripada kalimat abstrak
Lebih terperinciLogical Thinking: Induc1ve versus Deduc1ve Reasoning By: Ania) Murni/Zainal A. Hasibuan
Logical Thinking: Induc1ve versus Deduc1ve Reasoning By: Ania) Murni/Zainal A. Hasibuan Ania1(zhasibua)@cs.ui.ac.id Faculty of Computer Science University of Indonesia 2008 Mo1va1on How can you draw conclusion?
Lebih terperinciLOGIKA INFORMATIKA PROPOSITION LOGIC. Materi 1. Proposition Sentences Notation Interpretation Exercise
Materi 1 PROPOSITION LOGIC Proposition Sentences Notation Interpretation Exercise LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta 2010 1 Propositions Komponen dasar pembentuk kalimat logika
Lebih terperincikusnawi.s.kom, M.Eng version
Propositional Logic 3 kusnawi.s.kom, M.Eng version 1.1.0.2009 Properties of Sentences Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi -
Lebih terperinciDasar-dasar Logika. (Review)
Dasar-dasar Logika (Review) Intro Logika berhubungan dengan kalimat-kalimat dan hubungan antar kalimat. Tujuan: menentukan apakah suatu kalimat / masalah bernilai benar (TRUE) atau salah (FALSE) Kalimat
Lebih terperinciPR 2 METODE FORMAL (CIG4F3) Semester Ganjil
PR 2 METODE FORMAL (CIG4F3) Semester Ganjil 2015-2016 Dikumpulkan paling lambat pukul 15:00, Jumat, 16 Oktober 2015, di slot pengumpulan PR di idea (softcopy, format.pdf, ukuran berkas tidak lebih dari
Lebih terperinciPENGANTAR KE SILOGISME
PENGANTAR KE SILOGISME Prof. Dr. Suyono, M.Pd. Dr. Harun Nasrudin, M.S. Samik, S.Si, M.Si. Materi Kuliah Filsafat IPA KIMIA FMIPA UNESA 2017 PROBLEMS Science Domain Deductive Thinking Formulating of Thinking
Lebih terperinciProposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono
Proposition Logic (Logika Proposisional) Bimo Sunarfri Hantono bimo@te.ugm.ac.id Proposition (pernyataan) Merupakan komponen penyusun logika dasar yang dilambangkan dengan huruf kecil (p, q, r,...) yang
Lebih terperinciKOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS ARGUMEN. Abstrak
Komparasi Penggunaan Metode Truth Table Dan Proof By Falsification Untuk Penentuan Validitas Argumen (Yani Prihati) KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS
Lebih terperinciPetunjuk Praktis Untuk Menerapkan Kegiatan Belajar Mengajar Berbasis Mind Map
Applied Real-time Mind Map @ Classroom*) Petunjuk Praktis Untuk Menerapkan Kegiatan Belajar Mengajar Berbasis Mind Map Oleh : Ir. Drs. Djohan Yoga, M.Sc, MOT**) Indomindmap Learning Center ILC***) *) Telah
Lebih terperinciARGUMEN DAN METODE PENARIKAN KESIMPULAN
1 RGUMEN DN METODE PENRIKN KESIMPULN rgumen adalah rangkaian pernyataan-pernyataan yang mempunyai ungkapan pernyataan penarikan kesimpulan (inferensi). rgumen terdiri dari pernyataanpernyataan yang terdiri
Lebih terperinciApa yang harus kita kenali?
Metodologi Penelitian Materi ke-1 Iman Murtono Soenhadji 1 Apa yang harus kita kenali? Kita melihat kejadian sebagai fenomena Kita melihat perubahan sebagai gejala Kita melihat subyek sebagai paradigma
Lebih terperinciMATERI 1 PROPOSITIONAL LOGIC
MATERI 1 PROPOSITIONAL LOGIC 1.1 Pengantar Beberapa pernyataan (statement) dapat langsung diterima kebenarannya tanpa harus tahu kebenaran pembentuknya Ada kehidupan di Bulan atau tidak ada kehidupan di
Lebih terperinciMETODE PENARIKAN KESIMPULAN
1 METODE PENRIKN KESIMPULN. TURN PENUKRN Pada kenyataannya banyak argument valid yang tidak dapat di buktikan kebenarannya hanya dengan menggunakan aturan penarikan kesimpulan. Ini berarti kita membutuhkan
Lebih terperinciMateri-3 PROPOSITION LOGIC. Properties of Sentences Inference Methods Quantifier Sentences
Materi-3 PROPOSITION LOGIC Properties of Sentences Inference Methods Quantifier Sentences 1 Properties of Sentences Adalah sifat-sifat yang dimiliki oleh kalimat logika Ada 3 sifat, yaitu: 1. Valid 2.
Lebih terperinciLogika Informatika. Bambang Pujiarto
Logika Informatika Bambang Pujiarto LOGIKA mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argument yang valid studi tentang kriteria-kriteria untuk mengevaluasi argumenargumen dengan
Lebih terperinciPROPOSITION LOGIC LOGIKA INFORMATIKA. Properties of Sentences Inference Methods Quantifier Sentences. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta
1 PROPOSITION LOGIC Properties of Sentences Inference Methods Quantifier Sentences LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta 2 Properties of Sentences Adalah sifat-sifat yang dimiliki
Lebih terperinciTUGAS 1: Logika Proposisi Logika Matematika (MUG2B3)
Program Studi S1 Teknik Informatika Fakultas Informatika, Telkom University TUGAS 1: Logika Proposisi Logika Matematika (MUG2B3) Instruksi: 1. Batas akhir pengumpulan tugas ini adalah Jumat, 18 September
Lebih terperinciRepresentasi Pengetahuan (Bagian 3) Logika dan Himpunan. Pertemuan 6
Representasi Pengetahuan (Bagian 3) Logika dan Himpunan Pertemuan 6 Syllogisme Adalah logika formal pertama yang dikembangkan oleh filsuf Yunani, Aristotle pada abad ke-4 SM. Syllogisme mempunyai dua premises
Lebih terperinciPENGANTAR LOGIKA INFORMATIKA
P a g e 1 PENGANTAR LOGIKA INFORMATIKA 1. Pendahuluan a. Definisi logika Logika berasal dari bahasa Yunani logos. Logika adalah: ilmu untuk berpikir dan menalar dengan benar ilmu pengetahuan yang mempelajari
Lebih terperincikusnawi.s.kom, M.Eng version
Propositional Logic 3 kusnawi.s.kom, M.Eng version 1.0.0.2009 Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi - Satisfiable(Contingent).
Lebih terperinciMODUL 3: DEDUKSI TRADITIONAL
MODUL 3: DEDUKSI TRADITIONAL Pembelajaran Hari Ini Peta Inferensi INFERENSI DEDUKTIF Inferensi Langsung Oposisi Inversi Konversi Obversi Dibahas 3 sesi: Deduksi Tradisional dan Modern Kontraposisi Inferensi
Lebih terperinciSistem Informasi. Soal Dengan 2 Bahasa: Bahasa Indonesia Dan Bahasa Inggris
Sistem Informasi Soal Dengan 2 Bahasa: Bahasa Indonesia Dan Bahasa Inggris 1. Kita mengetahui bahwa perkembangan teknologi di zaman sekarang sangat pesat dan banyak hal yang berubah dalam kehidupan kita.
Lebih terperinciSelamat Datang. MA 2151 Matematika Diskrit. Semester I, 2012/2013. Rinovia Simanjuntak & Edy Tri Baskoro
Selamat Datang di MA 2151 Matematika Diskrit Semester I, 2012/2013 Rinovia Simanjuntak & Edy Tri Baskoro 1 Referensi Pustaka Kenneth H. Rosen, Discrete Mathematics and its Applications, 7 th edition, 2007.
Lebih terperinciTeori Dasar Logika (Lanjutan)
Teori Dasar Logika (Lanjutan) Inferensi Logika Logika selalu berhubungan dengan pernyataan-pernyataan yang ditentukan nilai kebenarannya. Untuk menentukan benar tidaknya kesimpulan berdasarkan sejumlah
Lebih terperinciBerpikir Komputasi. Sisilia Thya Safitri, MT Citra Wiguna, M.Kom. 3 Logika Proposisional (I)
Berpikir Komputasi Sisilia Thya Safitri, MT Citra Wiguna, M.Kom 3 Logika Proposisional (I) Capaian Sub Pembelajaran Mahasiswa dapat memahami logika proposisional sebagai dasar penerapan algoritma. Outline
Lebih terperinciPERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT
PERTEMUAN 5 1.1 TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT Tautologi adalah suatu bentuk kalimat yang selalu bernilai benar (True) tidak peduli bagaimanapun nilai kebenaran masing-masing kalimat penyusunnya,
Lebih terperinciSelamat Datang. MA 2251 Matematika Diskrit. Semester II, 2016/2017. Rinovia Simanjuntak & Saladin Uttunggadewa
Selamat Datang di MA 2251 Matematika Diskrit Semester II, 2016/2017 Rinovia Simanjuntak & Saladin Uttunggadewa 1 Referensi Pustaka Kenneth H. Rosen, Discrete Mathematics and its Applications, 7 th edition,
Lebih terperinciSINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI. Matematika Logika Semester Ganjil 2011/2012
SINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI Matematika Logika Semester Ganjil 2011/2012 PROPOSISI Proposisi atau kalimat dalam logika proposisi bisa berupa Atom/kalimat sederhana Kalimat kompleks, komposisi
Lebih terperinciMODUL 3 OPERATOR LOGIKA
STMIK STIKOM BALIKPAPAN 1 MODUL 3 OPERATOR LOGIKA 1. TEMA DAN TUJUAN KEGIATAN PEMBELAJARAN 1. Tema : Operator Logika 2. Fokus Pembahasan Materi Pokok : 1. Operator Logika Konjungsi 2. Operator Logika Disjungsi
Lebih terperinciARGUMENTASI. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya.
ARGUMENTASI Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. Berikut ini adalah beberapa contoh Proposisi : a. 1 + 2 = 3 b. Kuala
Lebih terperinciLogika Fuzzy. Farah Zakiyah Rahmanti 2016
Logika Fuzzy Farah Zakiyah Rahmanti 2016 Topik Bahasa Alami Crisp Logic VS Fuzzy Logic Fungsi Keanggotaan (Membership Function) Fuzzifikasi (Fuzzyfication) Inferensi (Inference) Komposisi (Composition)
Lebih terperinciMETHOD OF PROOF Lecture 7. DR. Herlina Jayadianti, ST.MT
MEHOD OF PROOF Lecture 7 DR. Herlina Jayadianti, S.M Review Sifat Kalimat dan Substitusi 1. Valid sentence / autology 2. Satisfiable sentence 3. Contingent sentence 4. Contradictory sentence / Kontradiksi
Lebih terperinciSoal Ujian Akhir Semester Pendek TA. 2006/2007 D3-Manajemen Informatika
Soal Ujian Akhir Semester Pendek TA. 2006/2007 D3-Manajemen Informatika Mata Ujian : Logika dan Algoritma Dosen : Heri Sismoro, S.Kom., M.Kom. Hari, tanggal : Selasa, 07 Agustus 2007 Waktu : 100 menit
Lebih terperinci2.1. Definisi Logika Proposisi Logika proposisi Atomic proposition compound proposition
2. LOGIKA PROPOSISI 2.1. Definisi Logika Proposisi Logika proposisi adalah logika pernyataan majemuk yang disusun dari pernyataanpernyataan sederhana yang dihubungkan dengan penghubung Boolean (Boolean
Lebih terperinciProgram Kuliah Fondasi Matematika Pertemuan 4-7
Program Kuliah Fondasi Matematika Pertemuan 4-7 Pertemuan 4 Memahami denisi fungsi proposisi Mengidentikasi nilai kebenaran fungsi proposisi Menentukan domain di mana fungsi proposisi bernilai benar Memahami
Lebih terperinciABSTRAK. Kata Kunci: Dimensi Layanan Merek, Harapan dan Persepsi Konsumen, Kepuasan Konsumen
ABSTRAK Merek menjadi hal yang sangat penting untuk menunjukkan perbedaan keunggulan sebuah produk atau layanan dibandingkan dengan produk atau layanan lain. Penelitian ini bertujuan untuk menganalisis
Lebih terperinciKuliah 2 1. LOGIKA (LOGIC) Matematika Diskrit. Dr.-Ing. Erwin Sitompul
Kuliah 2 1. LOGIKA (LOGIC) Dr.-Ing. http://zitompul.wordpress.com Solusi Pekerjaan Rumah (PR 1) Dua pedagang barang kelontong mengeluarkan semboyan dagang untuk menarik pembeli. Pedagang pertama mengumbar
Lebih terperinciPROFIL KEMAMPUAN PENALARAN DEDUKTIF MAHASISWA PADA MATERI RUANG VEKTOR
INSPIRAMATIKA Jurnal Inovasi Pendidikan dan Pembelajaran Matematika Volume 3, Nomor 2, Desember 2017, ISSN 2477-278X, e-issn 2579-9061 PROFIL KEMAMPUAN PENALARAN DEDUKTIF MAHASISWA PADA MATERI RUANG VEKTOR
Lebih terperinciMETODE INFERENSI. Level 2. Level 3. Level 4
METODE INFERENSI Tree (Pohon) dan Graph - Tree (pohon) adalah suatu hierarki struktur yang terdiri dari Node (simpul/veteks) yang menyimpan informasi atau pengetahuan dan cabang (link/edge) yang menghubungkan
Lebih terperinciKALKULUS BAMBANG HERU SUSANTO, ST, MT BAMBANG HERU SUSANTO, ST, MT DEPARTEMEN TEKNIK KIMIA
KALKULUS BAMBANG HERU SUSANTO, ST, MT BAMBANG HERU SUSANTO, ST, MT DEPARTEMEN TEKNIK KIMIA Tujuan memiliki:: Keterampilan teknis baku yang didukung oleh konsep, rumus, metode, dan penalaran yang sesuai;
Lebih terperinciSuatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya.
1 Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya. Setiap kalimat atau pernyataan tetap dapat dianggap satu buah proposisi.
Lebih terperinciRefreshing Materi Kuliah Semester Pendek 2010/2011. Logika dan Algoritma. Heri Sismoro, M.Kom.
Refreshing Materi Kuliah Semester Pendek 2010/2011 Logika dan Algoritma Heri Sismoro, M.Kom. STMIK AMIKOM YOGYAKARTA 2011 Materi 1. Logika Informatika Adalah logika dasar dalam pembuatan algoritma pada
Lebih terperinciPENARIKAN KESIMPULAN/ INFERENSI
PENARIKAN KESIMPULAN/ INFERENSI Proses penarikan kesimpulan dari beberapa proposisi disebut inferensi (inference). Argumen Valid/Invalid Kaidah-kaidah Inferensi Modus Ponens Modus Tollens Silogisme Hipotesis
Lebih terperinciSTUDI POTENSI SEMEN ALTERNATIF DENGAN BAHAN DASAR KAPUR PADALARANG DAN FLY ASH SURALAYA
STUDI POTENSI SEMEN ALTERNATIF DENGAN BAHAN DASAR KAPUR PADALARANG DAN FLY ASH SURALAYA ABSTRAK Studi Potensi Semen Alternatif dengan Bahan Dasar Kapur Padalarang dan Fly Ash Suralaya Oleh : Erlangga
Lebih terperinciMETODE INFERENSI (1)
METODE INFERENSI (1) Tree (Pohon) dan Graph - Tree (pohon) adalah suatu hierarki struktur yang terdiri dari Node (simpul/veteks) yang menyimpan informasi atau pengetahuan dan cabang (link/edge) yang menghubungkan
Lebih terperinciBAB I DASAR-DASAR LOGIKA
BAB I DASAR-DASAR LOGIKA 11 Pendahuluan Logika adalah suatu displin yang berhubungan dengan metode berpikir Pada tingkat dasar, logika memberikan aturan-aturan dan teknik-teknik untuk menentukan apakah
Lebih terperinciTUGAS SETELAH TUTORIAL OPERATIONAL RESEARCH II TEORI PERMAINAN
TUGAS SETELAH TUTORIAL OPERATIONAL RESEARCH II TEORI PERMAINAN 1. Dua buah perusahaan yang kegiatannya memproduksi dan menjual produk sedang bersaing dalam menerapkan strategi periklanan perusahaannya.
Lebih terperinciPERBANDINGAN SISTEM GENTZEN DENGAN SISTEM LEMMON PADA PEMBUKTIAN VALIDITAS ARGUMEN
Jurnal Teknik dan Ilmu Komputer PERBANDINGAN SISTEM GENTZEN DENGAN SISTEM LEMMON PADA PEMBUKTIAN VALIDITAS ARGUMEN THE COMPARISON OF GENTZEN SYSTEMS AND LEMMON SYSTEM ON ARGUMENT VALIDITY EVIDENCE Djoni
Lebih terperinciABSTRACT. viii. Universitas Kristen Maranatha
ABSTRACT Companies that will win the competition in a market segment should be able to reach the level of quality, not just the quality of its products, but quality viewed from all aspect. This can be
Lebih terperinciPENGENALAN LOGIKA MATEMATIKA
LOGIKA MATEMATIKA By Faradillah dillafarrahakim@gmail.com Sumber : Logika Matematika untuk Ilmu Komputer, F. Soesianto dan Djoni Dwijono, Penerbit Andi ofset PENGENALAN LOGIKA MATEMATIKA Pendahuluan Logika
Lebih terperinciJADWAL KULIAH KETERAMPILAN BELAJAR KELAS A SEMESTER AWAL 2016/2017 RUANG KULIAH GC. 106
JADWAL KULIAH KETERAMPILAN BELAJAR KELAS A SEMESTER AWAL /2017 RUANG KULIAH GC. 106 Koordinator Sekretaris : dr. Irwin Aras, M.Epid.,M.MedEd ( Hp. 08124262546) : dr. Asty Amalia Hp. (082191001179) Pertemuan
Lebih terperinciPENURUNAN BIAYA-BIAYA OPERASI UNTUK MENINGKATKAN KEUNTUNGAN PADA PT. XYZ
PENURUNAN BIAYA-BIAYA OPERASI UNTUK MENINGKATKAN KEUNTUNGAN PADA PT. XYZ ABSTRAK PT. XYZ adalah sebuah perusahaan swasta nasional dan merupakan agen tunggal dari perusahaan-perusahaan manufaktur Eropa
Lebih terperinciTeknik Penyederhanaan untuk Menyederhanakan Teknik Resolusi
Teknik Penyederhanaan untuk Menyederhanakan Teknik Resolusi Djoni Dwijono Teknik Informatika Universitas Kristen Duta Wacana Yogyakarta Email: djoni@ukdw.ac.id Abstrak: Teknik Resolusi sebenarnya tidak
Lebih terperinciBAB 3 TABEL KEBENARAN
BAB 3 TABEL KEBENARAN 1. Pendahuluan Logika adalah ilmu tentang penalaran (reasoning). Penalaran berarti mencari bukti validitas dari suatu argumen, mencari konsistensi dan pernyataan-pernyataan, dan membahas
Lebih terperinciq = Socrates is a man r = Socrates is mortal Bila dibuat tabel kebenaran, hasilnya invalid.
METODE INFERENSI (2) KETERBATASAN LOGIKA PROPOSISI - Perhatikan contoh berikut : All men are mortal Socrates is a man Therefore, Socrates is mortal Misal : p = All men are mortal q = Socrates is a man
Lebih terperinciPendahuluan Perkuliahan Logika Matematika
Pendahuluan Perkuliahan Logika Matematika Kuliah Logika Matematika Semester Ganjil 2015-2016 MZI Fakultas Informatika Telkom University FIF Tel-U Agustus 2015 MZI (FIF Tel-U) Pendahuluan Perkuliahan Agustus
Lebih terperinciSelamat Datang. MA 2151 Matematika Diskrit. Semester I 2008/2009
Selamat Datang di MA 2151 Matematika Diskrit Semester I 2008/2009 Hilda Assiyatun & Djoko Suprijanto 1 Referensi Pustaka Kenneth H. Rosen, Discrete Mathematics and its Applications, 5 th edition. On the
Lebih terperinciuntuk mempelajari matematika lebih lanjut. Untuk menunjang kemampuankemampuan tersebut diharapkan Anda dapat menguasai beberapa kompetensi khusus
ix S Tinjauan Mata Kuliah elamat bertemu, selamat belajar, dan selamat berdiskusi dalam mata kuliah Matematika Dasar 1. Mata kuliah PEMA4102/Matematika Dasar 1 dengan bobot 3 sks ini sering pula dinamakan
Lebih terperinciTeknik Informatika POLITEKNIK NEGERI TANAH LAUT BY: VJ REFERENSI: UNIV TRUNOJOYO & PTIIK
Teknik Informatika POLITEKNIK NEGERI TANAH LAUT BY: VJ REFERENSI: UNIV TRUNOJOYO & PTIIK Fika Hastarita R - UTM 2012 Pengenalan Informal Penghubung Logis (Operator, Functor) Tabel Kebenaran dp Formula.
Lebih terperinciARGUMEN (ARGUMENT) Drs. C. Jacob, M.Pd LOGIKA BERUSAHA UTK MEMBEDAKAN ARGUMEN VALID (CORRECT) & INVALID (INCORRECT)
ARGUMEN (ARGUMENT) Drs. C. Jacob, M.Pd Email: cjacob@upi.edu LOGIKA BERUSAHA UTK MEMBEDAKAN ARGUMEN VALID (CORRECT) & INVALID (INCORRECT) SUATU ARGUMEN MEMUAT SATU ATAU LEBIH KALIMAT YG DISEBUT PREMIS
Lebih terperinciSKRIPSI DISUSUN OLEH : Gusti Bagus Prakasa JURUSAN TEKNIK INDUSTRI FAKULTAS TEKNOLOGI INDUSTRI UNIVERSITAS PEMBANGUNAN NASIONAL VETERAN
ANALISIS TINGKAT KEPUASAN PASIEN TERHADAP KUALITAS PELAYANAN PUSKESMAS DENGAN METODE CUSTOMER SATISFACTION INDEX (CSI) DAN IMPORTANCE-PERFORMANCE ANALYSIS (IPA) (STUDI KASUS PUSKESMAS KEDAMEAN GRESIK)
Lebih terperinciSISTEM INFORMASI MANAJEMEN BAHAN PADA PROYEK KONSTRUKSI PERUMAHAN SETRADUTA ABSTRAK
SISTEM INFORMASI MANAJEMEN BAHAN PADA PROYEK KONSTRUKSI PERUMAHAN SETRADUTA Disusun oleh : Aureline Dibimbing oleh : Ir. Maksum Tanubrata, M.T. Radiant Victor Imbar, S.Kom., M.T. ABSTRAK Manajemen bahan
Lebih terperinciPengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM
Pengantar Logika Didin Astriani Prasetyowati, M.Stat UIGM 1 BAB I PENGANTAR LOGIKA Konsep Logika Apakah logika itu? Seringkali Logika didefinisikan sebagai ilmu untuk berfikir dan menalar dengan benar
Lebih terperinciNama Soal Pembagian Ring Road Batas Waktu 1 detik Nama Berkas Ringroad[1..10].out Batas Memori 32 MB Tipe [output only] Sumber Brian Marshal
Nama Soal Pembagian Ring Road Batas Waktu 1 detik Nama Berkas Ringroad[1..10].out Batas Memori 32 MB Tipe [output only] Sumber Brian Marshal Deskripsi Soal Dalam rangka mensukseskan program Visit Indonesia,
Lebih terperinciABSTRACT. vi Universitas Kristen Maranatha
ABSTRACT On the organizations or institution, especially formal organization, as Travel agency, improving service quality have major impact. Degree of service quality in Baraya Travel become a parametric
Lebih terperinciPertemuan 1. Pendahuluan Proposisi Jenis-Jenis Proposisi
Pertemuan 1 Pendahuluan Proposisi Jenis-Jenis Proposisi Sejarah Pekembangan Logika Logika dalam ilmu komputer digunakan sebagai dasar dalam belajar bahasa pemrograman, struktur data, kecerdasan buatan,
Lebih terperinciRANCANGAN KEGIATAN 2013
RANCANGAN PEMBELAJARAN KOLABORATIF ANTAR SEKOLAH DI KOTA MALANG Mata Pelajaran : KIMIA Kelas/Semester : XI/1 Sekolah :SMK NEGERI 8 MALANG Koordinator : SUPRIHATIN, S.Pd. Kim Tim Kolaborasi : No Nama Guru
Lebih terperinciNama Mata Kuliah. Logika materila. Masyhar, MA. Fakultas Psikologi. Modul ke: Fakultas. Program Studi Program Studi.
Nama Mata Kuliah Modul ke: Logika materila Fakultas Fakultas Psikologi Masyhar, MA Program Studi Program Studi www.mercubuana.ac.id Penalaran Merupakan suatu proses berpikir yang membuahkan pengetahuan.
Lebih terperinciPETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321. SEMESTER : GANJIL (5) DOSEN : MAULANA, S.Pd., M.Pd.
Doc Logika Matematika PGSD Maulana 1 PETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321 BOBOT SKS : 2 (DUA) TAHUN AKADEMIK : 2007/2008 PROGRAM : PGSD S-1 KELAS SEMESTER : GANJIL
Lebih terperinciBF Institute Training Center Semarang AWESOME
2015 C O L L E G E PROPOSAL dan DETAIL PROGRAM PELATIHAN - WORKSHOP KAMI BF Institute Training Center Semarang AWESOME There is a powerful driving force inside every human being that, once unleashed,can
Lebih terperinciLOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi
LOGIKA PROPOSISI Bagian Keempat : Logika Proposisi ARI FADLI, S.T. Logika Proposisi Tujuan : Mahasiswa dapat menyebutkan tentang logika proposisi, operator dan sifat proposisi Proposisi Definisi : Setiap
Lebih terperinciDEDUKSI ATAU PENALARAN DEDUKTIF: KELEBIHAN DAN KEKURANGANNYA. Fadjar Shadiq
DEDUKSI ATAU PENALARAN DEDUKTIF: KELEBIHAN DAN KEKURANGANNYA Fadjar Shadiq Salah satu hal yang membedakan manusia dari binatang adalah manusia dikaruniai Allah S.W.T. dengan akal yang paling sempurna (QS
Lebih terperinciLogika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut.
TABEL KEBENARAN Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut. Logika tidak mempermasalahkan arti sebenarnya
Lebih terperinci6.1 PRINSIP-PRINSIP DASAR BERPIKIR KRITIS/LOGIS
PENGANTAR SAP 6 Mata Kuliah Critical and Creative Thinking 6.1 PRINSIP-PRINSIP DASAR BERPIKIR KRITIS/LOGIS 6.2 ARGUMENTASI : STRUKTUR DASAR 6.3 PENALARAN INDUKTIF & BENTUK-BENTUKNYA 6.4 PENALARAN DEDUKTIF
Lebih terperinciArgumen premis konklusi jika dan hanya jika Tautolog
INFERENSI LOGIKA Argumen adalah suatu pernyataan tegas yang diberikan oleh sekumpulan proposisi P 1, P 2,...,P n yang disebut premis (hipotesa/asumsi) dan menghasilkan proposisi Q yang lain yang disebut
Lebih terperinciREPRESENTASI PENGETAHUAN
REPRESENTASI PENGETAHUAN Representasi Pengetahuan (Knowledge Representation) dimaksudkan untuk menangkap sifatsifat penting masalah dan membuat infomasi dapat diakses oleh prosedur pemecahan masalah. Bahasa
Lebih terperinciEFEKTIVITAS MODEL PEMBELAJARAN MIND MAPPING MENGGUNAKAN ALAT PERAGA TERHADAP HASIL BELAJAR MATEMATIKA
Jurnal Edumath, Volume 3 No. 1, Januari 2017 Hlm. 9-14 ISSN Cetak : 2356-2064 ISSN Online : 2356-2056 EFEKTIVITAS MODEL PEMBELAJARAN MIND MAPPING MENGGUNAKAN ALAT PERAGA TERHADAP HASIL BELAJAR MATEMATIKA
Lebih terperinciMatematika diskrit Bagian dari matematika yang mempelajari objek diskrit.
Matematika diskrit Bagian dari matematika yang mempelajari objek diskrit. Banyak masalah yang dapat diatasi dengan menggunakan konsep yang ada di MATDIS, antara lain : 1. Berapa besar kemungkinan kita
Lebih terperinciJurnal Inovasi Pendidikan Fisika. Vol 02 No 01 Tahun 2013, 20-25
Jurnal Inovasi Pendidikan Fisika. Vol 02 No 01 Tahun 2013, 20-25 ANALISIS PERBANDINGAN LEVEL KOGNITIF DAN KETERAMPILAN PROSES SAINS DALAM STANDAR ISI (SI), SOAL UJIAN NASIONAL (UN), SOAL (TRENDS IN INTERNATIONAL
Lebih terperinciABSTRACT The Analysis of Rate of Return to Education in Nanggroe Aceh Darussalam Province
ABSTRACT NENDEN BUDIARTI. The Analysis of Rate of Return to Education in Nanggroe Aceh Darussalam Province. Under supervision of RINA OKTAVIANI and RATNA WINANDI. 2Education is one of human capital investment,
Lebih terperinci(Contoh Solusi) PR 1 METODE FORMAL (CIG4F3) Semester Ganjil
(Contoh Solusi) PR 1 METODE FORMAL (CIG4F3) Semester Ganjil 2015-2016 Dikumpulkan paling lambat pukul 15:00, Jumat, 25 September 2015, di slot pengumpulan PR di idea (softcopy) atau Loker Pengumpulan PR
Lebih terperinciDESKRIPSI MATA KULIAH
DESKRIPSI MATA KULIAH Nama Mata Kuliah : Logika Matematika Kode Mata Kuliah : IF33216 (Strata 1) Kredit : 3 SKS (3 x 45 menit) Deskripsi: Mata Kuliah logika matematika ini membahas mengenai himpunan, Aljabar
Lebih terperinciBF Institute Training Center Semarang AWESOME
2015 C O L L E G E PROPOSAL dan DETAIL PROGRAM PELATIHAN - WORKSHOP KAMI BF Institute Training Center Semarang AWESOME There is a powerful driving force inside every human being that, once unleashed,can
Lebih terperinciNo Kegiatan Kalimat yang di latih Arti. 2. How are you? 3.- Do you remember about population? - Can you explain about population?
45 Lampiran 3. Siklus 1 1 Pendahuluan 1. Good morning/ Good afternoon 2. How are you? 3.- Do you remember about population? about population? 4.- Do you know the meaning of population? - What is the definition
Lebih terperinciBAB 5 SIMPULAN DAN SARAN
BAB 5 SIMPULAN DAN SARAN 5.1 Simpulan Setelah melakukan penilaian risiko dengan menggunakan panduan ISO 31000:2009 maka penulis dapat menyimpulkan bahwa PT. Formwell Product dengan proses siklus pendapatan
Lebih terperinciPENGARUH SELF SERVICE TECHNOLOGY, KUALITAS LAYANAN, HUBUNGAN PEMASARAN TERHADAP KEPUASAN DAN LOYALITAS NASABAH PADA BANK BNI DI SURABAYA SKRIPSI
PENGARUH SELF SERVICE TECHNOLOGY, KUALITAS LAYANAN, HUBUNGAN PEMASARAN TERHADAP KEPUASAN DAN LOYALITAS NASABAH PADA BANK BNI DI SURABAYA SKRIPSI Diajukan Untuk Memenuhi Salah Satu Syarat Penyelesaian Program
Lebih terperinciJam Pelajaran Jam Pelajaran Koefisien Keterangan
ANALISA SENSITIVITAS Perbaikan Koefisien Nilai Untuk Waktu Pembelajaran Secara Praktikum Jika dibandingkan dengan perhitungan sebelumnya dimana mata pelajaran KK9, KK12, dan KK14 memiliki kekurangan dalam
Lebih terperinciABSTRAK Kata kunci :
ABSTRAK Skripsi dengan judul Pengaruh Model Pembelajaran Kooperatif Tipe Numbered Heads Together (NHT) Terhadap Hasil Belajar Fiqih Peserta Didik Kelas III MI Darussalam Ngentrong Tulungagung Tahun ajaran
Lebih terperinciAbu Khaer Firman 1), Hindayati Mustafidah 2) Jl. Raya Dukuhwaluh Purwokerto ) 2)
Analisis Korelasi Pemanfaatan Internet terhadap Prestasi Mahasiswa Teknik Informatika Universitas Muhammadiyah Purwokerto (Correlation Analysis of the Internet Use and the Students Achievement of Informatics
Lebih terperinciABSTRAK. Kata kunci: Sistem Tanya Jawab, Semantic Web, Ontology, domain terbatas. v Universitas Kristen Maranatha
ABSTRAK Informasi telah menjadi bagian yang sangat penting didalam pertumbuhan masyarakat modern. Dengan meningkatnya kebutuhan informasi ini, maka banyak orang memerlukan mesin pencari informasi yang
Lebih terperinciBGF ALUMNI. Week I, March 2015
BGF ALUMNI Week I, March 2015 Profiles 2 Dian Shofinita - ITB 2010 You are always a student, never a master. You have to keep moving forward - Conrad Hall Dian Shofinita merupakan penerima beasiswa Bakrie
Lebih terperinciDIRECT & DATABASE MARKETING
NEW DIRECT & DATABASE MARKETING Menjawab Masalah Apa Pada era pemasaran yang semakin kompetitif, tidak ada yang lebih penting selain memahami pelanggan dan bagaimana pelanggan berinteraksi dengan produk
Lebih terperinciABSTRAK. Kata Kunci: data tidak seimbang, klasifikasi, KSMOTE, boosting, SSO, support vector machine.
ABSTRAK Klasifikasi dalam data mining adalah proses untuk menemukan model atau fungsi yang mendeskripsikan dan membedakan kelas-kelas data atau konsep. Salah satu permasalahan klasifikasi adalah distribusi
Lebih terperinciSATUAN ACARA PERKULIAHAN. : Mahasiswa memiliki pengetahuan konseptual tentang silabus dan prosedur perkuliahan
SATUAN ACARA PERKULIAHAN Topik/ Pokok Bahasan 1 : Penjelasan silabus dan prosedur perkuliahan : Mahasiswa memiliki pengetahuan konseptual tentang silabus dan prosedur perkuliahan 1 Pengantar perkuliahan
Lebih terperinci