Deakstadieđáhus: Lógica: el razonamiento deductivo formal