Resultado da Busca
Princípio da Não-Contradição: Uma proposição não pode ser verdadeira e falsa simultaneamente. Representação das proposições: As proposições são representadas por letras minúsculas. Geralmente “p”, “q”, “r” e “s”. Vejamos: “Brasília é a capital do Brasil”, pode ser representada por “q”, e seu valor lógico por; Val (q)= V.
São os seguintes: 1 - Princípio da Identidade. "Uma proposição verdadeira é verdadeira, uma proposição falsa é falsa." Só podemos raciocinar se as proposições forem definidas como verdadeiras ( V) ou falsas ( F ). 2 - Princípio da Não Contradição. "Nenhuma proposição poderá ser verdadeira e falsa ao mesmo tempo."
Primeiramente tratemos do Princípio da Não Contradição que diz: “Uma proposição não pode ser verdadeira e falsa ao mesmo tempo.” Já o segundo Princípio o do Terceiro Excluído: “Toda proposição ou é verdadeira ou é falsa, ou seja, verifica-se sempre um destes casos e nunca um terceiro.”
1) Princípio de não-contradição: ao mesmo tempo. uma proposição não pode ser verdadeira e falsa. 2) Princípio do terceiro excluído: toda a proposição ou é verdadeira ou é falsa. Isto é, verifica-se sempre um destes casos e nunca um terceiro.
O princípio da não-contradição foi (primeiramente) formulado por Aristóteles e diz-nos que uma proposição verdadeira não pode ser falsa e uma proposição falsa não pode ser verdadeira. Nenhuma proposição (na lógica clássica), portanto, pode ser os dois ao mesmo tempo.
I) Princípio da Não Contradição - Uma proposição não pode ser verdadeira e falsa ao mesmo tempo. II) Princípio do Terceiro Excluído - Toda proposição ou é verdadeira ou é falsa (isto é, verifica-se sempre um desses casos e nunca um terceiro). Pelos dois princípios anteriores temos que: Toda proposição tem um e somente
A lógica matemática classifica as proposições baseado em dois princípios: Princípio da Não-Contradição “Uma proposição não pode ser verdadeira e falsa em simultâneo”. Princípio do Terceiro Excluído “Toda proposição ou é falsa, ou é verdadeira, não há uma terceira opção”. Valores Lógicos das Proposições