FlashKeepers

Discrete Math · College · College and University

Matemática Discreta: Lógica e Demonstrações

Lógica proposicional e de predicados e as técnicas fundamentais de demonstração de um curso introdutório de matemática discreta.

About this set

41 basic cards for College Discrete Math. Set 1 of 3 in Matemática Discreta. It opens with "O que é uma proposição?" and "O que é um valor de verdade?". Study it alongside the other College sets below.

41 cards · basic cards · AI-written, checked twice. Edit anything.

Study this set free Look inside first Get FlashKeepers for iPhone

Opens in your browser, no account. Get the iPhone and iPad app · Android app

O que é uma proposição?
Show answerUm enunciado declarativo que é verdadeiro ou falso, mas não ambos.
O que é um valor de verdade?
Show answerA propriedade de ser verdadeiro ou falso.
Defina a conjunção (E) em lógica.
Show answerA 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.
Show answerA 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.
Show answerA operação lógica em que NÃO p inverte o valor de verdade de p.
O que é um enunciado condicional?
Show answerUm enunciado p IMPLICA q, que é falso somente quando p é verdadeiro e q é falso.
O que é um enunciado bicondicional?
Show answerUm 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?
Show answerO enunciado q IMPLICA p.
Qual é a inversa de p IMPLICA q?
Show answerO enunciado (NÃO p) IMPLICA (NÃO q).
Qual é a contrapositiva de p IMPLICA q?
Show answerO enunciado (NÃO q) IMPLICA (NÃO p).
O que é uma tautologia?
Show answerUma proposição que é verdadeira sob toda interpretação ou atribuição de verdade possível.
O que é uma contradição?
Show answerUma proposição que é falsa sob toda interpretação ou atribuição de verdade possível.
O que é uma contingência?
Show answerUma proposição que é verdadeira sob algumas interpretações e falsa sob outras.
Enuncie a Lei de De Morgan para a conjunção.
Show answerNÃO (p E q) é logicamente equivalente a (NÃO p) OU (NÃO q).
Enuncie a Lei de De Morgan para a disjunção.
Show answerNÃO (p OU q) é logicamente equivalente a (NÃO p) E (NÃO q).

26 more cards in the app

Study this set free