"ตรรกศาสตร์" ภาษากรีก: Λογική

Η τυπική λογική είναι η βάση των μαθηματικών.

ตรรกศาสตร์แบบรูปนัยเป็นพื้นฐานของคณิตศาสตร์

Το επιχείρημά του στερείται λογικής.

การโต้แย้งของเขาขาดตรรกะหรือความสมเหตุสมผล