Deakstadieđáhus: Introduction to logic