Perpustakaan Digital ITB

Logika merupakan ilmu yang mempelajari tentang penalaran. Proses penalaran tersebut menggunakan bahasa simbol sebagai media untuk mengakomodasi proses pembelajaran. Akibatnya, mempelajari logika juga dapat dianalogikan pada mempelajari bahasa simbol. Sintaks adalah suatu aturan untuk membuat ekspresi yang mempunyai makna. Ekspresi sendiri merupakan suatu urutan simbol yang terurut dan berhingga. Semantik merupakan makna kebenaran dari suatu ekspresi yang sintaksisnya sudah baku (benar). Sehingga, sintaks dari Logika Proposisi merupakan suatu aturan membentuk ekspresi yang ada pada Logika Proposisi. Begitu juga dengan semantik dari Logika Proposisi merupakan makna kebenaran dari suatu eksresi dengan sintaks yang benar dan terdapat pada logika proposisi. Logika Orde Satu merupakan penajaman dari Logika Proposisi. Penajaman dari logika proposisi hanya dapat dilakukan dengan menambahkan simbol-simbol yang baru pada Logika Proposisi. Akibatnya, perbedaan sintaks dari Logika Proposisi dan Logika Orde Satu disebabkan oleh penambahan simbol-simbol tersebut. Begitu juga dengan Semantik dari Logika Orde Satu dipengaruhi oleh penambahan simbol-simbol tersebut.