Lgica

I. Deductiva
A.Lgica Filosfica

II. Inductiva
B. Lgica Simblica
1. Lgica Formal

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 Proposicional
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
Por tanto, Scrates es mortal

PREMISAS

CONCLUSIN

Olaf no es espaol puesto que es alto, rubio,

de tez clara y habla con acento extranjero

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 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 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
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 institucin
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 informacin

Si x es nmero primo, entonces x es impar

Si x > 10, entonces 2x 3 > 16

No todos los nmeros primos son impares

Sen(x) no es un nmero mayor que 1

INDICADORES DE ENUNCIADOS
COMPLEJOS (OPERADORES)
y
O
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 : 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 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 de los signos de

agrupacin, dando lugar a expresiones completamente
en parntesis (ecep).
Para simplificar la interpretacin de expresiones se hace
uso de reglas de prioridad o precedencia.
1. La conexin .
2. La conexin ^.
3. La conexin v.
5. La conexin
6. La conexin .
7. La conexin .

4. La conexin

PRINCIPIOS LGICOS O REGLAS

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.
Equivalen a la y: pero, sin embargo, adems, no obstante,
aunque, a la vez
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.

Condicional . Sean x y y dos variables. La funcin x y es

falsa, solo si el antecedente es V y el consecuente es F,
siendo verdadero en todos los dems casos.
Cuando en un prrafo, se encuentran los trminos:
porque, puesto que, ya que, siempre que, cuando, cada
vez que, dado que son tambin conectivos lgicos
condicionales. Se caracterizan porque despus de cada
uno estos trminos est el ANTECEDENTE.
VARIANTES CONDICIONALES
PROPOSICIN RECPROCA: p q le corresponde
qp
PROPOSICION INVERSA: p q le corresponde p q
PROPOSICIN CONTRARECIPROCA: p q le corresponde
q p

Bicondicional . Una proposicin 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 funcin x v y es falsa solo si
tanto x como y son falsas. Si x o y son verdaderas, la
funcin es verdadera.
La negacin alternativa o de Shaffer
Sean x y y dos
variables. La funcin 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 negacin conjuntiva o de Nicod . Sean x y y dos
variables. La funcin x y que se lee ni p ni q es
Verdadera (V) slo 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 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.

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

p^q

Pyq

pvq

Poq

pq

p q

P q

Si p entonces q

P si y solo si q

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

No p o no q

Es (v) cuando uno de

los componentes de F

Ni p ni q

Es (v) solo cuando sus

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

TABLA DE VERDAD PARA

OPERADORES LGICOS
PQ

P ^ Q P v Q P Q P

PQ

PQ

PQ

~P

~Q

VV

VF

FV

FF

LA EQUIVALENCIA.- frmulas b y c son

equivalentes cuando unidos por el
bicondicional el resultado es una
tautologa
LA IMPLICACIN.Una frmula
implica a B, cuando unidas por
condicional
,
siendo
antecedente y B consecuente,
resultado es una tautologa

A
el
A
el

EVALUACIN
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 nmero de valores que se asigna a
cada variable proposicional depende de
la frmula 2n donde n indica el nmero 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

DENOMINACIN

REPRESENTACIN LGICA

INDENPOTENCIA

P P P
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) (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

P v ~P T

LEYES INVERSAS

P ~ P F
P TF

LEY DE DOMINACIN
P v T T
P (P v Q) P
P v (~ P Q) P
LEY DE ABSORCIN

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

PRINCIPIOS LOGICOS CLASICOS

LEY DE LA IDENTIDAD

[P P

PP

LEY DE LA NO CONTRADICCIN

~ (P ~ P)

LEY DEL TERCIO EXCLUIDO

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