Deakstadieđáhus: Lógica simbólica