P is een voldoende voorwaarde voor Q Q is een noodzakelijke voorwaarde voor P P = antecedens (van Dale: antecedens is 1ste voorstel) Q = consequens (van Dale: gevolgtrekking)