Usuario:Ricardocorrea~eswikibooks

Ricardo Correa Arias

== Ricardo correa arias == estudiante ingenieria electronica de la pontificia universidad javeriana

soluciones para ejercicios de logica

En estos enlaces encontraran las soluciones para algunos ejercicios de logica.

capitulo2,ej6,pag91

1)Sea f(x)quivalente a "x encuentra el error" y sea Q equivalente a "error del programa puede ser corregido" traduzca:

-Entonces tenemos que nos dan el "significado" de:

f(x)="x encuentra el error"

Q=a"error de la pagina puede ser corregido"

Traduzca:

$\forall _{x}$p(x) =>

SOLUCION

______________________________________________________________

capitulo2,ej2.13,pag81

sea P(x,y,z): x+y+z. Dadas las premisas

P(x,0,x) y P(x,y,z) => P(y,x,z)

donde x,y y z son varibles verdaderas, demostrar que 0+x=x; esto es, demostrar que P(o,x,x).

SOLUCION

______________________________________________________________

capitulo2,ej2.24,pag 92

demostrar que x=y sustituido en x=x da lugar a y=x.

SOLUCION

______________________________________________________________

capitulo2,Ej2.20,pag88

Eliminar todas las negaciones que anteceden a los cuantificadores de la siguiente expresion:

∼ $\forall _{x}$z($\in _{x}$ p(x,z)$\land$ ∼ $\forall _{x}$Q(x,z))

SOLUCION

______________________________________________________________

capitulo2,ej1,pag 90

-demostrar que:

($\in$xB)$\land$A=$\in$x(B$\land$A)

suponiendo que A no tiene variable libre:

($\in$xB)$\land$A=$\in$x(B$\land$A)

≡($\in$xB)$\land$

≡$\in$x(B$\land$A)

SOLUCION

______________________________________________________________

capitulo2,ej2.21pag90

expresar en equivalentes:

si x<y e y<z

entonces x<z

si: g(x,y) siginifica que x<y

ahora para trducir esto en la forma:

g(x,y)$\land$G(y,z)=>G(x,z))

SOLUCION

_____________________________________________________________________

EJERCICIOS DE LOGICA DE PROGRAMACION

• ejercicio6.1 pag239por Ricardo Correa

• ejercicio6.2 pagina239por Ricardo correa

• ejercicio6.3 pagina239por Ricardo correa

• ejercicio6.4 pagina241por Ricardo correa

• ejercicio6.5 pagina242por Ricardo correa

• EJERCICIO 5.10 por Ricardo correa

• EJERCICIO 5.11 por Ricardo correa

• EJERCICIO 5.12 por Ricardo correa

• EJERCICIO 5.13 por Ricardo correa

• EJERCICIO 5.14 por Ricardo correa

• EJERCICIO 5.15 por Ricardo correa

• EJERCICIO 5.16 por Ricardo correa

• EJERCICIO 5.17 por Ricardo correa

• EJERCICIO 5.19 por Ricardo correa