PENGANTARLOGIKAMATEMATIKA
                                               Logika Matematika
                                                     Resmawan
                                            Universitas Negeri Gorontalo
                                                    Agustus 2017
       Resmawan (Matematika UNG)                     Logika Matematika                            Agustus 2017     1 / 81
                                  Kalimat Deklaratif 
      Resmawan (Matematika UNG)                Logika Matematika                        Agustus 2017   2 / 81
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    Examples
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    Semua pengedara sepeda motor memakai helm.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    Setiap orang yang memakai helm adalah mahasiswa.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    Jadi, semua pengedara sepeda motor adalah mahasiswa.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    Pelajaran logika fokus pada hubungan antara pernyataan-pernyataan
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (statements).
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    Mesipun logika tidak membantu memutuskan suatu pernyataan
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    benar/salah, namun jika pernyataan ke-1 dan ke-2 benar, maka logika
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    akan membawa kita pada kesimpulan bahwa pernyataan ke-3 juga
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    benar.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    Logika membantu membedakan suatu pernyataan valid/tidak, juga
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    digunakan untuk membuktikan teorema dalam matematika.
                                             1. Kalimat Deklaratif    1.1 Pendahuluan Logika
    1.1 Pendahuluan Logika
             Logika merupakan studi penalaran (reasoning), yaitu cara berpikir
             dengan mengembangkan sesuatu berdasarkan akal budi, bukan
             dengan perasaan atau pengalaman.
       Resmawan (Matematika UNG)                          Logika Matematika                                 Agustus 2017       3 / 81
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            Examples
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            Semua pengedara sepeda motor memakai helm.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            Setiap orang yang memakai helm adalah mahasiswa.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            Jadi, semua pengedara sepeda motor adalah mahasiswa.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    Mesipun logika tidak membantu memutuskan suatu pernyataan
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    benar/salah, namun jika pernyataan ke-1 dan ke-2 benar, maka logika
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    akan membawa kita pada kesimpulan bahwa pernyataan ke-3 juga
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    benar.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    Logika membantu membedakan suatu pernyataan valid/tidak, juga
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    digunakan untuk membuktikan teorema dalam matematika.
                                             1. Kalimat Deklaratif    1.1 Pendahuluan Logika
    1.1 Pendahuluan Logika
             Logika merupakan studi penalaran (reasoning), yaitu cara berpikir
             dengan mengembangkan sesuatu berdasarkan akal budi, bukan
             dengan perasaan atau pengalaman.
             Pelajaran logika fokus pada hubungan antara pernyataan-pernyataan
             (statements).
       Resmawan (Matematika UNG)                          Logika Matematika                                 Agustus 2017       3 / 81