Lógica proposicional e de predicados e as técnicas fundamentais de demonstração de um curso introdutório de matemática discreta.
41 cards · basic cards · AI-written, checked twice. Edit anything.
- O que é uma proposição?
- Um enunciado declarativo que é verdadeiro ou falso, mas não ambos.
- O que é um valor de verdade?
- A propriedade de ser verdadeiro ou falso.
- Defina a conjunção (E) em lógica.
- A operação lógica em que p E q é verdadeira somente quando tanto p quanto q são verdadeiras.
- Defina a disjunção (OU) em lógica.
- A operação lógica em que p OU q é verdadeira quando pelo menos uma de p ou q é verdadeira.
- Defina a negação (NÃO) em lógica.
- A operação lógica em que NÃO p inverte o valor de verdade de p.
- O que é um enunciado condicional?
- Um enunciado p IMPLICA q, que é falso somente quando p é verdadeiro e q é falso.
- O que é um enunciado bicondicional?
- Um enunciado p se e somente se q (p SE E SOMENTE SE q), verdadeiro quando p e q têm o mesmo valor de verdade.
- Qual é a recíproca de p IMPLICA q?
- O enunciado q IMPLICA p.
- Qual é a inversa de p IMPLICA q?
- O enunciado (NÃO p) IMPLICA (NÃO q).
- Qual é a contrapositiva de p IMPLICA q?
- O enunciado (NÃO q) IMPLICA (NÃO p).
- O que é uma tautologia?
- Uma proposição que é verdadeira sob toda interpretação ou atribuição de verdade possível.
- O que é uma contradição?
- Uma proposição que é falsa sob toda interpretação ou atribuição de verdade possível.
- O que é uma contingência?
- Uma proposição que é verdadeira sob algumas interpretações e falsa sob outras.
- Enuncie a Lei de De Morgan para a conjunção.
- NÃO (p E q) é logicamente equivalente a (NÃO p) OU (NÃO q).
- Enuncie a Lei de De Morgan para a disjunção.
- NÃO (p OU q) é logicamente equivalente a (NÃO p) E (NÃO q).
FlashKeepers