Presentacin de PowerPoint

Inteligencia Artificial Validez de Predicados Jose Fernando Cahum Pech Julia Mara Hernndez SolisDaniel Aminadab Puc Nahuat Las tablas de verdad sirven no solo para definir los conectores, sino tambin para probar la validez de las oraciones. Si se desea considerar una oracin, se construye una tabla de verdad con una hilera por cada una de las posibles combinaciones de valores de verdad correspondientes a los signos propositivos de la oracin. Se calcula el valor de verdad de toda la oracin, en cada una de las hileras. Si la oracin es verdadera en cada una de las hileras.

Es un enunciado que puede ser clasificado como falso o verdadero.

Mara es Alta El dos es nmero primo X + 5 = 8 Qu es una proposicin?Es una sentencia abierta, es decir, que contiene valores variables. Dependiendo del valor que se le d a esas variables, el predicado ser falso o verdadero. Una vez asignado los valores, un predicado se convierte en proposicin Predicado P(x), q(x), r(x,y), s(x,y,z)

P(x): x + 5 = 12

q(x , y): 2x = y

r(x, y, z): x + z = 2yExpresin simblica Se le llama as a conjunto del cual, las variables de un predicado pueden tomar valores. Tambin se le puede llamar conjunto universo o conjunto universal, y se denota por un U.Universo del discursoP(x, y): x + y = 5; donde x, y donde van a tomar sus valores en los nmeros naturales

P(2, 3): 2 + 3 = 5

P(4, 2): 4 + 2 = 5

Conjunto universalVerdaderoFalso proposicin Las proposiciones siguientes, pueden tomar valores del conjunto de los nmeros naturales. Si las variables toman los siguientes valores: x = 2, y = 4, z = 6. cual es el valor de verdad de los siguientes predicados ?A) p(x, y): x =2yB) q(x): x + 12 = 16C) r(x, y, z): xz = 3yD) s(x, y): xy =2yEjemplos A) p(2, 4): 2 =2(4)

B) q(2): 2 + 12 = 16

C) r(2, 4, 6): (2)(6) = 3(4)

D) s(2, 4): (2)(4) =2(4)

Respuestas

Falso Falso