estructuras discretas unidad 2

4
Universidad Fermín Toro Facultad de Ingeniería. CALCULO DE PREDICADOS AUTOR: ORVELIO VINASCO C.I 20258527

Upload: orvelio-vs

Post on 14-Apr-2017

194 views

Category:

Internet


5 download

TRANSCRIPT

Page 1: Estructuras discretas unidad 2

Universidad Fermín Toro Facultad de Ingeniería.

CALCULO DE PREDICADOS

AUTOR:ORVELIO VINASCO

C.I 20258527

Page 2: Estructuras discretas unidad 2

RESUMEN DE UNIDAD 2 PREDICADOS Hay unos breves pasos que podemos tomar en consideración de lo que aprendimos al usar la guía disponible en la materia por SAIA ESTRUCTURAS DISCRETA.

LOGICA CONOCIMIENTO

Lógica de predicadosLógica proposicional

CUADRO COMPARATIVO

(P(X))

Page 3: Estructuras discretas unidad 2

TIPOS DE PREDICADOS Como bien estudiando un poco los temas de la Unidad 2, podemos notar comparando con los tipos de predicados que no todo los verbos son iguales esto se refiere a que: correr, come, muelen, expresan el comportamiento del sujeto. Como también hay verbos, esta, son, es, clasifican al sujeto. Por esta razón esta variación permite tener 2 tipos de predicados que son:

• Predicado Verbal: Se compone de una frase verbal expresando la idea de acción "El árbol pertenece al mundo de la naturaleza".

• Predicado Nominal: (ser, estar o parecer) "El mejor camino, el recto", "Las calles de la ciudad son estrechas y tortuosas".

Page 4: Estructuras discretas unidad 2

EXPRESION DE PREDICADOS • Ejemplo de predicado:

• Si susana es alta, entonces juana es baja. Expresiones (x) <Es alta> (y) <Es baja>; Alta (Susana) -> Baja (Juana)

• P = TODA LAS PALOMAS VUELANQ = TODA LAS AVES TIENEN PLUMASR = LUEGO TODA LAS PALOMAS SON AVES(P&Q) ->R