Usuario:Fercho/ejercicio 18
Apariencia
Dado el universo descrito en el ejercicio 17, determinar los valores de verdad paraArchivo:Pensamiento algorítmico ejercicio18a).jpg, Archivo:Pensamiento algorítmico ejercicio18b).jpg, y Archivo:Pensamiento algorítmico ejercicio18c).jpg.
SOLUCION
Archivo:Pensamiento algorítmico ejercicio18a).jpg es V porque ¬Q(a,b) es V.
Archivo:Pensamiento algorítmico ejercicio18b).jpg es F porque Q(b,a) es F.
Archivo:Pensamiento algorítmico ejercicio18c).jpg es una expresión F porque aunque el predicado Archivo:Pensamiento algorítmico ejercicio18c0).jpg sea V debido a que Q(a,a), Q(b,b), Q(c,c) son V, el otro es F porque Archivo:Pensamiento algorítmico ejercicio18c1).jpg, y Archivo:Pensamiento algorítmico ejercicio18c2).jpg son F.