Deakstadieđáhus: Elementos de lógica simbólica