AULA 01 Flashcards
1
Q
Quais as equivalências lógicas da condicional?
A
p→q ≡ ~q→~p
p→q ≡ ~p∨q
2
Q
Qual a equivalência lógica da disjunção inclusiva?
A
p∨q ≡ ~p→q
3
Q
Quais as equivalências lógicas da bicondicional?
A
p↔q ≡ (p→q)∧(q→p)
p↔q ≡ (~p)↔(~q)
4
Q
Qual a negação da disjunção inclusiva?
A
~ (p∨q) ≡ ~p∧~q
5
Q
Quais as negações da conjunção?
A
~ (p∧q) ≡ ~p∨~q
~(p∧q) ≡ p→~q
~(p∧q) ≡ q →~p
6
Q
Qual a negação da condicional?
A
~ (p→q) ≡ p∧~q
7
Q
Qual a negação da disjunção exclusiva?
A
~(p⊻q) ≡ p↔q
8
Q
Quais as negações da bicondicional?
A
~(p↔q) ≡ p∨q
~(p↔q) ≡ (~ p)⊻q
~(p↔q) ≡ p↔(~ q)
~(p↔q) ≡ ( p∧~q) ∨ (q∧~p)
9
Q
(p→r)∧(q→r) é equivalente a:
A
(p→r)∧(q→r) ≡ (p∨q)→r
10
Q
(p→q)∧(p→r) é equivalente a:
A
(p→q)∧(p→r) ≡ p→(q∧r)
11
Q
Todos os conectivos comutam, exceto:
A
o condicional
