Me ajudem, expliquem a resposta por favor? ! dadas as sentenças a e b da lógica de primeira ordem, onde
Me ajudem, expliquem a resposta por favor? !dadas as sentenças a e b da lógica de primeira ordem, onde a é a sentença ∀x (¬p(x) -> q(x)) e b é a sentença ¬∃x¬p(x)v∀xq(x) , tem-se que:
a) a é consequência da lógica de b.
b) b é consequência da lógica de a .
c) a é consequência da lógica de b.
d) b é consequência da lógica de a.
e) b é consequência da lógica de a.
1 Resposta
Clique aqui para adicionar a sua resposta.
Mais perguntas de Lógica
Lógica
Lógica
O seguinte trecho de texto é um problema de lógica: João tem um irmão mais novo. João é o irmão mais velho.
Alícia Galvão - há 2 anos
Lógica
thayaraoliversantos
Pelo que eu entendi é a C