Lógica Proposicional Flashcards
Qual a Negação de uma Conjunção?
~(p ^ q) ≡ ~p v ~q
Qual a Negação de uma Disjunção?
~(p v q) ≡ ~p ^ ~q
Qual a Negação de uma Condicional?
~(p -> q) ≡ p ^ ~q (MANÉ)
Será VERDADEIRO na CONJUNÇÃO?
TODAS tem que ser verdade
Será VERDADEIRO na DISJUNÇÃO?
BASTA uma ser verdade
Será VERDADEIRO na CONDICIONAL
Só será FALSO quando V->F (Vera Fischer é Falsa)
Quais os casos de equivalência na condicional?
*Vera Fischer Não Pode Ver Queijo: p -> q ≡ ~p v q
*Inverte Negando: p -> q ≡ ~q -> ~p
Qual a equivalencia na bi-condicional?
p <-> q ≡ (~p v q) ^ (~q v p)
Será verdadeiro na bicondicional?
Para ser verdade ambas tem de ser IGUAIS
O que é a recíproca?
p -> q - Se o dia está quente, então eu vou ao parque.
q -> p - Se eu vou ao parque, então o dia está quente.
O que é uma contrária?
p -> q - Se o dia está quente, então eu vou ao parque.
~p -> ~q - Se o dia não está quente, então eu não vou ao parque.
O que é uma contrapositiva?
p -> q - Se o dia está quente, então eu vou ao parque.
~q -> ~p - Se eu não vou ao parque, então o dia não está quente.
O que é a propriedade idempotente?
p ^ p => p | p v p => p
João joga bola ou João joga bola ≡ João joga bola
O que é a propriedade comutativa?
p ^ q => q ^ p | p v q => q v p
João joga bola e come doce ≡ João come doce e joga bola
João joga bola ou come doce ≡ João come doce ou joga bola
O que é a propriedade associativa?
(p ^ q) ^ r <-> p ^ (q ^ r) | (p v q) v r <-> p v (q v r)
O que é a propriedade distributiva?
p ^ (q v r) <-> (p ^ q) v (p ^ r)
p v (q ^ r) <-> (p v q) ^ (p v r)
João joga bola e come doce ou corre ≡ João joga bola ou João corre
João joga bola ou come doce e corre ≡ João joga bola ou come doce e João joga bola ou corre
O que é a propriedade da absorção?
p ^ (p v q) <-> p
p v (p ^ q) <-> p
João joga bola e João joga bola ou corre ≡ João joga bola
João joga bola ou João joga bola e corre ≡ João joga bola
Qual a negação de p <-> q (se e somente se)?
(p_v_q)
Qual a negação do p_v_q (ou, ou)?
p <-> q (se e somente se)
Quais as negações de “Todo … é”?
“Algum … não é…”
“Pelo menos um … não é …”
“Existe … que não é…”
Quais as negações de “Nenhum … é”?
“Algum… é…”
“Pelo menos um… é”
“Existe… que é…”
O que é uma Contingência?
É quando utiliza-se uma Tabela Verdade para resolver uma preposição e todos os valores lógicos obtidos possíveis acarretam em argumentos que podem ser VERDADEIROS e FALSOS
O que é uma Tautologia?
É quando utiliza-se uma Tabela Verdade para resolver uma preposição e todos os valores lógicos obtidos possíveis são sempre VERDADEIROS
O que é uma Contradição?
É um função lógica que quando usada a Tabela Verdade sempre será FALSA
