logika formal

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 tsb