Voldoende voorwaarde: als P een voldoende voorwaarde voor Q is, dan is Q waar als P waar is, maar als P onwaar is, kan Q zowel waar als onwaar zijn. (contact met mazelenvirus kan mazelen veroorzaken, of niet): als P dan Q. Q, dus; P Noodzakelijke voorwaarde: als P een noodzakelijke voorwaarde voor Q is, dan is Q alleen waar als P waar is (mazelen ontstaan alleen na contact met het virus) : als Q dan P. Q, dus: P