Kuliah matematika diskrit Program Studi Teknik Elektro Logika Proposisi Bagian Keempat : Review Pertemuan Ke-1 (Suplement) Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Review Tujuan : Review Materi Merefresh ingatan anda Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Review Validitas Argumen : Argumen Logis Argumen disebut sebagai argumen logis jika dan hanya jika argumennya valid dan semua premisnya bernilai benar Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Review Argumen Valid : Dilihat dari kebenaran dari suatu kesimpulan, jadi tidak mungkin kesimpulan yang salah diperoleh dari premis yang benar atau premis yang benar tidak mungkin menghasilkan kesimpulan yang salah Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Review Argumen Invalid : Tidak ada hubungan antara kesimpulan dan premis- premisnya Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Review Argumen Valid : Logis = Kuat Secara Logis (Sound) Tidak Logis = Tidak Kuat Secara Logis (Not Sound) Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Review Argumen : Contoh 1 <Valid tetapi tidak kuat secara logis> Semua binatang dapat terbang Gajah adalah binatang Dengan demikian, gajah dapat terbang   Contoh 2 <Invalid> Semua mahasiswa teknik elektro Unsoed pandai Budi adalah mahasiswa teknik elektro Dengan demikian, Susanto adalah mahasiswa teknik elektro Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Review Contoh 1 diatas adalah argumen yang valid tetapi dengan premis yang pertama salah argumen tersebut tetap dianggap valid karena kesimpulannya tetap mengikuti premis-premisnya Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Review Contoh 2 diatas merupakan argumen yang tidak valid, tetapi menghasilkan kesimpulan yang benar meskipun tidak mengikuti premisnya Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Modus Ponens (p  (p  q))  (q) Jika p maka q : Jika saya haus, maka saya minum air p : Saya haus ------------ q :  Saya minum air Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Modus Tolens ((p  q )  q )  (p) Jika p maka q : Jika saya haus, maka saya minum air Tidak q : Saya tidak minum air ------------ Tidak p : Saya tidak haus Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Silogisme Hipotetical ((p  q)  (q  r ))  (p  r) Jika p maka q : Jika hari ini cerah, maka saya akan pergi Jika q maka r : Jika saya akan pergi, maka saya harus mengambil uang ------------ Jika P maka R : Jika hari ini cerah, maka saya harus mengambil uang Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Pengantar Logika Disjunctive syllogism ((p v q)  (p))  (q) p atau q : Kemarin hari Selasa atau besok hari Senin tidak p : Kemarin hari Kamis ------------ q : Besok hari Senin Kuliah matematika diskrit Program Studi Teknik Elektro