VALIDITAS PEMBUKTIAN TATAP MUKA 5

Slides:



Advertisements
Presentasi serupa
BAGIAN 3: ALJABAR PROPOSISI DAN PENARIKAN SIMPULAN
Advertisements

Logika.
PENARIKAN KESIMPULAN/ INFERENSI
Logika Matematika Matematika SMK Kelas/Semester: II/2
Kuliah matematika diskrit Program Studi Teknik Elektro
LOGIKA INFORMATIKA VALIDITAS PEMBUKTIAN.
TEAM TEACHING MAT. DISKRIT
LOGIKA LOGIKA LOGIKA.
[SAP 9] SILOGISME HIPOTETIS
7. Inverensi Logika 7.1. Validitas suatu argumen
TOPIK 1 LOGIKA.
INFERENSI.
Logika Matematika Matematika SMK Kelas/Semester: II/2
SEKOLAH TINGGI KEGURUAN DAN ILMU PENDIDIKAN STKIP YPM BANGKO 2014
Assalamu’alaikum Wr. Wb.
VALIDITAS PEMBUKTIAN – Bagian II
LOGIKA MATEMATIKA BAGIAN 2: ARGUMEN.
Penarikan kesimpulan (MODUS PONEN ,MODUS TOLEN DAN SILOGISME)
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
Penarikan Kesimpulan Ekivalensi Ekspresi Logika
VALIDITAS PEMBUKTIAN TATAP MUKA 6 Prodi PGSD FKIP UPM.
Oleh : Siardizal, S.Pd., M.Kom
Bab III : Logical Entailment
PEMBUKTIAN Secara umum pembuktian dapat ditulis sebagai :
Inferensi Penarikan kesimpulan dari beberapa proposisi Kaidah :
Pertemuan ke 1.
Logika informatika 2.
Logika informatika 4.
Inferensi Penarikan kesimpulan dari beberapa proposisi Kaidah :
FUNGSI LINIER TATAP MUKA 5
Kalimat berkuantor (logika matematika)
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
Sabtu, 27 Januari 2018 Kalimat Matematika Oleh : Choirudin, M.Pd.
LOGIKA TATAP MUKA 2 FKIP UNIVERSITAS PANCA MARGA.
TAUTOLOGI, KONTRADIKSI DAN EKIVALENSI
Logika informatika 3.
PENARIKAN KESIMPULAN/ INFERENSI
Grace Lusiana Beeh, S. Kom.
LOGIKA MATEMATIKA 07 April 2016
POKOK BAHASAN 1 BARISAN DAN DERET
Pembuktian Langsung Dan Skema Penarikan Kesimpulan
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
ATURAN INFERENSI LANJUTAN
Matakuliah Pengantar Matematika
Matematika Diskrit TIF (4 sks) 3/9/2016.
NEGASI PERNYATAAN MAJEMUK
LOGIKA MATEMATIKA Penerbit erlangga.
Aljabar Logika. 1. Kalimat Deklarasi. 2. Penghubung Kalimat. 3
LOGIKA MATEMATIKA (Pernyataan Majemuk)
Logika dan Logika Matematika
SPB 1.6 VALIDITAS PEMBUKTIAN SPB 1.7 PEMBUKTIAN TIDAK LANGSUNG
VALIDITAS PEMBUKTIAN – Bagian I
Penerapan Barisan dan Deret Dalam Ekonomi
VALIDITAS PEMBUKTIAN 2 TATAP MUKA 6.
LOGIKA TATAP MUKA 2 PGSD FKIP UPM PROBOLINGGO.
ATURAN PEMBUKTIAN KONDISIONAL
RELASI ANTARA HIMPUNAN
INFERENSI LOGIKA.
M. A. INEKE PAKERENG, S.Kom., M.Kom.
06 Logika Matematika Penarikan Kesimpulan
07 Logika Matematika Penarikan Kesimpulan
KUANTOR TATAP MUKA 3 FKIP UNIVERSITAS PANCA MARGA.
Pengantar Logika Informatika
Asrul Sani, ST. M.Kom MT Pertemuan 3 Asrul Sani, ST M.Kom MT - Logika Informatika.
IMPLIKASI DAN BIIMPLIKASI
Proposisi Majemuk Bagian II
Contoh 1 Kalimat (p → q) → r bernilai benar Jika
INFERENSI LOGIKA.
BAB I DASAR-DASAR LOGIKA
BAB I DASAR-DASAR LOGIKA
Transcript presentasi:

VALIDITAS PEMBUKTIAN TATAP MUKA 5 FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Sasaran Belajar Setelah mengikuti perkuliahan ini diharapkan mahasiswa mampu: Menentukan validitas suatu argumen menggunakan tabel kebenaran Menentukan validitas suatu argumen menggunakan bentuk-bentuk argumen yang valid Menentukan konklusi valid dari suatu argumen FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Bentuk-bentuk Argumen yang valid Materi Validitas Pembuktian Argumen Premis Konklusi Validitas Argumen Tabel Kebenaran Bentuk-bentuk Argumen yang valid FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Argumen Definisi: Argumen adl kumpulan kalimat yg terdiri dr satu atau lebih premis yg mengandung bukti- bukti(evidence) dan suatu(satu) konklusi (kesimpulan). Premis adalah pernyataan-pernyataan yg digunakan untuk menarik suatu konklusi. FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Contoh Argumen P1 : Jika Ali seorang haji maka ia seorang muslim P2 : Ali seorang haji __________________________________________ K : Ali seorang muslim FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Validitas Argumen Definisi Suatu argumen merupakan argumen yg valid, jika implikasi dari premis-premis dan konklusinya merupakan suatu tautologi. FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Contoh Tentukan validitas argumen berikut: P1 : Jika Ali seorang haji maka ia seorang muslim P2 : Ali seorang haji __________________________________________ K : Ali seorang muslim FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Latihan 1 Tentukan validitas argumen berikut: Jika saya lapar maka saya makan. Saya makan. Jadi saya lapar. Jika saya lapar maka saya makan. Saya tidak lapar. Jadi saya tidak makan. Saya suka Matematika atau Fisika. Saya tidak suka fisika. Jadi saya suka Matematika. Ina bermain tali jika dan hanya jika hari libur. Ina tidak bermain tali. Jadi sekarang hari libur. FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Bentuk-bentuk Argumen Yang Valid Modus Ponens premis 1: p q premis 2: p konklusi : q Modus Tolens premis 2: -q konklusi : -p FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Bentuk-bentuk Argumen Yang Valid Silogisma premis 1: p q premis 2: q r konklusi : p r Silogisma Disjungtif premis 1: p  q premis 2: -q konklusi : p FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Bentuk-bentuk Argumen Yang Valid Dilema Konstruktif premis 1: (p  q)(r  s) premis 2: p  r konklusi : q  s Dilema Destruktif premis 2: -q  -s konklusi : -p  -r FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Bentuk-bentuk Argumen Yang Valid Konjungsi premis 1: p premis 2: q konklusi : pq Tambahan (addition) Premis 1: p Konklusi : p  q Penyederhanaan premis 1: p  q konklusi: p FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Contoh Dengan menggunakan bentuk-bentuk argumen yang valid, tentukan validitas argumen berikut, jika valid sebutkan bentuk argumennya: Saya makan jika saya lapar. Saya tidak makan. Saya tidak lapar. Saya pergi mendaki gunung atau memancing ikan di pantai. Saya pergi mendaki gunung. Saya tidak memancing ikan di pantai. Panci itu berwarna hitam atau terbuat dari besi. Panci itu tidak berwarna hitam. Panci itu terbuat dari besi. FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Contoh Tentukan konklusinya agar menjadi argumen yg valid. Jika sedang hujan maka saya belajar di rumah. Saya tidak belajar di rumah. Jika kamu mengundang saya, maka saya akan datang . Kamu tidak mengundang saya. FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Validitas Argumen Tentukan validitas argumen berikut menggunakan bentuk-bentuk argumen yang valid. Premis 1: (pq)[p(st] Premis 2: (pq)r  st FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

TUGAS MANDIRI Download tugas pertemuan 5 di http://nurulsyaillah.wordpress.com Dikirimkan paling lambat Minggu, 13 Oktober 2013, pukul 20.00 WIB ke nsyaillah@yahoo.com Catatan: subject: nama, nim, fak, prodi, sem, kelas, Konsep Dasar Mat, Tugas Pertemuan 5. FKIP UNIVERSITAS PANCA MARGA