Uma proposição pode ser classificada como uma construçã

Uma proposição pode ser classificada como uma construção gramatical, uma sentença, com valor lógico. Observe a seguinte proposição:
Se Carlos é funcionário público e Ana servidora pública, então Carlos é funcionário público se e somente se Ana for servidora pública.
Analisando a lógica desta proposição é possível afirmar que trata-se de uma