Logika formal berasal dari kata dasar logika.
Metodologi berpikir yang berkenaan dengan struktur atau bentuk logika melalui abstraksi isi pemikiran yang merumuskan hukum dan asas yang disyaratkan untuk mencapai hasil yang berlaku dalam mendapatkan pengetahuan melalui penarikan kesimpulan yang bagian-bagiannya dipertalikan dengan isi tersebut.
Menurut Kamus Besar Bahasa Indonesia (KBBI), arti logika formal adalah metodologi berpikir yang berkenaan dengan struktur atau bentuk logika melalui abstraksi isi pemikiran yang merumuskan hukum dan asas yang disyaratkan untuk mencapai hasil yang berlaku dalam mendapatkan pengetahuan melalui penarikan kesimpulan yang bagian-bagiannya dipertalikan dengan isi tersebut.