Condizione sufficiente, vero-funzionale

Q → P