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