CONCEPTOS

INTRODUCTORIOS
DE LOGICA

Lgica
I. Deductiva

II. Inductiva

A.Lgica Filosfica
Simblica

B. Lgica

1. Lgica Formal
Proposicional
1.Lgica Informal o
Cuantificacional
Pensamiento Crtico
tradicional
2. Teora del Significado
3. Teora de la Verdad
4. Teora de la Implicacin
5. Metalgica

Clculo
Clculo de Predicados o
Lgica Silogstica
Lgicas No-Clsicas
2.Lgica Matemtica
Teora de conjuntos
lgebra booleana
Teora de la prueba

DE QU SE OCUPA LA
LGICA
Una

tarea de la lgica es el anlisis

de ARGUMENTOS
Un argumento consiste en un
conjunto de 1 o ms enunciados
que se utilizan como apoyo de otro
enunciado.
Los enunciados que sirven de
apoyo se llaman PREMISAS; el
enunciado apoyado es la
CONCLUSIN.

EJEMPLOS DE ARGUMENTOS
Todos los hombres son mortales.
Scrates es un hombre

PREMISAS

Por tanto, Scrates es mortal

CONCLUSIN

Olaf no es espaol puesto que es alto, rubio, de

tez clara y habla con acento extranjero

LGICA
PROPOSICIONAL

 La

lgica proposicional es una rama de la

lgica clsica . es la mas antigua y simple de
las formas lgicas que utilizan enunciados o
expresiones que puede ser consideradas
proposiciones lgicas 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)

LGICA DE ENUNCIADOS
Puerto

Rico es una isla en el Pacfico

2 + 2 = 4
Kennedy es el presidente de 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 ms
pobre del Per
3 + 5 > 2 + 8

LOS ENUNCIADOS SE
COMPONEN DE
Secuencia

de smbolos
(oracin
escrita o
emitida
oralmente)

+ Proposicin
(significado del
enunciado en
virtud del cual
el enunciado
es verdadero o
falso)

ENUNCIADOS SIMPLES
San

Juan es la capital de Santo

Domingo
2 + 2 = 4
El Sol es una estrella
Acevedo Vil es el presidente de
Puerto Rico en el ao 2006
La PUCPR tiene ms de 250 mil
estudiantes

ENUNCIADOS COMPLEJOS

Ponce es la capital de Puerto Rico y San Juan

es la capital de Puerto Rico

Juan sabe que San Juan es la capital de Puerto

Rico

Juan cree que San Juan es la capital de Santo

Domingo

Necesariamente 2+2 = 4

Es posible que Pedro no sepa que San Juan es

la capital de Puerto Rico

INDICADORES DE
ENUNCIADOS COMPLEJOS
(OPERADORES)

Si..., entonces

No es el caso que

Si y slo si

O bien p o bien q
P es incompatible con q
Ni p ni q

LENGUAJE FORMAL LE:

SMBOLOS BSICOS

Parmetros de enunciados:
letras maysculas del
alfabeto

Smbolos

, ,

lgicos : (, ), , ,

CONECTIVOS LGICOS

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 ms variables estas pueden
conectarse entre s a travs de un operador binario
produciendo un valor de verdad.
Definimos como funcin 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 funcin para
todas las asignaciones posibles de las variables.

Operadores binarios.
Un valor de verdad pueden obtener a partir de
variables binarias de dos formas:
1. Negando la variable: x,
2. Combinando dos o ms variables a travs de
operadores binarios:
Conjuncin. x ^ y, x y
Disyuncin. x v y, x + y
Disyuncin exclusiva. x v y,

Proposiciones compuestas.
Con los conectores lgicos se combinan
proposiciones, tanto atmicas como compuestas.
Pero en ocasiones los resultados pueden ser
ambiguos.
Para evitarlo se hace uso de parntesis, dando
lugar a expresiones completamente en
parntesis (ecep).
Para simplificar la interpretacin de expresiones se
hace uso de reglas de prioridad o precedencia.
1.
2.
3.
4.
5.

La
La
La
La
La

conexin
conexin
conexin
conexin
conexin

.
^.
v.
.
.

Negacin .
Sea x una variable binaria. La funcin x es
verdadera si x es falsa y viceversa.
Conjuncin ^.
Sean x y y dos variables. La funcin x ^ y es verdadera
si y solo si tanto x como y son verdaderas.
Disyuncin v.
Sean x y y dos variables. La funcin x v y es falsa solo
si tanto x como y son falsas. Si x o y son verdaderas,
la funcin es verdadera.
Disyuncin exclusiva v.
Sean x y y dos variables. La funcin 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 funcin es
verdadera.

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 los siguiente en forma simblica:
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.

PROPOSICIONES LGICAS
NOMBRE

CONECTOR

SMBOLO

Conjuncin

Disyuncin dbil o inclusiva

Implicacin

Si entonces, implicacin

Equivalencia

Si y solo si

Disyuncin fuerte o Inclusiva

Incompatibilidad

Shaffer

Negacin conjunta

Nicod

NOTA:
LA NEGACIN (~, ) NO ES UN CONECTIVO, ES UN OPERADOR QUE DETERMINA EL GRADO CONTRARIO DE UNA PROPOSICIN O DE UN SISTEMA PROPOSICIONAL

CONSISTENCIA DE LOS CONECTORES

BSICOS
conectivo

sistema

lectura

consistencia

p^q

Pyq

Es (v) si p y
q ambas (v)

pvq

Poq

Es (f) si p y
q ambas (f)

pq

Si p entonces q

Es (f) si p es
(v) y q es (f)

P si y solo si q

Es (v) si p y
q ambas son
del mismo
valor

p q

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
R

TABLA DE VERDAD PARA OPERADORES

LGICOS

PQ

P ^ Q P v Q P Q P

PQ

PQ

PQ

~P

~Q

VV

VF

FV

FF

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

DENOMINACIN

REPRESENTACIN LGICA

INDENPOTENCIA

P P P
PVP P

DOBLE NEGACION

~~PP

CONMUTATIVAS

LEYES ASOCIATIVAS

PQ QP
P v Q Q v P
P (Q R) (P Q) R
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) (PQ) (P R)]
[P (Q v R) (PQ) v(P R)]

LEYES DE MORGAN
LEY DE LA IMPLICACIN
LEY DE LA DOBLE IMPLICACION
LEY DE LA BICONDICIONAL

~( P Q) (~ P v ~Q)
~( P v Q) (~ P ~Q)
(PQ) ~P v Q
(P Q) (PQ) (Q P)
(P Q) (P Q) v (~ P ~Q)

DENOMINACIN

REPRESENTACIN LGICA
P F P
P T P

LEY DE LA IDENTIDAD

LEYES INVERSAS

LEY DE DOMINACIN

P v ~P T
P ~P F
P TF
P v T T
P (P v Q) P

LEY DE ABSORCIN

P v (~ P Q) P
P (P v Q) P Q
P v (~ P Q) P v Q

PRINCIPIOS LOGICOS CLASICOS

LEY DE LA IDENTIDAD
LEY DE LA NO CONTRADICCIN
LEY DEL TERCIO EXCLUIDO

[P P

PP

~ (P ~ P)
P v~P

Implicacin lgica: Reglas de inferencia.

Deseamos demostrar si un argumento es vlido.
Consideramos la siguiente implicacin:
(p1 ^ p2 ^ p3 ^ ^ pn) q
Donde p1, p2, p3, pn son las premisas y q la
conclusin del argumento.
El argumento es vlido si cada una de las premisas
es verdadera y en consecuencia la conclusin
tambin.
Sin embargo, debe demostrarse que la implicacin
es una tautologa para que sea valido el argumento.
Si p, q son proposiciones arbitrarias tal que p q es
una tautologa, se dice que p implica lgicamente a
q y se denota

S
A
I
C
A
R
G

U
S
R
PO

I
C
N
E
T
A