Ir al contenido

Usuario:Fercho/ejercicio 20

De Wikilibros, la colección de libros de texto de contenido libre.

En una cierta interpretación, el dominio consta de los individuos a, b, c, y hay un predicado de dos cifras, P. P(x, x) es válido para todos los posibles valores de x. Además, P(a, c) es verdadero. En los demás casos, P(x, y) es falso. Calcular los valores de verdad de


a) P(a, b) ^ P(a, c)

b) P(c, b) v P(a, c)

c) P(b, b) ^ P(c, c)

d) P(c, a) → P(c, c)



SOLUCION


Se tiene que Archivo:Pensamiento algorítmico expresión20).jpg es verdadero, que P(a, c) es verdadero, y que P(x, y) es falso.


a) P(a, b) ^ P(a, c)


Archivo:Pensamiento algorítmico tabla20a).jpg


Archivo:Pensamiento algorítmico ejercicio20a).jpg


b) P(c, b) v P(a, c)


Archivo:Pensamiento algorítmico tabla20b).jpg


Archivo:Pensamiento algorítmico ejercicio20b).jpg


c) P(b, b) ^ P(c, c)


Archivo:Pensamiento algorítmico tabla20c).jpg


Archivo:Pensamiento algorítmico ejercicio20c).jpg


d) P(c, a) → P(c, c)


Archivo:Pensamiento algorítmico tabla20d).jpg


Archivo:Pensamiento algorítmico ejercicio20d).jpg