Deakstadieđáhus: Introducción a la lógica simbólica