Logika Simbolik
Logika yang disajikan dalam simbolisasi abstrak yang terdiri dari unsur-unsur yang dideflnisikan dengan baik seperti:
a) simbol- simbol,
b) tanda-tanda,
c) kata-kata sambung,
d) aturan-aturan penggabungan simbol,
e) aturan-aturan substitusi,
f) aturan-aturan penarikan kesimpulan (inferensi) dan
g) aturan-aturan derivasi (mencari asal-usul kata).