Deakstadieđáhus: Elements of symbolic logic