Considere a sentença:

Carlos conhecer as técnicas de demonstração é condição necessária para que Carlos saiba fazer demonstrações matemáticas.

Assinale a opção que corresponde a esta afirmação sob a forma “se ____, então _____”.