Usuario:Fercho/ejercicio 20

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