A. Logika Tradisional
Logika ini terbagi 2 yakni :
1. Logika formil deduktif Aristoteles
Logika ini disebut logika deduktif karena pembuktian diberangkatkan dari premis mayor yang dipandang mutlak benar, untuk membuktikan kasus (yang disebut premis minor) – dan bila cocok (dalam makna implicit) dengan premis mayor, disebut conclusio : kasus itu benar.
