Pagrindinis straipsnis – Logika.