Deakstadieđáhus: Lógica simbólica para informáticos