Logika Ilmu logika berhubungan dengan kalimat-kalimat (argumen-argumen) dan hubungan yang ada di antara kalimat-kalimat tersebut. Hukum-hukum logika membantu kita membedakan antara argumen yang valid dan tidak valid. Logika juga digunakan untuk membuktikan teorema-teorema di dalam matematika. Dalam ilmu komputer, logika diaplikasikan dalam bidang pemrograman, analisis kebenaran algoritma, kecerdasan buatan, perancangan komputer, dan sebagainya. Proposisi Proposisi …
