• RSS
  • Delicious
  • Digg
  • Facebook
  • Twitter
  • Linkedin

Lógica de Predicados

Publicado por Ingeniero Sistemas 8 noviembre 2011

Lógica de Predicados

La lógica de predicados está basada en la idea de las sentencias que expresan relaciones entre los objetos, así como sus cualidades y atributos.

Tales cualidades, relaciones o atributos se denominan predicados, los objetos se conocen como argumentos o términos de un predicado.

Existen predicados establecidos y asumidos lógicamente como verdaderos y se denominan axiomas y no requieren de una justificación para establecer su verdad.

La lógica de predicados está conformado por:

A) Letras Proposicionales

B) Conectivos Lógicos:
-> Implicación
<-> Doblee Implicación
^ Conjunción
 \or Disyunción
┐ No

Pasos para demostrar la válidez de una premisa:

  1.  Convertir la premisa en su representación simple, es decir, usando letras.
  2. Determinar el método para demostrar la válidez de la premisa.
  3. Aplicar dicho método y comprobar su veracidad.

Recordemos que para realizar la verificación de un argumento, es necesario incluir todas las premisas que están definidas; de lo contrario la demostración no será válida.

Ejemplo:

1-La raqueta es rosa y es de Juana
2-Juana es estudiante de medicina
3-Angélica y Juana son Amigas
4-Angélica tiene una raqueta rosa

1- P^q (P = la raqueta rosa, q = es de Juana)

2- q -> R (R=Estudiante de medicina)

3- (s ^ q) -> ñ (s=Angélica, ñ=son amigas)

4- s->P

Lógica de Predicados