Deakstadieđáhus: Ilmu mantiq (logika)