Logika Matematika

logika matematika adalah suatu cabang ilmu mengenai cara berfikir untuk menarik kesimpulan yang sah.Didalam matematika dikenal 2 jenis kalimat yaitu kalimat berarti dan kalimat tak berarti. Kalimat berarti adalah kalimat yang mempunyai arti atau makna.Kalimat berarti dibedakan menjadi 2 yaitu kalimat deklaratif dan tak deklaratif. Kalimat tak berarti adalah sekumpulan kata yang tidak mempunyai arti.Dalam operasi pernyataan majemuk dikenal konjungsi,disjungsi,implikasi,dan biimplikasi. Dalam membuktikan suatu sifat atau menurunkan suatu hasil dari kebenaran yang diketahui,kita memakai pola argumentasi yang didasarkan atas prinsip-prinsip logika,yaitu modus ponens,modus tollens,dan silogisme.