Logika Proposisi

1. Review Pertemuan Ke-1 (Suplement) LogikaProposisi Kuliahmatematikadiskrit Bagian Keempat : ProgramStudiTeknikElektro

2. Review Tujuan : • Review Materi • Merefresh ingatan anda Kuliahmatematikadiskrit ProgramStudiTeknikElektro

3. Review Validitas Argumen : Argumen Logis Argumen disebut sebagai argumen logis jika dan hanya jika argumennya valid dan semua premisnya bernilai benar Kuliahmatematikadiskrit ProgramStudiTeknikElektro

4. 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 Kuliahmatematikadiskrit ProgramStudiTeknikElektro

5. Review Argumen Invalid : Tidak ada hubungan antara kesimpulan dan premis-premisnya Kuliahmatematikadiskrit ProgramStudiTeknikElektro

6. Review Argumen Valid : • Logis = Kuat Secara Logis (Sound) • Tidak Logis = Tidak Kuat Secara Logis (Not Sound) Kuliahmatematikadiskrit ProgramStudiTeknikElektro

7. 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 Kuliahmatematikadiskrit ProgramStudiTeknikElektro

8. 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 Kuliahmatematikadiskrit ProgramStudiTeknikElektro

9. Review Contoh 2 diatas merupakan argumen yang tidak valid, tetapi menghasilkan kesimpulan yang benar meskipun tidak mengikuti premisnya Kuliahmatematikadiskrit ProgramStudiTeknikElektro

10. 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 Kuliahmatematikadiskrit ProgramStudiTeknikElektro

11. 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 Kuliahmatematikadiskrit ProgramStudiTeknikElektro

12. 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 Kuliahmatematikadiskrit ProgramStudiTeknikElektro

13. 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 Kuliahmatematikadiskrit ProgramStudiTeknikElektro