Está en la página 1de 32

Lógica

I. Deductiva II. Inductiva

A.Lógica Filosófica B. Lógica Simbólica


1. Lógica Formal

Cálculo Proposicional
1.Lógica Informal o Cálculo de Predicados o
Cuantificacional
Pensamiento Crítico Lógica Silogística
tradicional
2. Teoría del Significado Lógicas No-Clásicas
3. Teoría de la Verdad 2.Lógica Matemática
4. Teoría de la Implicación Teoría de conjuntos
5. Metalógica Álgebra booleana
Teoría de la prueba
DE QUÉ SE OCUPA LA LÓGICA

 Una tarea de la lógica es el análisis


de ARGUMENTOS
 Un argumento consiste en un
conjunto de 1 o más enunciados
que se utilizan como apoyo de otro
enunciado.
 Los enunciados que sirven de
apoyo se llaman PREMISAS; el
enunciado apoyado es la
CONCLUSIÓN.
EJEMPLOS DE ARGUMENTOS
• Todos los hombres son mortales.
• Sócrates es un hombre PREMISAS
• Por tanto, Sócrates es mortal

CONCLUSIÓN

• Olaf no es español puesto que es alto, rubio,


de tez clara y habla con acento extranjero
 La lógica proposicional es una rama de la
lógica clásica . es la mas antigua y simple de
las formas lógicas que utilizan enunciados o
expresiones que puede ser consideradas
proposiciones lógicas cuando son susceptibles
a ser verdaderos o falsos.
 Ejemplo:
 P: Lima es la capital del Perú (V)
 Q: 2 >7 (F)
 R: 103 .2 =2000 (V)
LÓGICA DE ENUNCIADOS
 Puerto Rico es una isla en el Pacífico
2 + 2 = 4
 Kennedy es el presidente de los Estados
Unidos
 Kennedy no es el presidente de Estados
Unidos, es Obama
 No es cierto que el Perú sea Primera
productora del Mineral Cobre
 Huancavelica, es el departamento más
pobre del Perú
 3 + 5 > 2 + 8
LOS ENUNCIADOS SE COMPONEN
DE…

 Secuencia + Proposición
de símbolos (significado del
(oración enunciado en
escrita o virtud del cual
emitida el enunciado es
oralmente) verdadero o
falso)
ENUNCIADOS SIMPLES
 Lima es la capital del Perú
2 + 2 = 4
 El Sol es una estrella
 Carlos Fuentes es un escritor
 Hoy es martes
 La Universidad es una institución
donde puedes profesionalizarte
ENUNCIADOS COMPLEJOS
 El libro y el Hipertexto tienen profundas
diferencias en su vigencia

 En la sociedad del conocimiento es


importante el manejo de la información

 Si x es número primo, entonces x es impar

 Si x > 10, entonces 2x – 3 > 16

 No todos los números primos son impares

 Sen(x) no es un número mayor que 1


INDICADORES DE ENUNCIADOS
COMPLEJOS (OPERADORES)
 y 
O 
 Si..., entonces 
 No es el caso que 
 Si y sólo si 
 O bien “p” o bien “q”
 “P” es incompatible con “q”
 Ni “p” ni “q”
LENGUAJE FORMAL : SÍMBOLOS
BÁSICOS

 Parámetros de enunciados:
letras mayúsculas del alfabeto

 Símbolos lógicos : (, ), , , ,
, 
CONECTIVOS LÓGICOS
1. Álgebra de Boole.
Una variable binaria x es aquella a la que se le asigna
un valor de verdad : 1 ó 0, V ó F, sí ó no.

Si tenemos dos o más variables estas pueden


conectarse entre sí a través de un operador binario
produciendo un valor de verdad.
Definimos como función a un conjunto de variables y
conectores ordenados de modo tal que producen un
valor de verdad.

En ocasiones se hace uso de tablas de verdad para


obtener los valores verdaderos de la función para
todas las asignaciones posibles de las variables.
Operadores binarios.

Un valor de verdad se puede obtener a partir de


variables binarias de dos formas:

1. Negando la variable: ¬x,

2. Combinando dos o más variables a través de


operadores binarios:

Conjunción. x ^ y, x · y
Disyunción. x v y, x + y
Disyunción exclusiva. x ∆ y,
Proposiciones compuestas.
Con los conectores lógicos se combinan proposiciones,
tanto atómicas como compuestas. Pero en ocasiones los
resultados pueden ser ambiguos.
Para evitarlo se hace uso de de los signos de
agrupación, dando lugar a expresiones completamente
en paréntesis (ecep).
Para simplificar la interpretación de expresiones se hace
uso de reglas de prioridad o precedencia.
1. La conexión ¬.
2. La conexión ^.
3. La conexión v. 4. La conexión
5. La conexión
6. La conexión →.
7. La conexión ↔.
PRINCIPIOS LÓGICOS O REGLAS
Negación ¬.
Sea x una variable binaria. La función ¬x es verdadera si x es
falsa y viceversa.
Conjunción ^.
Sean x y y dos variables. La función x ^ y es verdadera si y
solo si tanto x como y son verdaderas.
Equivalen a la y: pero, sin embargo, además, no obstante,
aunque, a la vez
Disyunción v.
Sean x y y dos variables. La función x v y es falsa solo si tanto x
como y son falsas. Si x o y son verdaderas, la función es
verdadera.
Disyunción exclusiva v.
Sean x y y dos variables. La función x v y es falsa solo si tanto x
como y tienen el mismo valor de verdad. Si x o y no tienen el
mismo valor, la función es verdadera.
Condicional →. Sean x y y dos variables. La función x → y
es falsa, solo si el antecedente es V y el consecuente es F,
siendo verdadero en todos los demás casos.
Cuando en un párrafo, se encuentran los términos:
“porque, puesto que, ya que, siempre que, cuando, cada
vez que, dado que” son también conectivos lógicos
condicionales. Se caracterizan porque después de cada
uno estos términos está el ANTECEDENTE.
VARIANTES CONDICIONALES
PROPOSICIÓN RECÍPROCA: p → q le corresponde q→p
PROPOSICION INVERSA: p → q le corresponde ¬p → ¬q
PROPOSICIÓN CONTRARECIPROCA: p → q le corresponde
¬q → ¬ p
Bicondicional ↔. Una proposición bicondicional es V
si ambas componentes son V o F a la vez, en otros
caso es F
Sean x y y dos variables. La función x v y es falsa solo si
tanto x como y son falsas. Si x o y son verdaderas, la
función es verdadera.
La negación alternativa o de Shaffer Sean x y y dos
variables. La función x y que se lee “no p o no q” es
Verdadera (V) cuando por lo menos uno de sus
componentes es Falso, es falso ( F) solo cuando los dos
componentes es Falso. p q = ¬ (p ^ q)
La negación conjuntiva o de Nicod . Sean x y y dos
variables. La función x y que se lee “ni p ni q” es
Verdadera (V) sólo cuando sus dos componentes son
falsos, siendo Falsa ( F) solo cuando los dos
componentes es Falso. p q = ¬ (p v q)
Dadas las siguientes declaraciones:
p: Termino de escribir mi programa de computadora antes
del almuerzo
q: Juego tenis por la tarde
r: El sol está brillando
s: Hay poca humedad
Escribe lo siguiente en forma simbólica:
a. Si el sol está brillando yo jugaré tenis esta tarde
b. Terminar de escribir mi programa de
computadora antes del almuerzo es
necesario para jugar tenis esta tarde.
c. La baja humedad y el brillo del sol son
suficientes para jugar tenis esta tarde.
NOMBRE CONECTOR SÍMBOLO
Conjunción Y ^

Disyunción débil o inclusiva O V

Implicación Si entonces, implicación →

Equivalencia Si y solo si ↔

Disyunción fuerte o Inclusiva Ó ∆

Incompatibilidad Shaffer ↑

Negación conjunta Nicod ↓

NOTA:
LA NEGACIÓN (~,¬ ) NO ES UN CONECTIVO, ES UN OPERADOR QUE
DETERMINA EL GRADO CONTRARIO DE UNA PROPOSICIÓN O DE
UN SISTEMA PROPOSICIONAL
CONSISTENCIA DE LOS CONECTORES BÁSICOS
conectivo sistema lectura Consistencia
Es (v) si p y q ambas
^ p^q Pyq
(v)
Es (f) si p y q ambas
V pvq Poq
(f)
Es (f) si p es (v) y q es
→ p→q Si p entonces q
(f)
↔ p↔ q Es (v) si p y q ambas
P si y solo si q
son del mismo valor

↑ P↑ q Es (v) cuando uno de


No p o no q
los componentes de F
Es (v) solo cuando sus
P q Ni p ni q 2 componentes son
falsos
NOTA:
LOS GRADOS DE VERDAD DE LAS PROPOSICIONES SE
OBTIENE DE LA SIGUIENTE FORMULA 2 N DONDE N ES EL
NUMERO DE PROPOSICIONES. Ejemplo:
Si existen p,q,r
N = 23 = 8
P Q R
V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F
TABLA DE VERDAD PARA
OPERADORES LÓGICOS

PQ P ^ Q P v Q P →Q P Q P∆Q P↑Q P↓Q ~P ~Q

VV V V V V F F F F F

VF F V F F V V F F V

FV F V V F V V F V F

FF F F V V F V V V V
LA EQUIVALENCIA.- fórmulas b y c son
equivalentes cuando unidos por el
bicondicional “↔” el resultado es una
tautología

LA IMPLICACIÓN.- Una fórmula A


implica a B, cuando unidas por el
condicional “→”, siendo A
antecedente y B consecuente, el
resultado es una tautología → →
EVALUACIÓN DE ESQUEMAS
MOLECULARES
consiste en hallar los valores del operador
principal a partir de la validez de cada una
de las proposiciones simples (variables
proposicionales)
el número de valores que se asigna a
cada variable proposicional depende de
la fórmula 2n donde n indica el número de
proposiciones simples, para el que se usa
las denominadas TABLAS DE VERDAD.
FORMULAS LOGICAS
TAUTOLOGIAS (T) :
Siempre en su tabla tiene valores verdaderos (v)

CONTRADICCIONES :
Siempre en su tabla tiene valores falsos (f).

CONTINGENCIAS :
Siempre tienen en su tabla valores verdaderos Y falsos (v) (f).
PRINCIPALES LEYES
LOGICAS
DENOMINACIÓN REPRESENTACIÓN LÓGICA
P Λ P ↔P
INDENPOTENCIA
PV P↔ P
DOBLE NEGACION ~ ~ P↔ P
PΛ Q ↔ Q Λ P
CONMUTATIVAS
P v Q↔ Q v P
P Λ (QΛ R) ↔ (P Λ Q) Λ R
LEYES ASOCIATIVAS
P v (Q v R) ↔ (P v Q) v R
P Λ (Q v R) ↔ (P ΛQ) v ( P Λ R)
P v (Q Λ R) ↔ (P v Q) Λ ( P v R)
LEYES DISTRIBUTIVAS
[P (QΛ R) ↔ (PQ) Λ (P  R)]
[P (Q v R) ↔ (PQ) v(P  R)]
~( P Λ Q) ↔ (~ P v ~Q)
LEYES DE MORGAN
~( P v Q) ↔ (~ P Λ ~Q)
LEY DE LA IMPLICACIÓN (PQ) ↔ ~P v Q
LEY DE LA DOBLE IMPLICACION (P ↔Q) ↔ (PQ) Λ (Q  P)
LEY DE LA BICONDICIONAL (P ↔ Q) ↔ (P Λ Q) v (~ P Λ ~Q)
DENOMINACIÓN REPRESENTACIÓN LÓGICA

PvF ↔ P
LEY DE LA IDENTIDAD PΛ T ↔ P

P v ~P↔ T
LEYES INVERSAS
P Λ ~ P↔ F
P ΛF↔F
LEY DE DOMINACIÓN
P v T↔ T
P Λ (P v Q) ↔ P

P v (~ P Λ Q) ↔ P
LEY DE ABSORCIÓN
P Λ (P v Q) ↔ P Λ Q

P v (~ P Λ Q) ↔ P v Q
PRINCIPIOS LOGICOS CLASICOS

LEY DE LA IDENTIDAD [P  P P↔P

LEY DE LA NO CONTRADICCIÓN ~ (P Λ ~ P)

LEY DEL TERCIO EXCLUIDO P v~P


Implicación lógica: Reglas de inferencia.
Deseamos demostrar si un argumento es válido.
Consideramos la siguiente implicación:
(p1 ^ p2 ^ p3 ^ …^ pn) → q
Donde p1, p2, p3, … pn son las premisas y q la conclusión
del argumento.
El argumento es válido si cada una de las premisas es
verdadera y en consecuencia la conclusión también.
Sin embargo, debe demostrarse que la implicación es
una tautología para que sea valido el argumento.
Si p, q son proposiciones arbitrarias tal que p → q es una
tautología, se dice que p implica lógicamente a q y se
denota