Patrick, também tive essa dúvida e errei.. mas depois compreendi.
É preciso discernir as condições suficientes e necessárias para entender.
Observe a proposição:
"Se P(x), Q(x) e R(x) são verdadeiros então S(x) é verdadeiro."
P(x), Q(x) e R(x) serem verdadeiros é uma condição suficiente para S(x) ser verdadeiro.
S(x) é uma condição necessária para P(x), Q(x) e R(x) serem verdadeiros.
S(x) pode ser verdadeiro por diversos outros motivos.. não depende só de P,Q e R serem verdadeiros.
Um exemplo para ilustrar melhor:
Se ele é catarinense, então ele é brasileiro.
Ser catarinense é uma condição suficiente para ser brasileiro.
Ser brasileiro é uma condição necessária para ser catarinense.. pois você tem que ser brasileiro para ser catarinense. Contudo o fato de você ser brasileiro não significa dizer que é catarinense.
Isso vem do assunto de lógica, tabelas verdade.. da parte condicional (se A então B)
Não sei se fui claro.. essas assertivas dão um nó na cabeça hehe