Flashcard FC98673
O que estabelece o princípio da não contradição na lógica bivalente?
Lógica de Proposições
CEBRASPE (CESPE) · 2019
O que estabelece o princípio da não contradição na lógica bivalente?
Mostrar resposta e comentário
Resposta
Não é possível que uma proposição e sua negação sejam verdadeiras simultaneamente.Explicação:
Na lógica bivalente cada proposição admite apenas dois valores: verdadeiro ou falso.
O princípio da não contradição afirma simbolicamente \( \neg(p \land \neg p) \), impedindo que \(p\) e \(\neg p\) sejam verdadeiros ao mesmo tempo.
Relaciona-se ao princípio do terceiro excluído \( p \vee \neg p \), que garante ausência de outros valores.
Exemplo:
Se p = "a porta está fechada", não pode ocorrer que p seja verdadeira e \(\neg p\) também seja verdadeira ao mesmo tempo.
Simbolicamente: \(p = V \Rightarrow \neg p = F\), então \(p \land \neg p = F\) e \(\neg(p \land \neg p) = V\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Proposições
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/94255
Conteúdo do catálogo FC Concursos · Atualizado em