SlideShare una empresa de Scribd logo
Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016
HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Versátil
Aplicable
Estudiada
Cuantifica variables
individuales
Los lenguajes
cuantifican a las
variables
predicativas
1. LOGICA DE PROPOSICIONES
2. LOGICA DE PREDICADOS
HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Primer criterio de clasificación determinado en
función de cómo sean esos cálculos
La lógica se estructura
en cálculos
Un cálculo es una
estructura sintáctica
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.
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)
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.
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
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
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
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
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
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
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.
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
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
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
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
HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Existen razonamientos válidos que no
son expresables ni analizables en lógica
de proposiciones
La lógica de predicados es una extensión
de la lógica de proposiciones que tiene
en cuenta la estructura interna de los
enunciados
2. Lógica de predicados o cuantificacional
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
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
HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Martha es amable y simpática, pero no todos son simpáticos
Am  Sm (Ex) (Sx)
EJEMPLO
m = Martha
A = amable
S = simpatico
 = ,
 = y
HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Cuantificador Existencial
La cuantificación existencial de P(x) “Es la proposición en que
existe un elemento x en el universo de discurso tal que P(x)
es verdad”.
Se denota con el símbolo ∃ x y se lee de las siguientes
maneras: “hay un x tal que…)”, “hay al menos un x tal que…”
o “para algún x…”.
CUANTIFICADORES
HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Todos los humanos respiran
(∀ x) (H(x) → R(x)) donde el predicado H significa
humanos, R respiran y x es un elemento de un
dominio general que podría ser el de las personas o
cualquier subconjunto deseado.
EJEMPLO
HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Todos los alumnos son estudiosos
(∀ x) (A(x) → E(x)) donde el predicado A significa
alumno, E estudioso y x es un elemento de un dominio
general que podría ser el de las personas o cualquier
subconjunto
EJEMPLO
HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Si usamos x para representar a algún humano, la
afirmacion “cada persona es hombre o mujer” se
puede representar como ∀x(H(x) ∨M(x))
donde H(x)= “x es hombre”,
M(x)= “x es mujer”
Ejemplo
HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016
Ejercicios
Visite Ejercicios de
lógica de predicados
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
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
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.
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:

Más contenido relacionado

Destacado

Presentación Lógica deóntica
Presentación Lógica deónticaPresentación Lógica deóntica
Presentación Lógica deóntica
Carlos Durán
 
Relaciones de la lógica con otras ciencias
Relaciones de la lógica con otras cienciasRelaciones de la lógica con otras ciencias
Relaciones de la lógica con otras ciencias
Marco Salas
 
Clase 1 que es logica
Clase 1 que es logicaClase 1 que es logica
Clase 1 que es logica
Abigail Noj
 
Historia de la Lógica Matemática
Historia de la Lógica Matemática Historia de la Lógica Matemática
Historia de la Lógica Matemática
Jx Emerita Cely
 
SILOGISMO LOGICO
SILOGISMO LOGICOSILOGISMO LOGICO
SILOGISMO LOGICO
sreynar
 
Logica de predicado
Logica de predicadoLogica de predicado
Logica de predicado
rober_09
 
Lógica Definición Como Ciencia
Lógica Definición Como CienciaLógica Definición Como Ciencia
Lógica Definición Como Ciencia
cesarolivas
 
Ejemplos de logica proposicional
Ejemplos de logica proposicionalEjemplos de logica proposicional
Ejemplos de logica proposicional
amarilisrivas94
 
Lógica inductiva
Lógica inductivaLógica inductiva
Lógica inductiva
betoplazas
 
La logica y el pensamiento
La logica y el pensamientoLa logica y el pensamiento
La logica y el pensamiento
Brayis95
 
La logica de aristoteles
La logica de aristotelesLa logica de aristoteles
La logica de aristoteles
Urban-boy
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
Lorena López Chuquimango
 
Ramas de la filosofía
Ramas de la filosofíaRamas de la filosofía
Ramas de la filosofía
AcaFilos Iztapalapa
 
Tipos de Argumentos, (LOGICA)
Tipos de Argumentos, (LOGICA)Tipos de Argumentos, (LOGICA)
Tipos de Argumentos, (LOGICA)
Smit Ft
 
Unidad 1 La lógica
Unidad 1 La lógicaUnidad 1 La lógica
Unidad 1 La lógica
Mario García
 
Instituto de formacao de professores de chibututuine
Instituto de formacao de professores de  chibututuineInstituto de formacao de professores de  chibututuine
Instituto de formacao de professores de chibututuine
José Amoroso
 
Introducao a Logica I
Introducao a Logica IIntroducao a Logica I
Introducao a Logica I
Alberto Nhatirre
 
Universidad central del ecuador
Universidad central del ecuadorUniversidad central del ecuador
Universidad central del ecuador
marcopaspuel
 
Lógica
LógicaLógica
Lógica
oscar552
 
PROBABILIDADES DISCRETAS
PROBABILIDADES DISCRETAS PROBABILIDADES DISCRETAS
PROBABILIDADES DISCRETAS
JDavid Aguirre Gómez
 

Destacado (20)

Presentación Lógica deóntica
Presentación Lógica deónticaPresentación Lógica deóntica
Presentación Lógica deóntica
 
Relaciones de la lógica con otras ciencias
Relaciones de la lógica con otras cienciasRelaciones de la lógica con otras ciencias
Relaciones de la lógica con otras ciencias
 
Clase 1 que es logica
Clase 1 que es logicaClase 1 que es logica
Clase 1 que es logica
 
Historia de la Lógica Matemática
Historia de la Lógica Matemática Historia de la Lógica Matemática
Historia de la Lógica Matemática
 
SILOGISMO LOGICO
SILOGISMO LOGICOSILOGISMO LOGICO
SILOGISMO LOGICO
 
Logica de predicado
Logica de predicadoLogica de predicado
Logica de predicado
 
Lógica Definición Como Ciencia
Lógica Definición Como CienciaLógica Definición Como Ciencia
Lógica Definición Como Ciencia
 
Ejemplos de logica proposicional
Ejemplos de logica proposicionalEjemplos de logica proposicional
Ejemplos de logica proposicional
 
Lógica inductiva
Lógica inductivaLógica inductiva
Lógica inductiva
 
La logica y el pensamiento
La logica y el pensamientoLa logica y el pensamiento
La logica y el pensamiento
 
La logica de aristoteles
La logica de aristotelesLa logica de aristoteles
La logica de aristoteles
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Ramas de la filosofía
Ramas de la filosofíaRamas de la filosofía
Ramas de la filosofía
 
Tipos de Argumentos, (LOGICA)
Tipos de Argumentos, (LOGICA)Tipos de Argumentos, (LOGICA)
Tipos de Argumentos, (LOGICA)
 
Unidad 1 La lógica
Unidad 1 La lógicaUnidad 1 La lógica
Unidad 1 La lógica
 
Instituto de formacao de professores de chibututuine
Instituto de formacao de professores de  chibututuineInstituto de formacao de professores de  chibututuine
Instituto de formacao de professores de chibututuine
 
Introducao a Logica I
Introducao a Logica IIntroducao a Logica I
Introducao a Logica I
 
Universidad central del ecuador
Universidad central del ecuadorUniversidad central del ecuador
Universidad central del ecuador
 
Lógica
LógicaLógica
Lógica
 
PROBABILIDADES DISCRETAS
PROBABILIDADES DISCRETAS PROBABILIDADES DISCRETAS
PROBABILIDADES DISCRETAS
 

Similar a Tipos de logica

Apuntes logica proposicional
Apuntes logica proposicionalApuntes logica proposicional
Apuntes logica proposicional
Liliana Olaya
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
geisonsaenz
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
trifonia2014
 
Hermeneutica
HermeneuticaHermeneutica
Hermeneutica
shionmill
 
Algebra
Algebra Algebra
Algebra
rogel04
 
Algebra
Algebra Algebra
Algebra
rogel04
 
unidad 1 de estructuras
unidad 1 de estructurasunidad 1 de estructuras
unidad 1 de estructuras
javiercolmenares
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
alejandraquevedo24
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
alejandraquevedo24
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
alejandraquevedo24
 
Desarrollo del pensamiento by Milton Rocha
Desarrollo del pensamiento by Milton RochaDesarrollo del pensamiento by Milton Rocha
Desarrollo del pensamiento by Milton Rocha
Milton Enrique Rocha
 
Clase 3 lenguaje y logica
Clase 3 lenguaje y logicaClase 3 lenguaje y logica
Clase 3 lenguaje y logica
paquitogiron
 
Taller logica conjuntos (2)
Taller logica conjuntos (2)Taller logica conjuntos (2)
Taller logica conjuntos (2)
Jorge Florez
 
Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)
jhontello80
 
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdfTEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdf
DIEGO423910
 
07 calculo-de-proposiciones-y-predicados1
07 calculo-de-proposiciones-y-predicados107 calculo-de-proposiciones-y-predicados1
07 calculo-de-proposiciones-y-predicados1
Emith Hernandez
 
Unidad 1 alexandre medina-álgebra
Unidad 1 alexandre medina-álgebraUnidad 1 alexandre medina-álgebra
Unidad 1 alexandre medina-álgebra
DanielaMedina789100
 
Brenda Orodoñez Rondon
Brenda Orodoñez RondonBrenda Orodoñez Rondon
Brenda Orodoñez Rondon
Brenda1326
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01
Eivy Pereyra Carvalho
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01
Eivy Pereyra Carvalho
 

Similar a Tipos de logica (20)

Apuntes logica proposicional
Apuntes logica proposicionalApuntes logica proposicional
Apuntes logica proposicional
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Hermeneutica
HermeneuticaHermeneutica
Hermeneutica
 
Algebra
Algebra Algebra
Algebra
 
Algebra
Algebra Algebra
Algebra
 
unidad 1 de estructuras
unidad 1 de estructurasunidad 1 de estructuras
unidad 1 de estructuras
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
 
Trabajo de lógica matemática,,
Trabajo de lógica matemática,,Trabajo de lógica matemática,,
Trabajo de lógica matemática,,
 
Desarrollo del pensamiento by Milton Rocha
Desarrollo del pensamiento by Milton RochaDesarrollo del pensamiento by Milton Rocha
Desarrollo del pensamiento by Milton Rocha
 
Clase 3 lenguaje y logica
Clase 3 lenguaje y logicaClase 3 lenguaje y logica
Clase 3 lenguaje y logica
 
Taller logica conjuntos (2)
Taller logica conjuntos (2)Taller logica conjuntos (2)
Taller logica conjuntos (2)
 
Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)
 
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdfTEXTO ACADEMICO SEMANA  1 LÓGICA MATEMÁTICA.pdf
TEXTO ACADEMICO SEMANA 1 LÓGICA MATEMÁTICA.pdf
 
07 calculo-de-proposiciones-y-predicados1
07 calculo-de-proposiciones-y-predicados107 calculo-de-proposiciones-y-predicados1
07 calculo-de-proposiciones-y-predicados1
 
Unidad 1 alexandre medina-álgebra
Unidad 1 alexandre medina-álgebraUnidad 1 alexandre medina-álgebra
Unidad 1 alexandre medina-álgebra
 
Brenda Orodoñez Rondon
Brenda Orodoñez RondonBrenda Orodoñez Rondon
Brenda Orodoñez Rondon
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01
 
Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01Logicaproposicional 120709134423-phpapp01
Logicaproposicional 120709134423-phpapp01
 

Más de Ciuad de Asis

Evaluacion dia de la familia
Evaluacion dia de la familiaEvaluacion dia de la familia
Evaluacion dia de la familia
Ciuad de Asis
 
Rendicion de cuentas 2018-2
Rendicion de cuentas 2018-2Rendicion de cuentas 2018-2
Rendicion de cuentas 2018-2
Ciuad de Asis
 
Uniforme IECA
Uniforme IECAUniforme IECA
Uniforme IECA
Ciuad de Asis
 
Rendicion de cuentas ciudad de asis 2017
Rendicion de cuentas ciudad de asis 2017Rendicion de cuentas ciudad de asis 2017
Rendicion de cuentas ciudad de asis 2017
Ciuad de Asis
 
Rendicion de cuentas año 2016
Rendicion de cuentas año 2016Rendicion de cuentas año 2016
Rendicion de cuentas año 2016
Ciuad de Asis
 
Lista de participantes
Lista de participantesLista de participantes
Lista de participantes
Ciuad de Asis
 
Rendición de cuentas Ciudad de Asís 2016
Rendición de cuentas Ciudad de Asís 2016Rendición de cuentas Ciudad de Asís 2016
Rendición de cuentas Ciudad de Asís 2016
Ciuad de Asis
 
Algebrabooleana
AlgebrabooleanaAlgebrabooleana
Algebrabooleana
Ciuad de Asis
 
Circuitos logicos
Circuitos logicosCircuitos logicos
Circuitos logicos
Ciuad de Asis
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
Ciuad de Asis
 
Leyes de la lógica
Leyes de la lógicaLeyes de la lógica
Leyes de la lógica
Ciuad de Asis
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógica
Ciuad de Asis
 
Gilberto cortez ospina antivirus act 3.1
Gilberto cortez ospina antivirus act 3.1Gilberto cortez ospina antivirus act 3.1
Gilberto cortez ospina antivirus act 3.1
Ciuad de Asis
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógica
Ciuad de Asis
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
Ciuad de Asis
 
Propositos de la logica
Propositos de la logicaPropositos de la logica
Propositos de la logica
Ciuad de Asis
 
Las tic
Las ticLas tic
Las tic
Ciuad de Asis
 
6. programa calidad de educacion preescolar pai
6. programa calidad de educacion preescolar pai6. programa calidad de educacion preescolar pai
6. programa calidad de educacion preescolar pai
Ciuad de Asis
 
5. ejemplo dba
5. ejemplo dba5. ejemplo dba
5. ejemplo dba
Ciuad de Asis
 
4. presentación sentidos y retos de la transversalidad
4. presentación sentidos y retos de la transversalidad4. presentación sentidos y retos de la transversalidad
4. presentación sentidos y retos de la transversalidad
Ciuad de Asis
 

Más de Ciuad de Asis (20)

Evaluacion dia de la familia
Evaluacion dia de la familiaEvaluacion dia de la familia
Evaluacion dia de la familia
 
Rendicion de cuentas 2018-2
Rendicion de cuentas 2018-2Rendicion de cuentas 2018-2
Rendicion de cuentas 2018-2
 
Uniforme IECA
Uniforme IECAUniforme IECA
Uniforme IECA
 
Rendicion de cuentas ciudad de asis 2017
Rendicion de cuentas ciudad de asis 2017Rendicion de cuentas ciudad de asis 2017
Rendicion de cuentas ciudad de asis 2017
 
Rendicion de cuentas año 2016
Rendicion de cuentas año 2016Rendicion de cuentas año 2016
Rendicion de cuentas año 2016
 
Lista de participantes
Lista de participantesLista de participantes
Lista de participantes
 
Rendición de cuentas Ciudad de Asís 2016
Rendición de cuentas Ciudad de Asís 2016Rendición de cuentas Ciudad de Asís 2016
Rendición de cuentas Ciudad de Asís 2016
 
Algebrabooleana
AlgebrabooleanaAlgebrabooleana
Algebrabooleana
 
Circuitos logicos
Circuitos logicosCircuitos logicos
Circuitos logicos
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Leyes de la lógica
Leyes de la lógicaLeyes de la lógica
Leyes de la lógica
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógica
 
Gilberto cortez ospina antivirus act 3.1
Gilberto cortez ospina antivirus act 3.1Gilberto cortez ospina antivirus act 3.1
Gilberto cortez ospina antivirus act 3.1
 
Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógica
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
Propositos de la logica
Propositos de la logicaPropositos de la logica
Propositos de la logica
 
Las tic
Las ticLas tic
Las tic
 
6. programa calidad de educacion preescolar pai
6. programa calidad de educacion preescolar pai6. programa calidad de educacion preescolar pai
6. programa calidad de educacion preescolar pai
 
5. ejemplo dba
5. ejemplo dba5. ejemplo dba
5. ejemplo dba
 
4. presentación sentidos y retos de la transversalidad
4. presentación sentidos y retos de la transversalidad4. presentación sentidos y retos de la transversalidad
4. presentación sentidos y retos de la transversalidad
 

Último

CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZACORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
Sandra Mariela Ballón Aguedo
 
Power Point: El espiritismo desenmascarado
Power Point: El espiritismo desenmascaradoPower Point: El espiritismo desenmascarado
Power Point: El espiritismo desenmascarado
https://gramadal.wordpress.com/
 
Camus, Albert - El Extranjero.pdf
Camus, Albert -        El Extranjero.pdfCamus, Albert -        El Extranjero.pdf
Camus, Albert - El Extranjero.pdf
AlexDeLonghi
 
Guia Practica de ChatGPT para Docentes Ccesa007.pdf
Guia Practica de ChatGPT para Docentes Ccesa007.pdfGuia Practica de ChatGPT para Docentes Ccesa007.pdf
Guia Practica de ChatGPT para Docentes Ccesa007.pdf
Demetrio Ccesa Rayme
 
Examen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdfExamen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdf
20minutos
 
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdfLas Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
Demetrio Ccesa Rayme
 
Planificación Ejemplo con la metodología TPACK
Planificación Ejemplo con la metodología  TPACKPlanificación Ejemplo con la metodología  TPACK
Planificación Ejemplo con la metodología TPACK
ssusera6697f
 
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLMExamen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
Juan Martín Martín
 
Manual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HCManual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HC
josseanlo1581
 
La vida de Martin Miguel de Güemes para niños de primaria
La vida de Martin Miguel de Güemes para niños de primariaLa vida de Martin Miguel de Güemes para niños de primaria
La vida de Martin Miguel de Güemes para niños de primaria
EricaCouly1
 
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptxNuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
lautyzaracho4
 
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIACONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
ginnazamudio
 
Maristella Svampa-La sociedad excluyente.pdf
Maristella Svampa-La sociedad excluyente.pdfMaristella Svampa-La sociedad excluyente.pdf
Maristella Svampa-La sociedad excluyente.pdf
belbarcala
 
ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...
ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...
ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...
JAVIER SOLIS NOYOLA
 
CUENTOS EN MAYÚSCULAS PARA APRENDER A LEER.pdf
CUENTOS EN MAYÚSCULAS PARA APRENDER A LEER.pdfCUENTOS EN MAYÚSCULAS PARA APRENDER A LEER.pdf
CUENTOS EN MAYÚSCULAS PARA APRENDER A LEER.pdf
Inslvarez5
 
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
20minutos
 
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdfFEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
Jose Luis Jimenez Rodriguez
 
Presentación Curso C. Diferencial - 2024-1.pdf
Presentación Curso C. Diferencial - 2024-1.pdfPresentación Curso C. Diferencial - 2024-1.pdf
Presentación Curso C. Diferencial - 2024-1.pdf
H4RV3YH3RN4ND3Z
 
el pensamiento critico de paulo freire en basica .pdf
el pensamiento critico de paulo freire en basica .pdfel pensamiento critico de paulo freire en basica .pdf
el pensamiento critico de paulo freire en basica .pdf
almitamtz00
 
SEMIOLOGIA DE HEMORRAGIAS DIGESTIVAS.pptx
SEMIOLOGIA DE HEMORRAGIAS DIGESTIVAS.pptxSEMIOLOGIA DE HEMORRAGIAS DIGESTIVAS.pptx
SEMIOLOGIA DE HEMORRAGIAS DIGESTIVAS.pptx
Osiris Urbano
 

Último (20)

CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZACORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
 
Power Point: El espiritismo desenmascarado
Power Point: El espiritismo desenmascaradoPower Point: El espiritismo desenmascarado
Power Point: El espiritismo desenmascarado
 
Camus, Albert - El Extranjero.pdf
Camus, Albert -        El Extranjero.pdfCamus, Albert -        El Extranjero.pdf
Camus, Albert - El Extranjero.pdf
 
Guia Practica de ChatGPT para Docentes Ccesa007.pdf
Guia Practica de ChatGPT para Docentes Ccesa007.pdfGuia Practica de ChatGPT para Docentes Ccesa007.pdf
Guia Practica de ChatGPT para Docentes Ccesa007.pdf
 
Examen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdfExamen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdf
 
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdfLas Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
 
Planificación Ejemplo con la metodología TPACK
Planificación Ejemplo con la metodología  TPACKPlanificación Ejemplo con la metodología  TPACK
Planificación Ejemplo con la metodología TPACK
 
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLMExamen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
 
Manual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HCManual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HC
 
La vida de Martin Miguel de Güemes para niños de primaria
La vida de Martin Miguel de Güemes para niños de primariaLa vida de Martin Miguel de Güemes para niños de primaria
La vida de Martin Miguel de Güemes para niños de primaria
 
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptxNuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
 
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIACONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
 
Maristella Svampa-La sociedad excluyente.pdf
Maristella Svampa-La sociedad excluyente.pdfMaristella Svampa-La sociedad excluyente.pdf
Maristella Svampa-La sociedad excluyente.pdf
 
ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...
ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...
ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...
 
CUENTOS EN MAYÚSCULAS PARA APRENDER A LEER.pdf
CUENTOS EN MAYÚSCULAS PARA APRENDER A LEER.pdfCUENTOS EN MAYÚSCULAS PARA APRENDER A LEER.pdf
CUENTOS EN MAYÚSCULAS PARA APRENDER A LEER.pdf
 
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
 
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdfFEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
 
Presentación Curso C. Diferencial - 2024-1.pdf
Presentación Curso C. Diferencial - 2024-1.pdfPresentación Curso C. Diferencial - 2024-1.pdf
Presentación Curso C. Diferencial - 2024-1.pdf
 
el pensamiento critico de paulo freire en basica .pdf
el pensamiento critico de paulo freire en basica .pdfel pensamiento critico de paulo freire en basica .pdf
el pensamiento critico de paulo freire en basica .pdf
 
SEMIOLOGIA DE HEMORRAGIAS DIGESTIVAS.pptx
SEMIOLOGIA DE HEMORRAGIAS DIGESTIVAS.pptxSEMIOLOGIA DE HEMORRAGIAS DIGESTIVAS.pptx
SEMIOLOGIA DE HEMORRAGIAS DIGESTIVAS.pptx
 

Tipos de logica

  • 1. Heriberto Molina Campaña – heribertomolinac@gmail.com - 2016
  • 3. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016 Primer criterio de clasificación determinado en función de cómo sean esos cálculos La lógica se estructura en cálculos Un cálculo es una estructura sintáctica
  • 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
  • 18. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016 Existen razonamientos válidos que no son expresables ni analizables en lógica de proposiciones La lógica de predicados es una extensión de la lógica de proposiciones que tiene en cuenta la estructura interna de los enunciados 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
  • 21. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016 Martha es amable y simpática, pero no todos son simpáticos Am  Sm (Ex) (Sx) EJEMPLO m = Martha A = amable S = simpatico  = ,  = y
  • 22. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016 Cuantificador Existencial La cuantificación existencial de P(x) “Es la proposición en que existe un elemento x en el universo de discurso tal que P(x) es verdad”. Se denota con el símbolo ∃ x y se lee de las siguientes maneras: “hay un x tal que…)”, “hay al menos un x tal que…” o “para algún x…”. CUANTIFICADORES
  • 23. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016 Todos los humanos respiran (∀ x) (H(x) → R(x)) donde el predicado H significa humanos, R respiran y x es un elemento de un dominio general que podría ser el de las personas o cualquier subconjunto deseado. EJEMPLO
  • 24. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016 Todos los alumnos son estudiosos (∀ x) (A(x) → E(x)) donde el predicado A significa alumno, E estudioso y x es un elemento de un dominio general que podría ser el de las personas o cualquier subconjunto EJEMPLO
  • 25. HeribertoMolinaCampaña–heribertomolinac@gmail.com-2016 Si usamos x para representar a algún humano, la afirmacion “cada persona es hombre o mujer” se puede representar como ∀x(H(x) ∨M(x)) donde H(x)= “x es hombre”, M(x)= “x es mujer” Ejemplo
  • 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: