Na condicional p -> q, dizemos que p é condição suficiente para q, e q é condição necessária para p. Esse conceito é frequentemente explorado pela AOCP para confundir o candidato sobre a ordem das proposições.
Na frase "Se chover, a colheita estará garantida", chover é: