VALIDITAS PEMBUKTIAN 2 TATAP MUKA 6.

Slides:



Advertisements
Presentasi serupa
GEOMETRI BIDANG Sumarno A
Advertisements

PEMBUKTIAN VALIDITAS KALIMAT LOGIKA
Dosen Pengampu: Nurul Saila Dosen Pengampu: Nurul Saila Hand Out MK Matematika Ekonomi 1 Oleh Nurul Saila 1.
Pengenalan logika Pertemuan 1.
LOGIKA MATEMATIKA Pertemuan III.
Kuliah matematika diskrit Program Studi Teknik Elektro
LOGIKA INFORMATIKA VALIDITAS PEMBUKTIAN.
LOGIKA INFORMATIKA.
LOGIKA MATEMATIKA Menu Utama KATA BIJAK Diskripsi Mata Kuliah
Kuliah matematika diskrit Program Studi Teknik Elektro
SEKOLAH TINGGI KEGURUAN DAN ILMU PENDIDIKAN STKIP YPM BANGKO 2014
Assalamu’alaikum Wr. Wb.
VALIDITAS PEMBUKTIAN – Bagian II
Pengantar Logika Informatika
LOGIKA MATEMATIKA BAGIAN 2: ARGUMEN.
TABLO SEMANTIK Pertemuan ke tujuh.
PENERAPAN FUNGSI LINIER DALAM EKONOMI
1. 2 Adalah ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid.
Penarikan kesimpulan (MODUS PONEN ,MODUS TOLEN DAN SILOGISME)
Penarikan Kesimpulan Ekivalensi Ekspresi Logika
VALIDITAS PEMBUKTIAN TATAP MUKA 6 Prodi PGSD FKIP UPM.
Logika Matematika Oleh : Dani Suandi, M.Si. KELOMPOK I.
Pertemuan ketiga Oleh : Fatkur Rhohman
PEMBUKTIAN Secara umum pembuktian dapat ditulis sebagai :
Agiska Ria Supriyatna, S.Si, MTI
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)
Mata Kuliah Logika Informatika Teknik Informatika SKS
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
Matematika Diskrit Bab 1-logika.
Validitas Argumen dengan Aturan Inferensi
LOGIKA TATAP MUKA 2 FKIP UNIVERSITAS PANCA MARGA.
BOBOT 3 SKS DOSEN PENGAMPU NURUL SAILA
Oleh : Drs. Toto' Bara Setiawan, M.Si
TAUTOLOGI, KONTRADIKSI DAN EKIVALENSI
Bab III : Standard Axiom Schemata
Bab III : Standard Axiom Schemata
A. Bentuk Klausul Resolusi Proposional hanya dapat digunakan jika ekspresi yang diketahui dalam bentuk Klausul Klausul adalah himpunan yang berisi literal.
LOGIKA INFORMATIKA.
LOGIKA MATEMATIKA (Lanjutan).
LOGIKA TATAP MUKA 3 PGSD FKIP UPM PROBOLINGGO.
Pohon Semantik Oleh : Dani Suandi, M.Si. KELOMPOK I.
Prodi Matematika Fakultas Sains dan Teknologi Universitas Jambi 2017
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
KESETARAAN LOGIS Dua buah pernyataan yang berbeda dikatakan setara/equivalen bila nilai kebenarannya sama Contoh: Tidak benar bahwa aljabar linier adalah.
Argumen dan penarikan kesimpulan
SPB 1.4 KUANTOR SPB 1.5 TAUTOLOGI, KONTRADIKSI DAN EKIVALENSI
SPB 1.6 VALIDITAS PEMBUKTIAN SPB 1.7 PEMBUKTIAN TIDAK LANGSUNG
VALIDITAS PEMBUKTIAN – Bagian I
Minggu, 29 Juli 2018 LOGIKA MATEMATIKA.
MATAKULIAH MATEMATIKA [Pertemuan 2]
LOGIKA TATAP MUKA 2 PGSD FKIP UPM PROBOLINGGO.
VALIDITAS PEMBUKTIAN TATAP MUKA 5
ATURAN PEMBUKTIAN KONDISIONAL
RELASI ANTARA HIMPUNAN
INFERENSI LOGIKA.
06 Logika Matematika Penarikan Kesimpulan
Jumat, 14 September 2018 LOGIKA MATEMATIKA Oleh : Al-Bahra.LB.
07 Logika Matematika Penarikan Kesimpulan
KUANTOR TATAP MUKA 3 FKIP UNIVERSITAS PANCA MARGA.
Pengantar Logika Informatika
Proposisi Majemuk Bagian II
Penyederhanaan Ekspresi Logika
INFERENSI LOGIKA.
Transcript presentasi:

VALIDITAS PEMBUKTIAN 2 TATAP MUKA 6

Sasaran Belajar Setelah mengikuti perkuliahan ini, diharapkan mahasiswa mampu: Membuktikan suatu argumen merupakan argumen yang valid menggunakan konsep logika dan bentuk-bentuk argumen yang valid. Membuktikan validitas suatu argumen menggunakan bukti secara tidak langsung

Materi Validitas Pembuktian Validitas Argumen2 Contoh Latihan Bukti tidak langsung

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

Pernyataan Alasan (pq)[p(st] Premis (pq)r pq 2 penyederhanaan 1,3 M Ponen 3 penyederhanaan 4,5 M Ponen 6 penyederhanaan 7 tambahan (valid) FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

latihan Jika pengetahuan aljabar atau logika diperlukan, maka semua orang akan belajar matematika. Pengetahuan Logika dan pengetahuan Geometri diperlukan. Karena itu semua mahasiswa akan belajar matematika. Selidikilah validitas argumen di atas!

Pembuktian Tidak Langsung Prinsip Pembuktian secara tidak langsung: Suatu argumen adalah valid scr logis jk premis-premisnya bernilai benar dan konklusinya jg bernilai benar. Jadi jk premis-premis dlm suatu argumen yg valid membawa ke konklusi yg bernilai salah mk paling sedikit ada satu premis yg bernilai salah. FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Prosedur pembuktian argumen secara tidak langsung: Misalkan konklusi argumen bernilai salah. Tambahkan negasi dari konklusi sebagai premis pada argumen tersebut. Jika dengan penambahan premis ini terjadi kontradiksi dengan premis-premis yang ada atau dengan definisi, teorema atau postulat yang telah diakui kebenarannya, maka argumen tersebut valid. Dan sebaliknya, jika tidak terjadi kontradiksi maka argumen tersebut tidak valid.

Contoh Validkah argumen berikut: Premis 1: semua manusia tdk hidup kekal Premis 2: Chairil Anwar adalah manusia Konklusi: Chairil Anwar tidak hidup kekal.

Bukti: Misal: Chairil Anwar tidak hidup kekal (K), bernilai salah, maka Chairil Anwar hidup kekal (P4) bernilai benar. Maka, ‘ada manusia hidup kekal (P5) Tetapi P5 mrpkn negasi dari P1. Kontradiksi. P5 pasti salah, begitu juga P4 pasti salah. Sehingga P3 benar. Jadi terbukti bahwa P3: Chairil Anwar tdk hidup kekal. Benar. Jadi argumen tsb valid FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

Latihan Valid atau tidakkah konklusi dari argumen berikut: Hari ini hujan atau udara dingin. Jika udara dingin, saya akan memakai mantel. Saya tidak memakai mantel;karena itu udara tidak dingin. Jadi hari hujan. Jika 3 kurang dari 1mk 2 kurang dr 0. Tetapi 2 tdk kurang dr 0; karena itu 3 tdk kurang dr 1. FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA

latihan Periksalah apakah bentuk-bentuk argumen ini valid secara logis. FKIP UNIVERSITAS PANCA MARGA ~ NURUL SAILA