Quantificador existencial
PiR2 :: Matemática :: Álgebra
Página 1 de 1
Quantificador existencial
por JeffersonPe Seg 28 Set 2015, 21:00
Considere as fórmulas
A:∃x.P(x)→ ∃x.Q(x); e B: ∃x.(P(x) → Q(x)).
a. A→B é uma tautologia?
b. B→A é uma tautologia?
c. A e B são logicamente equivalentes?
Desde já, muito obrigado.
A:∃x.P(x)→ ∃x.Q(x); e B: ∃x.(P(x) → Q(x)).
a. A→B é uma tautologia?
b. B→A é uma tautologia?
c. A e B são logicamente equivalentes?
Desde já, muito obrigado.
JeffersonPe- Iniciante
- Mensagens : 12
Data de inscrição : 14/11/2013
Idade : 34
Localização : Toledo, Paraná, Brasil
Tópicos semelhantesPiR2 :: Matemática :: Álgebra
Página 1 de 1
Permissões neste sub-fórum
Não podes responder a tópicos|
|
|
