Page 49 - 8 e modulo logika-dikonversi
P. 49

Modus tollens dapat disajikan dengan
                                      Premis (1)    : p → q                          Buatlah tabel
                                      Premis (2)    : ~q                             kebenaran
                                      (konklusi)    : ~p                             dari modus
                                                                                     tollens


                                       Contoh :

                                       Premis (1) : jika hari hujan maka pejalan kaki berpayung

                                         Premis (2) : pejalan kaki tidak berpayung

                                       Konklusi  : hari tidak hujan


                                  3.   Silogisme
                                      Aturan dasar penarikan kesimpulan yang         Buatlah tabel
                                                                                     kebenaran
                                      disebut silogisme menyatakan bahwa:
                                                                                     dari modus
                                      Jika p → q dan q → r keduanya benar            tollens
                                      maka p → r juga benar
                                      silogisme dapat disajikan dengan:
                                      Premis (1)    : p → q
                                      Premis (2)    : q → r
                                      (konklusi)    : p → r

                                      Contoh :
                                      Premis (1) : jika ayah pergi maka ibu tinggal dirumah

                                      Premis (2) : jika ibu tinggal dirumah maka anak – anak senang
                                      Konklusi  : jika ayah pergi maka anak – anak senang




















                                                                                                              45

                                             Logika matematika
   44   45   46   47   48   49   50   51   52   53   54