LOGICA PROPOSICIONAL

CONCEPO DE PROPOSICIÓN:

¿QUÉ ES UNA PROPOSICIÓN?

UNA PROPOSICIÓN ES UNA ORACIÓN O EXPRECIÓN VERBAL QUE REALIZA UNA AFIRMACIÓN. POR TANTO, UNA
PROPOSICIÓN ES SUCEPTIBLE DE TENER UN VALOR DE VERDAD, PUEDE SER VERDADERA O FALSA.

LAS PROPOSICIONES SIMPLES SE REPRESENTAN POR UNA LETRA MINÚSCULA:

UNA PREGUNTA O UNA FRASE IMPERATIVA NO SON PROPOSICIONES, YA QUE NO REALIZAN NINGUNA
AFIRMACIÓN:

¿QUÉ HORA ES?: ES UNA PREGUNTA QUE NO ACEVERA NADA, POR TANTO NO ES PROPOSICIÓN
VETE DE AQUÍ: ES UNA FRASE IMPERATIVA QUE NO AFIRMA NADA, POR TANTO NO ES UNA PORPOSICIÓN
HOY ES UN DÍA SOLEADO: AFIRMO ALGO (QUE ES UN DÍA SOLEADO). NO IMPORTA EL VALOR DE VERDAD,
ESTAMOS ANTE UNA PROPOSICIÓN. DESPUÉS, EL VALOR DE VERDAD DE LA PROPOSICIÓN DEPENDERÁ,
JUSTAMENTE, DE SU VERACIDAD. SI EL DÍA ES NUBLADO, ENTONCES SU VALOR DE VERDAD ES FALSO.

Modalidad Virtual
 LOGICA PROPOSICIONAL
EL VALOR DE VERDAD DE UNA PROPOSICIÓN, POR TANTO, DEPENDE DE
SI «ESTOY MINTIENDO» O «ESTOY DICIENDO LA VERDAD»

P = «HOY ES UN DÍA SOLEADO»

V(P) = VALOR DE VERDAD DE P, PUEDE SER «VERDADERO» O «FALSO»

POR TANTO, CUALQUIER PROPOSICIÓN TIENE DOS POSIBLES VALORES:

«V» O «F»

Modalidad Virtual
 LOGICA PROPOSICIONAL
OPERADORES LÓGICOS:

LAS PROPOSICIONES SIMPLES PUEDEN COMBINARSE PARA CONSTITUIR PROPOSICIONES COMPUESTAS.

EXISTEN DISTINTOS TIPOS DE OPERADORES PARA COMBIANR PROPOSICIONES. LOS OEPRADORES LÓGICOS SON:

• NEGACIÓN (~P): ES UN OPERADOR UNARIO (AFECTA A UNA SOLA PROPOSICIÓN) QUE NIEGA A LA PROPISICIÓN QUE
AFECTA.
• CONJUNCIÓN (P Ʌ Q): O Y-LÓGICO. ES UN OEPRADOR BINARIO (COMBINA DOS PROPOSICIONES). UNA CONJUNCIÓN
AFIRMA AMBAS PROPOSICIONES, ES DECIR, QUE ASEGURA LA VERACIDAD DE AMBAS DE MANERA SIMULTANEA.
• DISYUNCIÓN (P V Q): U O-LÓGICO. ES UNOPERADR BINARIO. UNA DISYUNCIÓN AFIRMA QUE AL MENOS UNA DE LAS
PROPOSICIONES ES VERADADERA, O AMBAS LO SON.
• DISYUNCIÓN EXCLUYENTE (P V Q): U O-EXCLUSIVO U O-EXCLUYENTE. ES UN OPERADOR BINARIO. AFIRMA QUE
SOLAMENTE UNA DE LAS DOS ES VERDADERA. LA VERACIDAD DE UNA PROPOSICIÓN EXCLUYE LA VERACIDAD DE LA
OTRA. PERO AL MENOS UNA DEBE SER VERDADERA.
• IMPLICACIÓN (P → Q): ES UN OPERADOR BINARIO. ES UNA EXPRECIÓN QUE AFIRMA QUE ALGO ES VERDADERO SI
HAY UNA CONDICIÓN PREVIA QUE SEA VERDADERA.
• DOBLE IMPLICACIÓN (P ↔ Q): ES EQUIVALENTE A LA CONJUNCIÓN DE LA IMPLICACIÓN Y SU RECÍPROCA: (P ↔ Q)
EQUIVALE A (P →Q ) Ʌ (Q → P)

Modalidad Virtual
 LOGICA PROPOSICIONAL
TABLAS DE VERDAD:

DEBEMOS ANALIZAR COMO AFECTA AL VALOR DE VERDAD DE UNA PROPOSICIÓN COMPUESTA, EL VALOR DE
VERDAD DE CADA UNA DE LAS PROPOSICIONES SIMPLES QUE LA COMPONEN.

PARA ELLO, RECURRIMOS A LAS TABLAS DE VERDAD.

UNA TABLA DE VERDAD ANALIZA PARA CADA PROPOSICIÓN COMPUESTA, CUAL ES SU VALOR DE VERDAD EN
FUNCIÓN DE LOS VALORES DE VERDAD DE LAS PORPOSICIONES QUE LA COMPONEN. PARA ELLO, ES NECESARIO
ESCRIBIR PARA CADA COMBINACIÓN DE VALORES POSIBLES DE LA ROPOSICIONES SIMPLES, EL VALOR DE VERDAD
DE LA PROPOSICIÓN COMPUESTA.

A PARTIR DE LA TABLAS DE VERDAD BASE (UNA PARA CADA OPERADOR LÓGICO), ES POSIBLE DETERMINAR LA
TABLA DE VERDAD DE CUALQUIER PROPOSICIÓN COMPUESTA, SIN IMPORTAR LA CANTIDAD DE PROPOSICIONES
Y COMBINACIONES QUE LA COMPONEN.

LO PRIMERO ES ESTABLECER CUALES SON TODAS LAS COMBINACIONES POSIBLES DE VALORES DE VERDAD DE LAS
PROPOSICIONES QUE LA COMPONEN.
Modalidad Virtual
 LOGICA PROPOSICIONAL
PARA REALIZAR TODAS LAS COMBINACIONES DE VALORES POSIBLES DE DOS PROPOSICIONES, ENCOLUMNAMOS
DEBAJO DE CADA PROPOSICIÓN TODOS SUS POSIBLES VALORES (SIEMPRE SON DOS: «V» Y «F») Y LOS
COMBINAMOS CON TODOS CON TODOS:

P Q

V V

F F

CADA UN DE LAS LÍNEAS QUE UNEN VALORES ES UNA COMBIANCIÓN FORMADA POR LOS VALORES QUE ESTÁN
EN LOS EXTREMOS DE ESA LÍNEA.

COMO VEMOS, PARA DOS PROPOSICIONES, TENEMOS CUATRO POSIBLES COMBINACIONES, UNA POR CADA
LÍNEA TRAZADA:

VV VF FV FF

Modalidad Virtual
 LOGICA PROPOSICIONAL
SI EN CAMBIO LAS PROPOSICIONES SON TRES, ENTONCES HACEMOS TODAS LAS COMBINACIONES ENTRE DOS
PROPOSICIONES (CUATRO) Y LUEGO COMBINAMOS CADA UNA DE ESAS COMBINACIONES CON LOS POSIBLES
VALORES DE LA TERCERA PROPOSICIÓN, OBTEIENDO ASÍ 8 POSIBLES COMBINACIONES. EN GENERAL, LA
CANTIDAD DE POSIBLES COMBINACIONES ESTRÁ DETERMINADA POR 2N, DONDE N ES LA CANTIDAD DE
PROPOSICIONES.

Modalidad Virtual
 LOGICA PROPOSICIONAL
OTRA FORMA DE ESTABLACER TODAS LAS COMBINACIONES POSIBLES DE VALORES ES COLOCAR LAS
PROPOSICIONES EN UNA TABLA Y DEBAJO DE LA PRIMERA COLOCO 2N/2 VALORES «V» Y 2N/2 VALORES «F», EN
LA SIGUIENTE COLOCO POR CADA VALOR DE «V» DE LA PRIMERA, LA MITAD DE «V» Y LA OTRA MITAD DE «F»,Y
PARA CADA VALOR DE «F» DE LA PRIMERA LA MITAD DE VALORES «V» Y LA OTRA MITAD DE «F», Y CONTINÚO
HASTA LA ÚLTIMA PROPOSICIÓN, EN QUE QUEDARÁN NTERCALADOS LOS VALORES DE «V» Y «F» DE A UNO.
ENTONCES, PARA 3 ROPOSICIONES TENEMOS (23 = 8, ENTONCES 23/2 = 4 «V» Y 4 «F»):
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

Modalidad Virtual
 LOGICA PROPOSICIONAL
NEGACIÓN (~P): ES UN OPERADOR UNARIO (AFECTA A UNA SOLA PROPOSICIÓN) QUE NIEGA A LA PROPISICIÓN
QUE AFECTA. COMO NIEGA LO QUE AFIRMA , SU VALOR DE VERDAD ES OPUESTO AL DE P. ASÍ, CADA VEZ QUE P
ES «V», ~P ES «F», Y CADA VEZ QUE P ES «F», ~P ES «V»:

V(~P) = ~V(P)

P = ME LLAMO JUAN
~P = NO ME LLAMO JUAN

P ~P
V F
F V

Modalidad Virtual
 LOGICA PROPOSICIONAL
CONJUNCIÓN (P Ʌ Q): O Y-LÓGICO. ES UN OEPRADOR BINARIO (COMBINA DOS PROPOSICIONES). UNA
CONJUNCIÓN AFIRMA AMBAS PROPOSICIONES, ES DECIR, QUE ASEGURA LA VERACIDAD DE AMBAS DE MANERA
SIMULTANEA. LA AFIRMACIÓN SIMULTÁNEA DE AMBAS QUIERE DECIR QUE ESA AFIRMACIÓN SERÁ VERDADERA
SI AMBAS LO SON, EN CUALQUEIR OTRO CASO LA CONJUNCIÓN ES FALSA.

EJEMPLO: «HOY VOY A IR AL CINE Y MAC DONALDS». ESTOY ASEGURANDO QUE HARE AMBAS COSAS. POR
TANTO, SI HAGO UNA SOLA, ENTONCES MENTÍ, Y EL VALOR DE VERDAD DE LA CONJUNCIÓN ES FALSO.

LUEGO, LA REGLA ES: UNA CONJUNCIÓN ES VRDADERA SOLO SI AMBAS PROPOSICIONES SON VERDADERAS.

P Q PɅQ
V V V
V F F
F V F
F F F

Modalidad Virtual
 LOGICA PROPOSICIONAL
DISYUNCIÓN (P V Q): U O-LÓGICO. ES UNOPERADR BINARIO. UNA DISYUNCIÓN AFIRMA QUE AL MENOS UNA DE
LAS PROPOSICIONES ES VERADADERA, O AMBAS LO SON. EN ESTE CASO, LA AFIRMACIÓN ES POR UNA DE LAS
DOS PROPOSICIONES, ASEGURO QUE AL MENOS UNA ES VERDADERA, PUDIENDO SER CUALQUIERA VERDADERA
O AMBAS. EN ESTE CASO, LA DISYUNCIÓN SOLAMENTE SERÁ FALSA (HABRE MENTIDO) SI AMBAS SON FALSAS;
EN CUALQUIER OTRO CASO, LA DISYUNCIÓN SERÁ VERDADERA.

LA REGLA SERÁ: UNA DISYUNCIÓN ES FALSA SOLO SI AMBAS PROPOSICIONES SON FALSAS.

P Q PVQ
V V V
V F V
F V V
F F F

Modalidad Virtual
 LOGICA PROPOSICIONAL
DISYUNCIÓN EXCLUYENTE (P V Q): U O-EXCLUSIVO U O-EXCLUYENTE. ES UN OPERADOR BINARIO. AFIRMA QUE SOLAMENTE
UNA DE LAS DOS ES VERDADERA. LA VERACIDAD DE UNA PROPOSICIÓN EXCLUYE LA VERACIDAD DE LA OTRA. PERO AL MENOS
UNA DEBE SER VERDADERA. EN ESTE CASO ESTOY AFIRMANDO QUE SOLAMENTE UNA DE LAS PROPOSICIONES ES VERDADERA,
Y NO LAS DOS. PERO AL MENOS UNA SÍ LO ES.

POR EJEMPLO: «VOY A CENAR A LOS DE JUAN O A LO DE MARIO». ENTONCES, SI VOY A CERNA A ALGUNA DE LAS DOS CASAS,
LO QUE DIE FUE VERDADERO. SI NO VY A NINGUNA DE LAS CASAS, ENTONCES MENTÍ, Y LA COMBINACIÓN ES FALSA. LA
SITUACIÓN QUE UEDE SER EXTRAÑA ES QUE SI AMBAS SON VERDADERAS, ENTONCES LA COMBINACIÓN ES FALSA: FUI A CENAR
A AMBAS CASAS (PRIMERO A UNA Y LUEGO A OTRA, APROVECHANDO LOS HORARIOS DE CENA DISTINTOS DE LOS DOS
HOGARES), POR TANTO MENTÍ (OCULTÉ QUE IBA A COMER TANTO).

P Q PVQ
V V F
V F V
F V V
F F F

Modalidad Virtual
 LOGICA PROPOSICIONAL
IMPLICACIÓN (P → Q): ES UN OPERADOR BINARIO. ES UNA EXPRECIÓN QUE AFIRMA QUE ALGO ES VERDADERO SI HAY UNA
CONDICIÓN PREVIA QUE SEA VERDADERA. EN ESTE CASO, AFIRMO QUE SI SE CUMPLE P, ENONCES SE CUMPLE Q O HARÉ Q,
PERO NO AFIRMO QUE SUCEDE SI NO SE CUMPLE P.

EJEMPLO: «SI LLUEVE VOY AL CINE». EN ESTE CASO ESTOY DICIENDO QUE SI LLUEVE VOY AL CINE, PERO NO DIGO QUE HARÉ SI
NO LLUEVE. POR TANTO, SI NO LLUEVE (P ES FALSO), NO IMPORTA LO QUE HAGA (CUAL ES EL VALOR DE Q), YO NO MENTÍ, PUES
SOLO ASEGURÉ Q SI PASABA P. POR OTRO LADO, SI SUCEDE P, MI AFIRMACIÓN SERÁ VERDADERA SI Q ES VERDADERA, DE LO
CONTRARIO MI AFRIMACIÓN SERÁ FALSA (MENTÍ).

REGLA: UNA IMPLICACIÓN ES FALSA SOLAMENTE SI LA PRIMERA PROPOSICIÓN (ANTECEDENTE) ES VERDADERA, Y LA

SEGUNDA (CONSECUENTE) ES FALSA.

P Q P→Q LO QUE PUEDE RESULTAR «EXTRAÑO» ES QUE SI LAS DOS

V V
V F
F V
F F
PROPOSICIONES SON FALSAS LA AFIRMACIÓN ES
V
VERDADERA. ESTO SE ENTIENDE PORQUE YO ASEGURO
F QUE HARÉ ALGO (Q) SI SE CUMPLE OTRO ALGO (P), PER SI
NO SE CUMLE P, YO NO ESTOY OBLIGADO A NADA, Y POR
V TANTO NO INCURRO EN UNA MENTIRA. ESTRICTAMENTE
V NO PODRÉ DECIR QUE MENTÍ, ASÍ QUE SI NO ES FALSA LA
AFIRMACIÓN EN SU CONJUNTO, ENTONCES ES
VERDADERA.
Modalidad Virtual
 LOGICA PROPOSICIONAL
DOBLE IMPLICACIÓN (P ↔ Q): ES EQUIVALENTE A LA CONJUNCIÓN DE LA IMPLICACIÓN Y SU RECÍPROCA: (P ↔
Q) EQUIVALE A (P →Q ) Ʌ (Q → P). LA FORMA DE OBTENER LA TABLA DE VERDAD EN ESTE CASO, ES OBTENER
LAS TABLAS DE VERDAD DE (P →Q ) PRIMERO, LUEGO LA TABLA DE VERDAD DE (Q → P), Y LUEGO LA TABLA DE
VERDAD DE LA CONJUNCIÓN DE AMBAS.

EN EL PRIMER CUADRO QUE SIGUE, VOY RESOLVIENDO LAS COLUMNAS DE A UNA. LA SEGUNDA TABLA ES LA
EQUIVALENTE A LA PRIMERA TOMANDO SUS DOS PRIMERAS COLUMNAS (COLUMNA P Y COLUMNA Q) Y SU
ÚLTIMA CLUMNA: (P ↔ Q) EQUIVALE A (P →Q ) Ʌ (Q → P).

P Q P→Q Q→P (P →Q ) Ʌ (Q → P) P Q P↔Q

V V V V V V V V
V F F V F V F F
F V V F F F V F
F F V V V F F V

Modalidad Virtual
 LOGICA PROPOSICIONAL
DEMOSTRACIÓN DE TEOREMAS:

MUCHAS VECES, PARA REALIZAR LA DEMOSTRACIÓN DE UN TEOREMA, SE UTILIZA ALGUNO DE LOS MÉTODOS
SIGUIENTES: DIRECTO E INDIRECTO.

PRIMERO DIREMOS QUE UN TEOREMA TIENE LA FORMA DE UNA IMPLICACIÓN O DOBLE IMPLICACIÓN. EL
ANÁLISIS LO HAREMOS PARA LA IMPLICACIÓN SIMPLE Y ES FÁCILMENTE EXTENSIBLE A UNA DOBLE IMPLICACIÓN
AL TENER EN CUENTA QUE UNA DOBLE IMPLICACIÓN ES LA CONJUNCIÓN ENTRE UNA IMPLICACIÓN SIMPLE Y SU
RECÍPROCA.

SI TENEMOS EL TEOREMA (P →Q), SABEMOS POR SU TABLA DE VERDAD QUE:

• MÉTODO DIRECTO: SI P ES FALSO, ENTONCES EL TEOREMA ES VERDADERO. SOLO ESTO PODEMOS

ASEGURAR CON ESTE VALOR DE P. EN CASO CONTRARIO, DEBEMOS ANALIZAR EL VALOR DE Q.

• MÉTODO INDIRECTO: SI Q ES VERDADERO, ENTONCES EL TEOREMA ES VERDADERO. SOLO ESTO

PODEMOS ASEGURAR CON ESTE VALOR DE Q. EN CASO CONTRARIO, DEBEMOS ANALIZAR EL VALOR DE P.

Modalidad Virtual
LOGICA PROPOSICIONAL

p q R p→q (p → q) → r
V V V V V
V V F V F
V F V F V
V F F F V
F V V V V
F V F V F
F F V V V
F F F V F

Modalidad Virtual
 LOGICA PROPOSICIONAL

p q r p q r
V V V 1 1 1
V V F 1 1 0
V F V 1 0 1
V F F 1 0 0
F V V 0 1 1
F V F 0 1 0
F F V 0 0 1
F F F 0 0 0

Modalidad Virtual
 LOGICA PROPOSICIONAL

(P Ʌ Q)
P Q ~P ~Q PɅQ ~P Ʌ ~Q ↔
(~P Ʌ ~Q)
V V F F V F F
V F F V F F V
F V V F F F V
F F V V F V F

Modalidad Virtual
LOGICA PROPOSICIONAL

p Q R PɅQ PVR (P Ʌ Q)
→ (P V R)
V V V V V V
V V F V V V
V F V F V V
V F V F V V
F V V F V V
F V F F F V
F F V F V V
F F F F F V

Modalidad Virtual
 LOGICA PROPOSICIONAL

~(P V Q)
P Q ~P ~Q PVQ ~(P V Q) ~P Ʌ ~Q ↔
~P Ʌ ~Q
V V F F V F F V
V F F V V F F V
F V V F V F F V
F F V V F V V V

Modalidad Virtual
 LOGICA PROPOSICIONAL

(~p V ~q)
P Q ~P ~Q (~p V ~q) (p Ʌ q) ~(p Ʌ q) ORX
~(p Ʌ q)
V V F F F V F F
V F F V V F V F
F V V F V F V F
F F V V V F V F

Modalidad Virtual
 LOGICA PROPOSICIONAL

(~p V ~q)
P Q ~P ~Q ->
~(p Ʌ q)
V V F F
V F F V
F V V F
F F V V

Modalidad Virtual
 LOGICA PROPOSICIONAL

(~p Ʌ ~q)
P Q ~P ~Q ORX
~(p V q)
V V F F
V F F V
F V V F
F F V V

Modalidad Virtual
 LOGICA PROPOSICIONAL

(~p Ʌ ~q)
P Q ~P ~Q ->
~(p V q)
V V F F
V F F V
F V V F
F F V V

Modalidad Virtual
LOGICA PROPOSICIONAL

Modalidad Virtual