Deakstadieđáhus: Lógica combinatoria