Lógica para computação

Summary:

Bom dia! Gostaria de que vocês me ajudassem a sólucionar essas duas questões sobre interpretações

Lógica para computação

Luciana (guest) 02 Dec 2012 14:55

Questão 04: Seja I uma interpretação sobre o conjunto dos números ℤ , tal que I[a] = -10, I[b] = 0, I[x]= 20, I[p(x)]= T, se e somente se, xI < 0, I[r(x)] = T, se e somente se, xI >= 0, I[q(x)] = T, se e somente se, xI é ímpar. Determine o resultado da interpretação de cada uma das fórmulas a seguir segundo I.
1. ( ∃x ) ( p ( x )∧¬r ( a ) )∧( (∀ y ) p ( y ) →( ∃ x ) ( q ( x)∨r ( x) ) )
2. ¬( ∃z ) ( p ( z ) →(∀x ) ( q( z )∧r ( x ) ) )∧( (∀y ) p( y ) →( ∃x ) r ( x) )

Questão 05: Seja I uma interpretação sobre o conjunto dos números ℕ , tal que I[a] = 50, I[b] = 23, I[y]= 2, I[p(x,y)]= T, se e somente se, xI + 3 > yI, I[r(x)] = T, se e somente se, xI é primo, I[f(x)] = x *2, I[g(x,y)] = x + y. Determine o resultado da interpretação de cada uma das fórmulas a seguir segundo I.
a) (∀x ) ¬( p ( x,y )∧r ( y ) )∨( ( ∃x ) p ( x,a)∧( ∃ y ) ( r ( y ) →r ( b ) ) )
b) (( ∃ y ) p( a,y )∨(∃x ) r ( f ( x ) ) )∧(∀x ) ( ( p( x,g( b,a) )∨r ( x ) ) → p( f ( x ) ,x )∨r ( g( x,y ) ) )

leonardo (guest) 14 May 2013 15:52

Provar com logica de predicados
Se Socrates morreu, ele morreu quando ele ainda estava vivo ou quando ele estava morto.
Mas ele n~ao morreu enquanto ele estava vivo, uma vez que com certeza, ele estava vivo,
e como tal n~ao poderia estar morto. Mas muito menos quando ele estava morto, por
que desta forma ele teria morrido duas vezes. Portanto, Socrates n~ao morreu.