LOGIKA MATEMATIKA
Apakah itu logika ? Logika matematika itu merupakan suatu cabang logika dan matematika yang mengandung kajian matematis logika. Aplikasi kajian ini terdapat pada bidang-bidang lain diiluar matematika. Logika matematikia berhubungan erat dengan ilmu komputer dan logika filosof, dengan tema utama kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Selain itu logika matematika sering dibagi kedalam cabang-cabang dari teori himpunan, teori model, teori rekursi, pembuktian serta matematika konstruktif. A. PERNYATAAN Dalam logika matematika pernyataan diberi lambing huruf p,q atau r. Contohnya 9 adalah bilangan ganjil. Pernyataan ini bernilai benar. Pernyataan dibagi dua yaitu: 1. Pernyataan Tertutup yang merupakan pernyataan yang nilai kebenaran sudah pasti 2. Pernyataan Terbuka yaitu pernyataan yang nilai kebenarannya belum pasti. Selain itu...