Logika simbolik berasal dari kata dasar logika.
Logika matematik.
Menurut Kamus Besar Bahasa Indonesia (KBBI), arti logika simbolik adalah logika matematik.