CONCEPTOS

INTROUCTORIOS
DE LOGICA
 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.
PREMISAS
• Sócrates es un hombre
• 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
 LÓGICA
PROPOSICIONAL
 NOCIONES DE LÓGIA
• INTRODUCCÓN.- En matemáticas se razonan desde el punto de vista lógico y
por lo tanto hay que tener muy en cuenta el enunciado de las proposiciones
matemáticas y su consecuente validéz.
• VALIDEZ.- Significa que una proposición es verdadero o es falso, pero nunca
ambas cosas a la vez.
• ENUNCIADO.- Es toda frase u oración. Algunos enunciados son mandatos o
interrogaciones o son expresiones de emoción; otros son afirmaciones o
negaciones que pueden ser verdaderas o falsas.
• ENUNCIADOS ABIERTOS.- Son expresiones que contienen variables y que no
tienen la propiedad de ser verdadero o falso
• PROPOSICIÓN.- Es todo enunciado que tiene la cualidad de ser VERDADERO
(V) o de ser FALSA ( F ), pero nunca puede ser V y F a la vez.
• VARIABLE.- Es una cantidad susceptible de variar en cierto campo recorrido.
Las variables se representan por las letras minúsculas: x, y, z, t, u, v. Estas letras
reciben el nombre de VARIABLES INDETERMINADAS
 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
 PuertoRico es una isla en el Pacífico
2 + 2 = 4
 Trump es el presidente de los Estados Unidos
 Kennedy no es el presidente de Estados
 No es cierto que el Perú sea Primera nación

productora del Mineral Cobre

 Huancavelica, es el departamento más pobre del

Perú
 3+5>2+8
 LOS ENUNCIADOS SE
COMPONEN DE…
 Secuencia de
Proposición
símbolos + (significado del
(oración escrita
enunciado en
o emitida
virtud del cual el
oralmente)
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 institución donde

puedes profesionalizarte
 ENUNCIADOS COMPUESTOS
 El libro y el Hipertexto tienen profundas diferencias en
su vigencia

 En la sociedad del conocimiento y globalización 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 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 ^: 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
(verdadera) si ambas componentes son V o F a la vez, en otros
casos, la proposición es F

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 son verdaderas a la vez . 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) cuando alguna de sus componentes es verdadera; siendo Falsa (
F) solo cuando las dos componentes son Falsas a la vez. 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 por la tarde.
(c). La baja humedad y el brillo del sol son suficientes
para jugar tenis por la tarde.
 PROPOSICIONES LÓGICAS
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
conectiv sistema lectura Consistencia
o

^ p^q Pyq
Es (v) si p y q ambas
(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 N= 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 PvQ 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.- Dos 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 LÓGICAS
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
LÓGICAS
 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)]
 DENOMINACIÓN REPRESENTACIÓN LÓGICA

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

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

~( 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

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 [P  P

LEY DE LA IDENTIDAD 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
 Ó N
CI
E N
AT
SU
OR
S P
IA
AC
GR