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