Considere a proposição composta “Cátia é advogada se e somente se Lauro é contador”. O conectivo lógico utilizado nessa proposição foi: