logika matematika

Di dalam matematika, hukum-hukum logikamenspesifikasikan makna dari pernyataan matematis. Hukum-hukum logika tersebut membantu kitauntuk membedakan antara argumen yang valid dan tidak valid. Logika juga digunakan untuk membuktikan teorema-teorema di dalam matematika. Logika pertama kali dikembangkan oleh filusuf Yunani, Aristoteles, sekitar 2300 qqmobil