Please enable JavaScript.
Coggle requires JavaScript to display documents.
Noções de lógica - Coggle Diagram
Noções de lógica
Proposição
Oração declarativa
Sentido completo
Usamos quantificadores (∃, ∀) para transformar sentenças abertas em proposições.
Afirmativa/Negativa
Princípio da não-contradição
Ou verdadeira ou falsa
Princípio do terceiro excluído
Somente verdadeira ou falsa
Proposição composta
É formado por mais de uma proposição simples ligadas por operadores lógicos (conectivos).
Classificação
Contradição
Tautologia
contingência
Principais operadores lógicos
Conjunção ( ∧ )
Para ser verdadeira ambas as proposições devem ser verdadeira.
p ∧ q (p e q)
Disjunção inclusiva ( ∨ )
Para ser verdadeira uma ou ambas as proposições devem ser verdadeiras.
p v q (p ou q)
Disjunção exclusiva (⊕)
Para ser verdadeira somente uma das proposições deve ser verdadeira
p ⊕ q (ou p ou q)
Condicional (→)
Para ser verdadeira p e q devem ter o mesmo valor ou q ser afirmativa.
p → q (se p, então q)
Bicondicional (↔)
Para ser verdadeira ambas as proposições devem possuir o mesmo valor
p ↔ q ( p se e somente se q)
Relação de equivalência
Negação das proposições
Propriedades operatórias
