Deakstadieđáhus: Introducción al simbolismo lógico