1. In logic and mathematics, a proposition that is a proper subset of another proposition or a statement that has a specific, well-defined meaning within a formal system
In formal logic, a proper proposition must be either true or false, with no middle ground.
Em lógica formal, uma proposição própria deve ser ou verdadeira ou falsa, sem meio termo.
2. In philosophy, a proposition that relates to a specific object or individual rather than to a universal class
The statement 'Socrates is wise' is a proper proposition because it refers to a specific individual.
A afirmação 'Sócrates é sábio' é uma proposição própria porque se refere a um indivíduo específico.