ANTUNEZ DE MAYOLO
FACULTAD DE CIENCIAS
Curso:
Pensamiento lógico Matemático
Docente:
Msc. Giovanna Coral Suarez
Escuela Profesional:
Ing. De Sistemas e Informática
LOGICA DE PRIMER ORDEN
Predicados
Constantes de Individuos
Variables de Individuos
Cuantificadores
Conectivos
Argumentos
PREDICADOS
CONSTANTES DE INDIVIDUOS
Una entidad no tiene que existir para que se pueda hablar acerca de ella, de
modo que la lógica de primer orden tampoco hace supuestos acerca de la
existencia o no de las entidades a las que refieren sus constantes de
individuo
VARIABLES DE INDIVIDUOS
CUANTIFICADORES
CONECTIVOS
La lógica de primer orden incorpora además las conectivas de la lógica
proposicional. Combinando las conectivas con los predicados, constantes,
variables y cuantificadores
Conectivas Logicas
ARGUMENTOS
Considérese el siguiente argumento clásico:
P1 0 es un número.
P2 El sucesor de un número es siempre un número.
P3 Dos números nunca tienen el mismo sucesor.
P4 0 no es el sucesor de número alguno.
P5 Si P es una propiedad tal que (a) cero tiene la propiedad P, y (b)
siempre que un número N tenga la propiedad P el sucesor de N
también tendrá la propiedad P, entonces todos los números tendrán la
propiedad P.
GRAMATICA
REGLA DE INFERENCIA
Si A, entonces B
A Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podría
ser:
DEMOSTRACIÓN
AXIOMAS
SEMANTICA