LOGIKA PROPOSISI Bagian Keempat : Review Pertemuan Ke-1 (Suplement)

K U L I A H M A T E M A T I K A D I S K R I T Program Studi Teknik Elektro

Review

Tujuan :

  Review Materi Merefresh ingatan anda

K U L I A H M A T E M A T I K A D I S K R I T Program Studi Teknik Elektro

Review

Validitas Argumen : Argumen Logis

Argumen disebut sebagai argumen logis jika dan hanya jika semua

argumennya valid premisnya bernilai benar

dan

K U L I A H M A T E M A T I K A D I S K R I T 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

K U L I A H M A T E M A T I K A D I S K R I T Program Studi Teknik Elektro

Review

Argumen Invalid :

Tidak ada hubungan antara kesimpulan dan premis premisnya

K U L I A H M A T E M A T I K A D I S K R I T Program Studi Teknik Elektro

Review

1.

2.

Argumen Valid :

Logis = Kuat Secara Logis (Sound) Tidak Logis = Tidak Kuat Secara Logis (Not Sound)

K U L I A H M A T E M A T I K A D I S K R I T Program Studi Teknik Elektro

Review

Argumen :



Contoh 1

Semua binatang dapat terbang Gajah adalah binatang Dengan demikian, gajah dapat terbang 

Contoh 2

Semua mahasiswa teknik elektro Unsoed pandai Budi adalah mahasiswa teknik elektro Dengan demikian, Susanto adalah mahasiswa teknik elektro

K U L I A H M A T E M A T I K A D I S K R I T 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

K U L I A H M A T E M A T I K A D I S K R I T Program Studi Teknik Elektro

Review

Contoh 2 diatas merupakan argumen yang tidak valid, tetapi menghasilkan kesimpulan yang benar meskipun tidak mengikuti premisnya

K U L I A H M A T E M A T I K A D I S K R I T Program Studi Teknik Elektro

Pengantar Logika

Modus Ponens

Jika p maka q

(p



(p



q))



(q)

:

Jika saya haus, maka saya minum air

p :

Saya haus

----------- q : 

Saya minum air

K U L I A H M A T E M A T I K A D I S K R I T Program Studi Teknik Elektro

Pengantar Logika

Modus Tolens

((p

Jika p maka q 

q )

 

q )



(



p)

:

Jika saya haus, maka saya minum air

Tidak q :

Saya tidak minum air

----------- Tidak p : 

Saya tidak haus

K U L I A H M A T E M A T I K A D I S K R I T Program Studi Teknik Elektro

Pengantar Logika

Silogisme Hipotetical ((p



q)



(q



r ))

Jika p maka q 

(p

 :

Jika hari ini cerah, maka saya akan pergi

r)

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

K U L I A H M A T E M A T I K A D I S K R I T Program Studi Teknik Elektro

Pengantar Logika

Disjunctive syllogism ((p v q)



(



p))

p atau q 

(q)

:

Kemarin hari Selasa atau besok hari Senin

tidak p :

Kemarin hari Kamis

----------- q : 

Besok hari Senin

K U L I A H M A T E M A T I K A D I S K R I T Program Studi Teknik Elektro