Deakstadieđáhus: Proposiciones categóricas