Pertemuan 5


Evaluasi Validitas  dan ekuivalensi

Pokok Bahasan :
  1. Tautologi
  2. Kontradiksi
  3. Kontingen
  4. Aturan-aturan Penarikan Kesimpulan
    
    
  5. Hukum-hukum Logika

 

Pendahuluan:

     Suatu argument disebut valid jika untuk sembarang pernyataan yang disubtitusikan
kepada hipotesa, jika semua hipotesa tersebut benar, maka kesimpulan juga benar.
Sebaliknya, jika semua hipotesa benar tetapi ada kesimpulan yang salah, maka
argument tersebut dikatakan  tidak valid (invalid). Untuk menunjukan  apakah suatu
argument valid atau tidak, langkah pertama yang harus dilakukan adalah menuliskan
argument tersebut dalam bentuk simbol-simbol dan Tabel kebenaran.
      cara untuk membuktikan validitas argument  yaitu dengan menggunakan
aturan-aturan penarikan kesimpulan.

Adapun aturan-aturan yang digunakan dalam aturan penarikan kesimpulan (Rule of
Inferences) adalah seperti dibawah ini :

1. Modus Ponen (MP)
   p ⇒ q
   p
   ∴q
2. Modus Tollen (MT)
   p ⇒ q
   ~q
   ∴ ~p
3. Simplifikasi (Simp)
    p ∧ q
    ∴p
4. Konjungsi (Konj)
   p
   q
   ∴p ∧ q
5. Hypothetical Syllogism (HS)
   p ⇒q
   q ⇒ r
   ∴p ⇒ r
6.    Disjunctive Syllogism (DS)
   p ∨ q
   ~p
   ∴q
7. Constructive Dilemma (CD)
   p ⇒ q
   r ⇒ s
   p ∨ r
   ∴q ∨ s
8. Destructive Dilemma (DD)
   p ⇒ q
   r ⇒ s
   ~q ∨ ~s
   ∴~p ∨ ~r
9. Addition (Add)
   p
  ∴p ∨ q


Rangkuman Materi :



Referensi:
1.Logika Proposisional, Penerbit Andi Yogyakarta, 2003.
2.Logika Dasar, F Soesianto, 2002.
3.Logika Matematika Elementer, Penerbit TARSITO Bandung, 1986.
4.Logic and Discrete Mathematics, Prentice Hall International, Inc, 1996
  1. maaf miss mau nanya tugas logika untuk kelas C kok belum di upload??

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: