Logika matematik berasal dari kata dasar logika.
Penggunaan metode matematik dan suatu bahasa istimewa berupa lambang dan rumus di bidang logika formal.
Menurut Kamus Besar Bahasa Indonesia (KBBI), arti logika matematik adalah penggunaan metode matematik dan suatu bahasa istimewa berupa lambang dan rumus di bidang logika formal.