4. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
La lógica formal moderna puede
caracterizarse como una cebolla, en donde
sobre un cálculo base se monta otro que
contiene más recursos expresivos y que
necesita de nuevos elementos, sobre esta
segunda capa se puede montar otras
nuevas según se sigamos ampliando
recursos o quitando restricciones del uso de
estos recursos.
5. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Este cálculo es un calculo hipotético,
porque la deducción se establece en una
relación condicional entre las premisas y la
conclusión (si ocurren las premisas,
entonces ocurre la conclusión)
1. Lógica de proposiciones o de enunciados
El cálculo básico de la lógica
formal es el cálculo de enunciados
o proposicional, cuyas fórmulas
son proposiciones, oraciones o
enunciados sin analizar
internamente.
La relación lógica a estudiar es la
que se establece entre oraciones
que constituyen la unidad mínima de
significación lógica.
L. P. C. Representación del
lenguaje natural tomando
como elemento básico una
representación matemática de
las frases declarativas simples
(o proposiciones)
Ej: Jorge es listo (p)
6. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Elementos de la Lógica de proposiciones o de enunciados
Variables
Se han acordado cinco variables o letras como
símbolos: p, q, r, s, t. Si hacen falta más variables, se recorre a
subíndices:
Así, p = La Tierra es un planeta.
El lenguaje o vocabulario de la lógica proposicional o de enunciados consta
de tres clases de elementos o símbolos: variables, constantes y auxiliares.
7. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Constantes
Constantes o conectores proposicionales son las partículas de significado no
variable que tienen la función de alterar, relacionar o conectar enunciados
atómicos haciéndolos complejos. Los más frecuentes son la negación, la
conjunción, la disyunción, el condicional y el bicondicional.
Negación: ¬. (También: -, ~ )
Representa la partícula lingüística no o cualquiera otras partículas que incluyan
la idea de negación. Por ejemplo: no es el caso que, no pasa que, ni, etc.
También prefijos que indican esta idea como imposible.
Así, la formalización de "La luna no tiene satélites", será ¬p ; habiendo definido
"La luna tiene satélites" con la letra p.
Elementos de la Lógica de proposiciones o de enunciados
8. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Conjunción: (También: · , & )
Representa la partícula lingüística y o cualquier otra que indique la idea de unión, como también,
igualmente, pero.
Así, la formalización de "Marte tiene satélites y Júpiter también", considerando "Marte tiene
satélites" = p y "Júpiter tiene satélites" = q, será p q .
Disyunción: .
Representa la partícula lingüística o. Es preciso advertir que esta partícula tiene dos sentidos: un
inclusivo y otro exclusivo. En sentido inclusivo equivale a y/o, o sea, que incluye la verdad de los
dos enunciados de la disyunción o bien sólo la de uno de los dos. El sentido exclusivo expresa la
idea que la verdad de un miembro es incompatible con la verdad del otro: o uno o el otro, pero no
los dos. El sentido inclusivo es lo que, en general, se adopta a lógica.
Así, la formalización de "Se aprende lógica escuchando a clase o estudiando", siendo "Se
aprende lógica escuchando a clase" = p y "Se aprende lógica estudiante" = q, será p q .
Elementos de la Lógica de proposiciones o de enunciados
9. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Condicional: . (También: )
Representa las partículas lingüísticas si … entonces ... o cualquiera otros que indiquen la idea de
condición, como cuando … entonces... , entonces o una simple "coma". La partícula entonces o
equivalente separa el antecedente del consecuente.
Así, la formalización de "Si llueve, entonces la tierra se moja", con p simbolizando "Llueve" y q,
"La tierra se moja", será p q .
Bicondicional : . (También: )
Representa las partículas lingüísticas si y sólo si … o cualquier otra que indique doble condición,
comoequivale, cuando y sólo cuando, únicamente. Se trata de una condición necesaria y
suficiente.
Así, la formalización de "Es de noche si y sólo si se ha post el sol", con p simbolizando "Es de
noche" y q "Se ha post el sol", será p q.
EJERCICIOS DE FORMALIZACIÓN
10. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
EJERCICIOS DE FORMALIZACIÓN
Observaciones: Simbolizamos la proposición atómica “Llueve” con la variable p, y la proposición “Hace sol”, con la variable q
Escribir la formalización adecuada
1. Llueve y
hace sol
2. Llueve y no
hace sol
3. Llueve o
hace sol
4. Si no llueve,
hace sol
5. No es cierto que
llueva
6. No es cierto que no
llueva
7. Hará sol si y solo si
no llueve
p q p ¬q P V q ¬ P q
¬ p ¬ ¬ p q ¬ p
11. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
EJERCICIOS DE FORMALIZACIÓN
Simbolizamos:
“Llueve” = p
“Hace sol” = q
“Las brujas se peinan” = r
1. Llueve y hace sol, las brujas se peinan
2. 2. No es cierto que si llueve y hace sol las brujas se peinan
3. Las brujas se peinan únicamente si llueve y hace sol
4. Cuando las brujas no se peinan, no llueve o no hace sol
5. Llueve y las brujas no se peinan o bien hace sol y las brujas no se peinan
12. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
EJERCICIOS DE FORMALIZACIÓN
Simbolizamos:
“Las estrellas emiten luz = p; Los planetas
reflejan la luz = q; “Los planetas giran
alrededor de las estrellas”= r
1. Si las estrellas emiten luz, entonces los planetas la reflejan y giran alrededor de ellas
2. Las estrellas emiten luz o los planetas la reflejan y, por otra parte, los planetas giran alrededor de ellas
3. Los planetas reflejan luz si y sólo si las estrellas la emiten y los planetas giran alrededor de ellas
4. Si no es cierto que las estrellas emiten luz y que los planetas la reflejan, entonces éstos no giran alrededor
de ellas
13. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
EJERCICIOS DE FORMALIZACIÓN
Simbolizamos:
“Pablo atiende en clase = p; “Pablo
estudia en casa = q; “Pablo fracasa en los
exámenes” = r; “Pablo es aplaudido =s
1. Si Pablo no atiende en clase o no estudia en casa, fracasará en los exámenes y no será aplaudido
2. Si no es el caso que Pablo atiende en clase y estudia en casa, entonces fracasará en los exámenes y
no es aplaudido
3. Pablo atiende en clase y estudia en casa o, por otra parte, fracasa en los exámenes y no es aplaudido
4. Únicamente si Pablo atiende en clase y estudia en casa, no se dará que fracase en los exámenes y
no sea aplaudido.
14. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
EJERCICIOS DE FORMALIZACIÓN
Otorga ordenadamente, variables,
proposiciones a las diferentes
oraciones de cada caso.
1. “Si escoges tus deseos y tus miedos, no existirá para ti ningún tirano”. Epicteto
2. “Quien tiene un porqué para vivir puede soportar cualquiera como”. Nietzsche
3. “El mundo entero es un escenario y todos los humanos somos unos actores”. Shakespeare
4. “Cuando uno no tiene imaginación, la muerte es poca cosa; cuando uno la tiene, la muerte es
demasiado”. Céline
5. “Ojos que no ven, corazón que no siente”
Vistar lógica de enunciados
15. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Sobre este cálculo básico se desarrolla el siguiente nivel que serán los cálculos de predicados o
cuantificacionales, que se caracterizan por analizar las oraciones en sus componentes, sujeto y predicado, y
porque se puede cuantificar sobre individuos, es decir podemos tratar con todos o con algunos de los elementos
que pueden ser sujetos de una oración.
Es fundamentalmente una lógica de clase donde la relación lógica que se estudia es la pertenencia a un conjunto
o la posesión de propiedades por los distintos individuos de los que se habla.
A diferencia de la lógica de proposiciones, la lógica de predicados es una lógica categorial, porque la deducción
se efectúa según se puedan establecer o no relaciones de pertenencia o de posesión de propiedades de los
individuos con las categorías en lo que agrupan
2. Lógica de predicados o cuantificacional
Jorge es listo
término predicado
16. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Ejemplo
Si todos los hombres son mamíferos, y los
mamíferos tienen pelo, entonces
¿Tendrán los hombres pelo?
Cuando comprendemos que la clase de los hombres está
incluida en la de los mamíferos y ésta en las cosas con pelo
es fácil aceptar que los hombres tienen pelo. Si aceptamos
que las propiedades de una clase general se heredan en las
subclases que forman parte de ella.
2. Lógica de predicados o cuantificacional
17. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Cuando decíamos que se pueden
cuantificar sobre los individuos que
forman parte de las clases, nos referimos
a que esta lógica tiene recursos para
hablar de individuos que están dentro de
un conjunto.
‘Todos’ y ‘Algunos’ son cuantificadores y
por este motivo hablamos de lógica
cuantificacional
2. Lógica de predicados o cuantificacional
19. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Introduce los siguientes (nuevos) elementos:
Predicados, que permiten expresar propiedades o relaciones
entre objetos
Cuantificadores, que permiten expresar la generalidad de los
enunciados (enunciados válidos para todos los objetos de un
cierto tipo o sólo para algunos)
Funciones, que permiten expresar transformaciones de objetos
Constantes y variables, que permiten referirse a objetos
concretos u objetos generales
2. Lógica de predicados o cuantificacional
20. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Cuantificadores
En lógica, teoría de conjuntos y matemáticas en general,
los cuantificadores son símbolos utilizados para indicar cuántos
elementos de un conjunto dado cumplen con cierta propiedad.
El cuantificador universal indica que algo es cierto para todos los
individuos.
Sea A una expresión y sea x una variable. Si deseamos indicar que A es
verdadero para todos los posibles valores de x, escribiremos (∀x) A.
CUANTIFICADORES
27. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
3. Lógica de primer orden
3. Lógica de primer
orden
1. Lógica
proposicional
2. Lógica de
predicados+ =
Tiene la restricción de que sólo se puede utilizar cuantificadores con
elementos individuales. Es decir, no se puede hablar de todas o de
algunas de las clases de algún tipo
28. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
EJEMPLOS
Formalizar la siguiente deducción:
1. Ningún tiburón duda nunca de su buena
preparación.
2. Un pez que no sea capaz de bailar un
minuto es despreciable.
3. Ningún pez está seguro de su buena
preparación a menos que tenga tres filas de
dientes.
4. Todos los peces, excepto los tiburones, son
amables con los niños.
5. Ningún pez obeso puede bailar un minuto.
6. Un pez con tres filas de dientes no es
despreciable.
7. Luego todos los peces obesos son amables
con los niños
Formalización: E l dominio son los peces.
T(x): x es un tiburón
P(x): x duda de su buena preparación
M(x): x es capaz de bailar un minuto
D(x): x es despreciable
DI(x): x tiene tres filas de dientes
A(x): x es amable con los niños
O(x): x es obeso
Deducción:
(1) ∀x(T(x)→ ∼ P(x)) Premisa
(2) ∀x(∼ M(x) → D(x)) Premisa
(3) ∀x(∼ P(x) → DI(x)) Premisa
(4) ∀x(∼ T(x) → A(x)) Premisa
(5) ∀x(O(x)→ ∼ M(x)) Premisa
(6) ∀x(DI(x)→ ∼ D(x)) Premisa
(7) ∀x(O(x) → A(x)) G.U. Conclusión
29. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
4. Lógica de 2° (3°, 4°…n)
Sobre la lógica de primer orden, según admitamos cuantificar sobre propiedades o predicados, o
predicados de predicados, se subirá de orden. Por, ejemplo, si se permite utilizar oraciones como
“Hay un rasgo que todos los problemas filosóficos tienen en común”, entonces, porque estamos
cuantificando sobre una propiedad, estaríamos en una lógica de 2 orden y asís sucesivamente.
30. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
SEGUNDO CRITERIO DE CLASIFICACION
Hablamos de LOGICA CLASICA
cuando los cálculos lógicos son
bivalente, es decir, que sus
formulas pueden ser verdaderas o
falsas y no puede ocurrir que lo
sean a la vez. .
Si en los cálculos lógicos se
contemplan más valores de verdad
que lo verdadero y lo falso u otros
recursos expresivos entonces
hablamos de LOGICA NO
CLASICA
Número de valores de verdad que se acepten en los cálculos: