Algoritma dan Pemrograman 2C

Slides:



Advertisements
Presentasi serupa
Matematika Komputasi Logic Inference + Predicate Quantifier
Advertisements

Logika.
Paragraf Merupakan suatu bagian dari bab pada sebuah karangan atau karya ilmiah yang mana cara penulisannya harus dimulai dengan baris baru.
PENARIKAN KESIMPULAN/ INFERENSI
FILSAFAT ILMU DAN METODOLOGI PENELITIAN
Review Proposisi & Kesamaan Logika
Pengenalan logika Pertemuan 1.
Kuliah matematika diskrit Program Studi Teknik Elektro
LOGIKA INFORMATIKA VALIDITAS PEMBUKTIAN.
MATEMATIKA DISKRIT PERTEMUAN 2.
Bab 1 Logika Matematika Matematika Diskrit.
TEAM TEACHING MAT. DISKRIT
Kuliah matematika diskrit Program Studi Teknik Elektro
LOGIKA DAN ARGUMENTASI
1.2. Logika Predikat Pada pembahasan pasal sebelumnya kita telah
7. Inverensi Logika 7.1. Validitas suatu argumen
TOPIK 1 LOGIKA.
Algoritma dan Pemrograman 2C
INFERENSI.
DASAR – DASAR LOGIKA INFORMATIKA
LOGIKA Purbandini, S.Si, M.Kom.
1.2. Logika Predikat Pada pembahasan pasal sebelumnya kita telah
Matematika Komputasi Inferensi Logika
PERTEMUAN 3 LOGIKA.
BAB 1. LOGIKA MATEMATIK 1.1 PROPOSISI Definisi: [Proposisi]
Inferensi Penarikan kesimpulan dari beberapa proposisi Kaidah :
Pertemuan ke 1.
Inferensi Penarikan kesimpulan dari beberapa proposisi Kaidah :
Mata Kuliah Logika Informatika Teknik Informatika SKS
INFERENSI.
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
Matematika Diskrit Logika.
Matematika Diskrit Bab 1-logika.
PENALARAN MATEMATIKA OLEH KELOMPOK 1 Nama:
Pertemuan # 2 Logika dan Pembuktian
DASAR-DASAR MATEMATIKA DAN SAINS
Konsep Pemrograman Oleh: Ahmad Ramadhani.
LOGIKA MATEMATIKA.
Bab 2 Penalaran (Reasoning) 4/19/2018.
Metoda pembuktian matematika
KONSEP PEMIKIRAN INDUKTIF DAN DEDUKTIF
A. Bentuk Klausul Resolusi Proposional hanya dapat digunakan jika ekspresi yang diketahui dalam bentuk Klausul Klausul adalah himpunan yang berisi literal.
TOPIK 1 LOGIKA.
PENDIDIKAN MATEMATIKA UNIVERSITAS PGRI YOGYAKARTA
PENARIKAN KESIMPULAN/ INFERENSI
Grace Lusiana Beeh, S. Kom.
Matematika Diskrit Iva Atyna
ATURAN INFERENSI LANJUTAN
Matakuliah Pengantar Matematika
Matematika Diskrit TIF (4 sks) 3/9/2016.
Logika & Himpunan Anggota : Novia Nurfaida ( )
LOGIKA MATEMATIKA Penerbit erlangga.
Aljabar Logika. 1. Kalimat Deklarasi. 2. Penghubung Kalimat. 3
Dasar dasar Matematika
VALIDITAS PEMBUKTIAN – Bagian I
Adalah cabang dari matematika yang mengkaji objek-objek diskrit.
INFERENSI LOGIKA.
Proposisi Sri Nurhayati.
Grace Lusiana Beeh, S. Kom.
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
M. A. INEKE PAKERENG, S.Kom., M.Kom.
TOPIK 1 LOGIKA.
Penalaran Matematika.
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
UNSUR – UNSUR LOGIKA.
Logika Informatika A Pertemuan 1
INFERENSI LOGIKA.
BAB I DASAR-DASAR LOGIKA
PENARIKAN KESIMPULAN.
LOGIKA MATEMATIKA.
Transcript presentasi:

Algoritma dan Pemrograman 2C Argumentasi Aurelio Rahmadian

Argumentasi Dalam penulisan argumentasi isi dapat berupa penjelasan, pembuktian, alasan, maupun ulasan obyektif dimana disertakan contoh, analogi, dan sebab akibat. Tujuannya adalah agar pembaca yakin bahwa ide, gagasan, atau pendapat tersebut adalah benar dan terbukti.

Argumen Dalam matematika, ilmu pengetahuan (termasuk ilmu komputer), linguistik, dan teknik, argumen umumnya adalah variabel independen atau input ke sebuah fungsi.

Proposisi Secara sintaktis, proposisi adalah kesatuan makna yang dibentuk oleh ikatan antara suatu predikasi (pekerjaan/kegiatan atau keadaan) dengan yang terlibat dalam predikasi (kegiatan atau keadaan) itu. Kalimat deklaratif yang bernilai salah atau benar.

Tujuan ? KESIMPULAN

Logika Berasal dari bahasa Yunani (logos) yang berarti hasil pertimbangan akal pikiran yang diutarakan lewat kata dan dinyatakan dalam bahasa. Kata logis dapat digunakan untuk mengartikan “dengan masuk akal”. Logika yang memberikan sebuah proposisi ataupun kesimpulan nilai benar atau salah.

Inferensi Metode penarikan kesimpulan dari beberapa proposisi.

Modus Ponen p  q p }  q Modus Tolen ~q  ~p Penambahan Disjungsi Aturan Inferensi Modus Ponen p  q p }  q Modus Tolen ~q  ~p Penambahan Disjungsi  p  q q  p  q Penambahan Konjungsi p  q  p Silogisme Disjungsi p  q ~p Silogisme Hipotesis q  r  p  r Dilema p  r  r Konjugasi  p  q

Langkah Penyelesaian Argumentasi Tentukan Proposisi Tentukan Fakta Gunakan Aturan Inferensi Kesimpulan

Argumentasi Jika kacamataku ada di dapur, maka aku pasti sudah melihatnya ketika sarapan pagi. Aku mambaca Koran di ruang tamu atau aku membacanya di dapur. Jika aku membaca Koran di ruang tamu, maka pastilah kacamata kuletakkan di meja tamu. Aku tidak melihat kacamataku pada waktu sarapan pagi. Jika aku membaca buku di ranjang, maka kacamata ku letakkan di meja samping ranjang. Jika aku membaca Koran di dapur, maka kacamataku ada di meja dapur.

Tentukan Proposisi p Kacamata ada di meja dapur. q Aku melihat kacamataku ketika sarapan pagi. r Aku membaca Koran di ruang tamu. s Aku membaca Koran di dapur. t Kacamata ku letakkan di meja tamu. u Aku membaca buku di ranjang. v Kacamata ku letakkan di meja samping ranjang.

Tentukan Fakta a p  q b r  s c r  t d ~q e u  v f s  p

Kesimpulan Kacamata kuletakkan dimeja tamu.

Common Fallacy Suatu kesimpulan yang tidak logis, tidak mengikuti metode inferensi, ataupun tidak berdasar fakta yang ada.

Inductive Argument p  q: Kebanyakan kucing di Amerika adalah kucing rumahan. r  p : Bill adalah kucing di Amerika. Kesimpulan (r  q): Bill kucing rumahan.

Factual Error Bekasi adalah ibukota dari Indonesia.

Deductive Fallacy p  q: Jika Depok adalah ibukota Indonesia, maka Depok ada di Indonesia. q: Depok ada di Indonesia. Kesimpulan (p): Depok adalah ibukota Indonesia.

Inductive Fallacy Proposisi: Di kebun binatang, saya melihat burung yang tidak bisa terbang. Kesimpulan: Semua burung di kebun binatang tidak bisa terbang.