Flashcard sobre Equivalência Lógica e Negação de Proposições

decore os principais temas de raciocínio lógico (equivalência lógica e negação de proposições) com este flashcard de forma simples e rápida.

Equivalência Lógica e Negação de Proposições
29 cards
0 de 29 resolvidos0%
1

Pergunta Interativa

O que é equivalência lógica em raciocínio lógico?

Conteúdo Completo

1.
O que é equivalência lógica em raciocínio lógico?
É quando duas proposições têm sempre o mesmo valor lógico.
Duas proposições são logicamente equivalentes quando, em todas as situações possíveis, ambas são verdadeiras ou ambas são falsas, como em p ? q.
2.
Complete: A negação da proposição p ∧ q é ___.
¬p ∨ ¬q
Usando a Lei de De Morgan, a negação da conjunção p ? q é ¬p ? ¬q, invertendo o conectivo e negando cada proposição.
3.
Certo ou errado: A proposição p → q é logicamente equivalente a ¬p ∨ q.
Certo
A implicação p ? q é verdadeira, exceto quando p é verdadeiro e q é falso; sua equivalência é ¬p ? q.
4.
Em uma prova, você vê a proposição ¬(p ∨ ¬q). Qual expressão equivalente você pode usar para facilitar a resolução?
¬p ∧ q
Aplicando a Lei de De Morgan, negamos a disjunção: ¬(p ? ¬q) = ¬p ? ¬¬q = ¬p ? q.
5.
Liste as leis de De Morgan para negação de conjunção e disjunção.
¬(p ∧ q) = ¬p ∨ ¬q e ¬(p ∨ q) = ¬p ∧ ¬q
As leis de De Morgan transformam uma negação de conjunção em uma disjunção das negações, e vice-versa, facilitando simplificação lógica.
6.
Qual das alternativas representa a negação correta da proposição 'Se chove, então uso guarda-chuva'? a) Chove e não uso guarda-chuva, b) Uso guarda-chuva ou não chove, c) Não chove ou uso guarda-chuva, d) Chove ou uso guarda-chuva
a) Chove e não uso guarda-chuva
A negação da condicional p ? q é p ? ¬q, ou seja, 'Chove e não uso guarda-chuva'.
7.
A negação da proposição ¬(¬p ∨ q) é qual das opções a seguir? a) p ∧ ¬q, b) ¬p ∨ q, c) ¬p ∧ ¬q, d) p ∨ q
a) p ∧ ¬q
Negar ¬(¬p ? q) elimina a negação dupla, aplicando a Lei de De Morgan e dupla negação: p ? ¬q.
8.
Complete: A equivalência lógica entre a condicional p → q e a disjunção ___ é fundamental para simplificar expressões.
¬p ∨ q
A equivalência p ? q ? ¬p ? q é usada para converter condições em disjunções, facilitando a manipulação lógica.
9.
Certo ou errado: A proposição p ∨ ¬p é uma tautologia.
Certo
p ? ¬p é sempre verdadeira, independentemente do valor de p, caracterizando uma tautologia.
10.
Se uma proposição P é equivalente a Q, o que você pode afirmar sobre as suas negações ¬P e ¬Q?
São equivalentes também.
Se P ? Q então ¬P ? ¬Q, pois a equivalência mantém-se com a negação.
11.
Complete a equivalência: ¬(p → q) é equivalente a ___.
p ∧ ¬q
A negação da condicional p ? q é p ? ¬q, que representa a situação em que p é verdadeiro e q é falso.
12.
Qual é a equivalência lógica correta para a bicondicional p ↔ q?
(p → q) ∧ (q → p)
A bicondicional é verdadeira quando ambas as implicações p ? q e q ? p são verdadeiras.
13.
Certo ou errado: A negação da bicondicional p ↔ q é (p ∧ ¬q) ∨ (¬p ∧ q).
Certo
A negação da bicondicional é a proposição exclusiva, ou seja, p e q têm valores opostos.
14.
Em um circuito digital, a porta XOR corresponde a qual operação lógica relacionada à bicondicional?
Negação da bicondicional
XOR é verdadeira quando entradas são diferentes, ou seja, ¬(p ? q) = p ? q.
15.
Liste as equivalências básicas para a negação de proposições compostas usando os conectivos ∧ e ∨.
¬(p ∧ q) = ¬p ∨ ¬q e ¬(p ∨ q) = ¬p ∧ ¬q
Essas são as Leis de De Morgan, essenciais para manipulação e simplificação de expressões lógicas.
16.
Multipla-escolha: Qual destas proposições é uma contradição? a) p ∨ ¬p, b) p ∧ ¬p, c) p → p, d) p ∨ q
b) p ∧ ¬p
p ? ¬p é sempre falsa, caracterizando contradição.
17.
Complete: A negação da proposição 'Todos os alunos estudam' pode ser expressa como '_____ alunos não estudam'.
Alguns
A negação do quantificador universal é o existencial, então a frase nega que todos estudem, afirmando que alguns não estudam.
18.
Certo ou errado: A negação de uma tautologia é uma contradição.
Certo
Por definição, a negação da proposição sempre verdadeira (tautologia) resulta em uma proposição sempre falsa (contradição).
19.
Em lógica, a equivalência entre p e q é simbolizada por qual operador?
↔ (bicondicional)
O operador ? representa que p e q têm o mesmo valor lógico.
20.
Complete com o símbolo correto: A negação da proposição p é representada por ___.
¬p
O símbolo ¬ indica a negação lógica de p, invertendo seu valor de verdade.
21.
Qual é o significado da expressão ¬(p ∧ ¬q)?
¬p ∨ q
Aplicando a Lei de De Morgan, essa negação se transforma numa disjunção: ¬p ? q.
22.
Sequência: Ordene as etapas para negar a proposição p → q corretamente.
1) Escreva p → q como ¬p ∨ q; 2) Negue: ¬(¬p ∨ q); 3) Use De Morgan: p ∧ ¬q
Ao negar a condicional, converta primeiro para disjunção, depois negue e aplique De Morgan para simplificar.
23.
Qual a equivalência lógica entre a condicional e a negativa do antecedente ou consequente?
p → q ≡ ¬p ∨ q
A implicação p ? q é equivalente a ¬p ? q, facilitando provas e simplificações.
24.
Certo ou errado: A negação de p ∨ q é ¬p ∧ ¬q.
Certo
Pela Lei de De Morgan, ¬(p ? q) = ¬p ? ¬q.
25.
Multipla-escolha: Para a expressão ¬(p ∨ q), a forma equivalente é: a) ¬p ∨ ¬q, b) ¬p ∧ ¬q, c) p ∧ q, d) p ∨ q
b) ¬p ∧ ¬q
A Lei de De Morgan nos mostra que a negação da disjunção é a conjunção das negações.
26.
Complete: A negação da frase 'Se estiver frio, eu visto casaco' é 'Está frio e ___'.
Não visto casaco
A negação da condicional p ? q é p ? ¬q, ou seja, 'Está frio e não visto casaco'.
27.
Qual o valor lógico da proposição (p ∧ ¬p)?
Sempre falso (contradição)
A conjunção de uma proposição com sua negação é impossível de ser verdadeira.
28.
Liste os passos para provar que duas proposições são logicamente equivalentes utilizando tabelas verdade.
1) Fazer colunas para p, q e suas combinações; 2) Calcular valores para cada proposição; 3) Comparar colunas dos resultados
Se as colunas finais forem iguais para todas as linhas, as proposições são equivalentes.
29.
Certo ou errado: A equivalência ¬(¬p) ≡ p é válida.
Certo
A dupla negação cancela-se, mantendo o valor lógico original de p.