Raciocinio Logico Matematico Flashcards
Semana 01 (17 cards)
O que significa dizer que duas proposições são logicamente equivalentes?
Significa que elas possuem a mesma tabela-verdade, ou seja, apresentam os mesmos valores lógicos em todas as situações.
Qual é a equivalência da condicional p→q pela contrapositiva?
p→q ≡ ~q→~p
Qual é a equivalência da condicional p→q ?
p→q ≡ ~p∨q
Qual é a equivalência da disjunção inclusiva p∨q ?
p∨q ≡ ~p→q
Qual é a equivalente da negação da condicional p→q?
~(p→q) ≡ p∧~q
Qual é a equivalência da bicondicional p↔q?
p↔q ≡ (p→q)∧(q→p)
Qual é a equivalência da dupla negação?
~(~p) ≡ p (retorna o termo original)
Qual é a equivalente da negação da conjunção p∧q (Lei de De Morgan)?
~(p∧q) ≡ ~p∨~q
Troca da conjunção, por disjunção inclusiva e negar os dois lados
Qual é a equivalente da negação da disjunção p∨q (Lei de De Morgan)?
~(p∨q) ≡ ~p∧~q
De disjunção inclusiva para Conjunção e nega os dois lados
Qual é a equivalência da conjunção de condicionais com mesmo consequente?
(p→r)∧(q→r) ≡ (p∨q)→r
Qual é a equivalência da conjunção de condicionais com mesmo antecedente?
(p→q)∧(p→r) ≡ p→(q∧r)
Como negar a conjunção p∧q de forma condicional?
~(p∧q) ≡ p→~q / q→~p
(nego o segundo elemento, independente da ordem, altero conjunção para condicional)
Como negar a proposição: ‘Se João é feliz, então ele canta’?
João é feliz e ele não canta (p∧~q)
(mantenho o primeiro, troco por conjunção e nego o segundo)
Como transformar a disjunção exclusiva pVq em equivalência?
pVq ≡ (~p) V (~q) / (~p) ↔ q
Manter a disjunção exclusiva e negar os dois lados.
ou trocar para Bicondicional e negar um dos lados.
Como tranformar a bicondicional p↔q em equivalente ?
p↔q ≡ (p→q)∧(q→p)
Bicondicionais invertidas com conjunção.
“ir e voltar”
p↔q ≡ (~p) ↔ (~q)
Manter a Bicondicional e negar os dois lados
p↔q ≡ (~p) V q
p↔q ≡ p V (~q)
Trocar a bicondicional por disj. exclusiva e negar um dos lados
Qual é a equivalente da negação da disjunção exclusiva pVq ?
~(pVq) ≡ p ↔ q
Trocar a disj. exclusiva por bicondicional ou
~(pVq) ≡ (~p) V q / p V (~q)
Manter a disj. exclusiva e negar um dos lados.
Qual é a equivalente da negação da Bicondicional p↔q ?
~(p↔q) ≡ p V q
Trocar para disj. exclusiva
~(p↔q) ≡ (~p) ↔ q
~(p↔q) ≡ p ↔ (~q)
Manter a Bicondicional e e negar um lado
~(p↔q) ≡ (p∧~q) v (q∧~p)
Uma disj. inclusiva e duas conjunções invertidas com uma negação.