Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
INTRODUCCIN
INTRODUCCIN
La
lgica proposicional ?.
La lgica proposicional es un sistema formal diseado para analizar ciertos tipos de argumentos. En lgica proposicional, las frmulas representan proposiciones y las conectivas lgicas son operaciones sobre dichas frmulas, capaces de formar otras frmulas de mayor complejidad.
La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas. Un argumento, por ejemplo es una inferencia, donde las premisas son los datos o expresiones conocidas y de ellas se desprende una conclusin. Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.
Inductiva: (de lo particular a lo general) . Deductiva: (de lo general a lo particular). En este caso se encuentran MPP: Modus Ponendo Ponens y MTT: Modus Tollendo Tollens que de acuerdo a la tabla de verdad de la condicional son dos formas de establecer una inferencia vlida. Transductiva: (de particular a particular o de general a general). Abductiva: es semejante a la deductiva, al igual que el caso inductivo y transductivo no es una forma vlida de obtener conclusiones en matemticas o en lgica.
CLCULO DE PREDICADOS
En trminos de lgica hay que distinguir entre objetos y propiedades que satisfacen o no esos objetos, de tal manera que hablaramos de propiedades como predicados y de objetos como sujetos.
Ejemplos:
CLCULO DE PREDICADOS
Muchas proposiciones lgicas involucran sujetos u objetos, y su valor de verdad depende de estos. Ejemplo: Ana y Mara son hermanas : V Pedro y Juan son hermanos : F H(a, m) tiene 2 argumentos o es de aridad 2. H(p, j) tiene 2 argumentos o es de aridad 2. Llamamos predicado a la propiedad que se esta considerando, ejemplo: Ser hermanos Ser numero primo
A los sujetos u objetos los llamamos trminos. Ejemplo: Pablo es alumno. Se simboliza de la siguiente forma, donde Pablo es el sujeto y es alumno es el predicado: A(p) tiene un argumento que es p
LOS CUANTIFICADORES
Los cuantificadores son smbolos utilizados para indicar cuntos elementos de un conjunto dado cumplen con cierta propiedad. Existen muchos tipos de cuantificadores, pero quizs los ms estudiados y utilizados sean:
CUANTIFICADOR UNIVERSAL CUANTIFICADOR EXISTENCIAL
LOS CUANTIFICADORES
El clculo de predicados permite tambin el uso de cuantificadores para referirse a colecciones de objetos. Son 2 cuantificadores: Universal o General Todos los gatos tienen cola. Existencial o Particular Existen nmeros primos.
LOS CUANTIFICADORES
Podemos simbolizar los cuantificadores, estos pueden ser, segn el lenguaje natural. UNIVERSALES Todo, ningn o ninguno, cada, cualquiera, la forma de simbolizar es (conjuncin) o tambin as: , si
LOS CUANTIFICADORES
Podemos simbolizar los cuantificadores, estos pueden ser, segn el lenguaje natural. PARTICULARES Algn, algunos, algn no, hay un, ciertos, ciertos no, la forma de simbolizar es (disyuncin) o tambin as: , si pongo (x) Se lee algn x
o existe un x
El Universo del Discurso o Dominio es el conjunto de individuos considerados bajo un cierto contexto. A cada individuo se identifica por una constante nica.
Predicados
Un predicado como por ejemplo Mara es la madre de Juan se puede escribir. M( m, j) donde el smbolo M es el predicado es madre de, m,j representan los individuos considerados. Obsrvese que el orden es importante.
Predicados
El nmero de argumentos se denomina la aridad del predicado. Los valores de verdad de predicados binarios se pueden dar en una tabla: filas son el 1er argumento y columnas el 2do argumento Ejemplo: El predicado mayor que '>'
gato(Tom) tieneCola(Tom).
Variables y Particularizaciones
Muchas veces es deseable no particularizar el individuo. En ese caso se puede indicar mediante una variable, Ejemplo: x, y, z. Ejemplos: gato(x) tieneCola(x) madre(x, y) ~madre(y,x) As mismo, podemos dar un nombre a la expresin, ejemplo: A = gato(x) tieneCola(x)
Particularizacin
Las variables pueden sustituirse por elementos del universo de discurso. Para indicar que la variable x se reemplaza por Tom' se utiliza la siguiente notacin Ejemplo:
Cuantificador Universal
Con frecuencia se tienen predicados que aplican a todos los individuos de un dominio. Esto se indica mediante del cuantificador universal.
xA
se lee para todo A se denomina el mbito o alcance La variable x esta ligada por el cuantificador (una variable no ligada esta libre).
Cuantificador Particular
Nos permite indicar que el predicado es verdadero para al menos un elemento del dominio. Esto se indica as.
xA
y se lee Existe al menos un x tal que A
Cuantificadores
EJEMPLOS: Nadie es perfecto. Toda persona tiene una madre. Todos los perros son mamferos. Algunos perros son marrones.
Interpretacin y Validez
Para poder determinar la verdad o falsedad de una expresin en clculo de predicados es necesario tener: El universo del discurso claramente definido, una constante nica asignada a cada trmino del universo del discurso, un trmino del universo del discurso asignado a cada variable libre, y una asignacin para cada predicado dentro de la expresin.
De forma similar, el cuantificador existencial se interpreta de la siguiente manera: xP(x) P(a1) P(a2) P(an)