Traditional Aristotelian syllogistic logic and modern symbolic logic are examples of formal logic.
Logika silogistik tradisional Aristoteles dan logika simbolik modern adalah contoh-contoh dari logika formal.