Menurut kamus matematika oleh Borowsky & Borwein,

Logika adalah prinsip dan metode khas yang dipergunakan dalam argumentasi atau penalaran yang
tidak memperhatikan isi atau konteks dari bentuk penalaran. Logika yang mengesampingkan isi dari
pernyataan dan hanya melihat bentuknya saja (terutama pada saat mengadakan penalaran), lebih
dikenal dengan istilah logika formal. logika simbolik, logika modern atau logika matematika.

Menurut Soekadijo,” Logika adalah suatu studi yang sistimatik tentang struktur proposisi dan syarat-
syarat umum, mengenai penalaran yang sahih dengan menggunakan metode yang
mengesampingkan isi atau bahan proposisi dan hanya membahas bentuk logisnya saja". Matematika
adalah pendekatan logika kepada metode ilmu ukur yang menggunakan notasi-notasi berupa simbol-
simbol matematik (logika simbolik). Sehingga dapat kita susun pengertian logika matematika yaitu
logika matematika adalah suatu pirinsip dan metode khas pada suatu studi yang sistematik yang
dipergunakan dalam argumentasi dan penalaran menggunakan notasi-notasi secara matematik
dengan mengesampingkan isi atau bahan proposisi dan hanya membahas bentuk logisnya saja.

Sumber:

R.Soekadijo. Logika Dasar. Gramedia, Jakarta ,1983