Deakstadieđáhus: Teoría y práctica de la lógica proposiciona