Loading presentation...
Prezi is an interactive zooming presentation

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

LÓGICA DE PREDICADOS

LÓGICA PROPOSICIONAL
by

Wenx X

on 8 December 2012

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of LÓGICA DE PREDICADOS

Timeline Calculations 2013 2009 2010 2011 2012 Team 0 + - = 9 8 7 1 2 3 4 5 6 c INTRODUCCION El lenguaje es el instrumento que se utiliza para la comunicación entre humanos. La lógica de predicados está basada en la idea de que las sentencias realmente expresan relaciones entre objetos, así como también cualidades y atributos de tales objetos. Los objetos pueden ser personas, objetos físicos, o conceptos. Tales cualidades, relaciones o atributos, se denominan predicados. Los objetos se conocen como argumentos o términos del predicado.

Al igual que las proposiciones, los predicados tienen un valor de veracidad, pero a diferencia de las preposiciones, su valor de veracidad, depende de sus términos. Es decir, un predicado puede ser verdadero para un conjunto de términos, pero falso para otro. Recordando... Ejemplo NOMBRES COMUNES COMO PREDICADOS ALFABETO LOGICA DE PREDICADOS EJERCICIOS: LOGICA DE PREDICADOS EL LENGUAJE ESTA FORMADO POR FRASES, ENTRE ELLAS PODEMOS DISTINGUIR: FRASES IMPERATIVAS, FRASES INTERROGATIVAS Y FRASES DECLARATIVAS La principal debilidad de la lógica proposicional es su limitada habilidad para expresar conocimiento. Existen varias sentencias complejas que pierden mucho de su significado cuando se las representa en lógica proposicional. Por esto se desarrolló una forma lógica más general, capaz de representar todos los detalles expresados en las sentencias, esta es la lógica de predicados. La definición de lógica, disciplina que estudia métodos de formalización del conocimiento humano "de los métodos de formalización de frases declarativas".
La lógica se clasifica: Lógica proposicional o lógica de enunciados:Se parte de un elemento simple, las frases declarativas simples, las cuales tienen significado ellas mismas o la unión entre ellas, forman una frase. Esto inicia una unidad de comunicación de conocimientos, las cuales se les denomina proposiciones, y toman el valor verdadero o falso. El siguiente predicado es verdadero:
Color [yerba, verde]
El color de la yerba es verde.
El mismo predicado con diferente argumento puede no ser verdadero:
Color [yerba, azul]
El color de la yerba es azul.
Al construir los predicados se asume que su veracidad está basada en su relación con el mundo real.
En lógica de predicados el establecer como verdadero un predicado es suficiente para que así sea considerado. Lógica de predicados: Estudia las frases declarativas, teniendo en cuenta la estructura interna de las proposiciones. Los objetos y las relaciones entre los objetos serán los elementos básicos. Podemos distinguir:

- "Qué se afirma: relación [PREDICADO]

- De quién se afirma: objeto" [PUEDE
SER CUALQUIER COSA ES UNA
VARIABLE]
ES TODO POR HOY...
Definir cual es el sujeto de la proposición y cual es el predicado.
Sócrates es un hombre.
Juan es nadador.
María canta.
Susana esta triste.
Jorge corre de prisa.
Tres es un numero primo.
Este libro es interesante.

AHORA COMO PODEMOS REPRESENTARLOS:

Sea «S» el predicado «es nadador» y sea; j= Juan. Entonces se puede simbolizar la proposición «Juan es nadador» por:
Sj
Donde: j es el termino.
S es el predicado. SÓCRATES ES UN HOMBRE

NICOLÁS TIENE CLASE Conjunto de letras de Predicado (PRED): Se representan mediante letras mayúsculas, EJEMPLO: TODOS LOS ESTUDIANTES DE INFORMATICA SON LISTOS NOMBRES COMUNES COMO PREDICADOS
En Gramática se tiene como predicado un verbo o una estructura más complicada utilizando nombres comunes u otras palabras del lenguaje. En lógica lo importante es saber reconocer el término y predicado recordando que:
Término es una expresión que nombra o describe algún objeto único y el predicado no nombra objetos pero dice algo acerca de ellos.
Tanto para el término como para el predicado se puede utilizar nombres comunes y en algunos casos, dos nombres pueden ser el término o predicado.
Ejemplo:
1)"El hombre que viajó a Colombia“
Utiliza como término dos nombres comunes
"hombre" y "Colombia“
2)Mario es un estudiante En donde:
P: 'Mario" es el término
Q: "un estudiante" es el predicado
Se representa por: Qp
Algunas veces hay que tener cuidado en distinguir los términos de los predicados. Considérese:
Sócrates es un hombre.
Todos sabemos que «Sócrates» es un término. Se puede pensar también que «hombre» es un término, pero no identifica una persona o cosa particular.
En la gramática castellana «hombre» se denomina nombre común precisamente porque no es el nombre de ninguna persona u objeto en particular.
Desde el punto de vista de la Lógica es conveniente dejar que nombres comunes sirvan como partes del predicado; así, en la proposición anterior la frase «es un hombre» es el predicado, y el nombre común «hombre» por sí mismo no es un término.
Algunas otras proposiciones en las que los nombres comunes sirven como partes de predicados son:
Chicago es una ciudad.
Einstein fue un científico brillante.
Marte es un planeta.
En estas tres proposiciones los nombres comunes «ciudad», «científico» y«planeta» son partes de los predicados. 1. Julio es un estudiante.
2. Azul y amarillo son colores complementarios.
3. Esta anémona marina es un animal.
4. Estos pinos de California son árboles gigantes.
5. 3/4 es un número racional.
6. María es una enfermera.
7. El padre de Tomás es ingeniero.
8. Larry es un chico.
9. El Sr. Pérez es un corredor.
10. El Sr. Alonso es un profesor de Historia.
Full transcript