ejercicios propuestos de proposicion

1) no toda persona tiene un hermano

h:hermano
p:persona
q:padre
m:madre

∃x∃y{q(x,p)∧m(y,p)∧-h(p)}

2)Julia es abuela de Ana

g:abuela
j:julia
a:ana

g(j,a)     ∃x{j(x,a)-> g(j,a)}

3)Ana tiene un unico hermano hombre

h:hombre
p:hermano
a:ana

∀x∀y{a(x,p)∧p(y,h)}

4)ana y ernesto son hermanos o medio hermanos
z:medio hermanos
A:ana
E:ernesto
p:padre
m:madre
q:padrastro
r:madrastra

h(a,b)
∃x∃y{p(x,a)∧m(y,a)∧p(x,e)∧m(y,e)}
∃x{a(y,x)∧e(x,y)V(a(y,q) ∧e(x,r)->h(x)Vz(x,y))}

5)Todo nuemro tiene un secesor

n:numero
s:sucesor

∀x{N(x,s)}