Proposições. princípio de não contradição.