Deakstadieđáhus: Elementos de lógica formal