Deakstadieđáhus: Symbolic logic