MATEMÁTICA I EFG

LÓGICA PROPOSICIONAL
El gran filósofo Aristóteles de Estagira, “Padre de la Lógica”, escribió la obra “Organon”, palabra que
literalmente significa instrumento, y se entiende cómo el medio para el desarrollo de la ciencia y el
conocimiento. La lógica es, por tanto, el instrumento para desarrollar el pensamiento, el
razonamiento en base a las leyes lógicas.

LÓGICA: La lógica es la ciencia formal que estudia los principios y procedimientos que permiten
demostrar la validez e invalidez de las inferencias o razonamientos deductivos.

LÓGICA DE PROPOSICIONES.- Es una rama de la lógica clásica que estudia las variables
proposicionales o sentencias lógicas, sus posibles implicaciones, evaluaciones de verdad y en algunos
casos su nivel absoluto de verdad. Algunos autores también la identifican con la lógica matemática,
ya que utiliza una serie de símbolos especiales que lo acercan al lenguaje matemático.

PROPOSICIÓN: La proposición es una oración declarativa o aseverativa, que tiene dos valores de
la verdad mutuamente excluyentes: verdadero o falso. Las proposiciones se representan por las letras
minúsculas: p, q, r, s, t, .....

Ejemplos:
1. La frase “1=1”es una proposición, puesto que puede ser verdadero o falso. Resulta ser un
enunciado verdadero.
2. La frase "1=0" también es un proposición, pero su valor de verdad es F.
3. El cuadrilátero es un polígono de cuatro lados. Es una proposición.

Para que una expresión lingüística sea proposición debe cumplir con los siguientes requisitos:
1. Ser oración.
2. Ser oración aseverativa, y
3. Ser o bien verdadera o bien falsa.

1
MATEMÁTICA I EFG
Así por ejemplo tenemos las siguientes proposiciones:
a) p: Alejandro Toledo fue el presidente del Perú.
Luego: 𝒗(𝒑) = 𝑽 y se lee: “el valor de la verdad de p es verdadero”

b) q: Francisco Bolognesi murió en Angamos

Luego: 𝒗(𝒒) = 𝑭 y se lee: “el valor de la verdad de q es falso”

c) r: Caracas es la capital de Venezuela

Luego: 𝒗(𝒓) = 𝑽 y se lee: “el valor de la verdad de r es verdadero”

Todas las proposiciones son oraciones, pero no todas las oraciones son proposiciones, esto es las oraciones
interrogativas, exhortativas o imperativas, las desiderativas y las exclamativas o admirativas NO son
proposiciones.

Ejemplos.
1. ¿Qué es Lógica?
2. Debemos honrar a nuestros héroes.
3. ¡Por Júpiter! ¡Casi me saco la lotería!
4. Quizá llueva mañana.
5. "Haz los ejercicios de lógica" No es una proposición, puesto que no se le puede asignar ningún
valor de verdad (Está en modo imperativo, es una orden, y no una frase declarativa)
Toda proposición es una oración aseverativa, pero no toda oración aseverativa es una proposición.

ENUNCIADO: Denominamos asís a toda frase u ración.

Por ejemplo:
1. ¡Auxilio, me ahogo! (Exclamativa)
2. No conversen en clase (Desiderativa)
3. Lima es la capital del Perú (Afirmativa)
4. ¿Qué día es hoy? (Interrogativa)

ENUNCIADOS NO PROPOSICIONALES: Se llama así a aquellas expresiones o enunciados

exclamativos, interrogativos y desiderativos. De estos no se puede saber si son verdaderos o falsos,
porque no afirman ni niegan nada.

Ejemplos:
 ¡Uff, que calor!
 ¿están cansados?
 Escriban rápido

2
MATEMÁTICA I EFG
ENUNCIADO ABIERTO: Se llama así a aquellos enunciados que contienen una o más variables. Estos
no pueden ser ni verdaderos ni falsos, ya que no afirman nada.

Ejemplos:
 X es la capital de Uruguay.
 X es un planeta del sistema solar.
 𝑥 − 13 = 28
 2𝑥 − 7 > 13
 X es una vocal

Sin embargo, estos enunciados abiertos se pueden convertir en proposiciones verdaderas o falsas -
¿cómo? – reemplazando la variable o variables por un nombre, palabra, número, letra o cualquier
símbolo, según sea el caso. Así del primer ejemplo tenemos:

a) X es la capital de Uruguay
Si X=Buenos Aires entonces la expresión se lee:
“Buenos Aires es la capital de Uruguay”
Se observa el enunciado abierto se convirtió en una proposición falsa.
Si X=Montevideo entonces la expresión se lee:
“Montevideo es la capital de Uruguay”
Ahora el enunciado abierto se convirtió en una proposición verdadera.

b) X es un planeta del sistema solar

Marte es un planeta del sistema solar. Es una proposición verdadera.
Tokio es un planeta del sistema solar. Es una proposición falsa.

c) 𝑥 − 13 = 28
 50 menos 13 es igual a 28. Es una proposición falsa.
 41 menos 13 es igual a 28. Es una proposición verdadera.
d) 2𝑥 − 7 > 13
 “𝑥 = 11” es una vocal. Es una proposición verdadera.
 “𝑥 = 8” es una vocal. Es una proposición falsa.

e) X es una vocal
 “a” es una vocal. Es una proposición verdadera.
 “2” es una vocal. Es una proposición falsa.

3
MATEMÁTICA I EFG
CLASES DE PROPOSICIONES
Estas pueden ser de dos clases: simples y compuestas.

LAS PROPOSICIONES SIMPLES (atómicas o elementales): Son aquellas proposiciones que

tienen un solo sujeto y un solo predicado. Carecen de conjunciones gramaticales típicas o conectivas
(‘y’, ‘o’, ‘si... entonces’, ‘si y sólo si’) o del adverbio de negación ‘no’.
Ejemplos:
1. San Marcos es la universidad más antigua de América.
2. La lógica es distinta a la Matemática.
Las proposiciones simples de acuerdo a sus elementos constitutivos pueden clasificarse en
predicativas y relacionales.

Las proposiciones predicativas constan de sujeto y predicado.

Ejemplos:
1. El número 2 es par.
2. El espacio es relativo.
Las proposiciones relacionales constan de dos o más sujetos vinculados entre sí.

Ejemplos
1. Silvia es hermana de Angélica.
2. 5 es mayor que 3.

LAS PROPOSICIONES COMPUESTAS: También llamadas proposiciones moleculares o

coligativas. Se denomina así a aquellas que están constituidas por dos o más proposiciones simples.
Estas proposiciones Simples están unidas a través de conectivos lógicos.

CONECTIVO LÓGICO SÍMBOLO

Y ˄
O ˅
O…O….. ∆
Si … entonces … →
Si y solo si ↔
no ¬ 𝒐 ῀

Ejemplos:
1. La lógica y la Matemática son ciencias formales.
𝑝: La Lógica es una ciencia formal.
𝑞: La Matemática es una ciencia formal.

4
MATEMÁTICA I EFG
2. El tiempo es absoluto o es relativo.
𝑝: El tiempo es absoluto.
𝑞: El tiempo es relativo.

3. Si dos ángulos adyacentes forman un par lineal, entonces son suplementarios.

𝑝: Dos ángulos adyacentes forman un par lineal.
𝑞: Dos ángulos adyacentes son suplementarios.

4. Este número es par si y sólo si es divisible por dos.

𝑝: Este número es par
𝑞: Este número es divisible por dos.
5. El Inca Garcilaso de la Vega no es un cronista puneño.
𝑝: El Inca Garcilaso de la Vega es un cronista puneño.

Lenguaje de la Lógica Proposicional

 La siguiente tabla describe todo el alfabeto utilizado en la lógica proposicional

𝑪𝒐𝒏𝒔𝒕𝒂𝒏𝒕𝒆𝒔: 𝑽 ; 𝑭
Variables o letras proposicionales: 𝒑, 𝒒, 𝒓, 𝒔, 𝒕, 𝒖, 𝒗, 𝒘 … ..
Símbolos de Conectivos: ∿, ∧, ∨, → , ↔
Signos de agrupación: ( ), [ ], { }

Sintaxis de la Lógica Proposicional (LP)

1. Las constantes V (verdadero) y F (falso) perteneces a la LP
2. Las letras de la proposición p, q, r, s, … pertenecen a la LP.
3. Sí “p” y “q” pertenecen a la LP, entonces ∿𝑝, ∿𝑞, (𝑝 ∨ 𝑞), (𝑝 ∧ 𝑞), (𝑝 ⟶ 𝑞), (𝑝 ⟷ 𝑞) pertenecen
a la LP.
4. Se establece la jerarquía de operaciones:
I. ∿
II. ∧ ; ∨
III. →; ↔

APLICACIONES DE LA LÓGICA EN LA COMPUTACIÓN:

 Lenguajes de programación: como se estructura la lógica de un programa.
 Bases de datos: lenguajes de consulta.
 Inteligencia artificial: técnicas para el razonamiento, deducción de conocimiento.
 Análisis y diseño de algoritmos: análisis de complejidad de los problemas.

5
MATEMÁTICA I EFG
CONECTIVOS LÓGICOS
Nombre del conectivo Representación Ejemplos de frases en las que aparece
Negación ~𝑝 ; ¬𝑝 No p
Es falso que p
No es cierto que p
Conjunción 𝑝∧𝑞 pyq
p pero q
p sin embargo q
p no obstante q
p a pesar de q
Disyunción 𝑝∨𝑞 O p o q o ambos
Al menos p o q
Como mínimo p o q
Condicional 𝑝→𝑞 Si p entonces q
p sólo si q
q si p
q cuando p
q es necesario para p
para p es necesario q
p es suficiente para q
para q es suficiente p
no p a menos que q
Bocindicional 𝑝↔𝑞 p si y solo si q
p es necesario y suficiente para q

EJERCICIOS
I. Dados los siguientes enunciados, diga ¿cuáles son proposiciones (P)? ¿Cuáles son enunciados no
proposicionales (ENP)? ¿Cuáles son enunciados abiertos (EA)?

1. 13 es un número par P 1) ¡Alto, deténgase! ENP

2. ¿todos asistieron a clase? ENP 2) 3x = 15 para x=5 P
3. No deben llegar tarde ENP 3) ¿Melissa está llorando? ENP
4. Melissa está llorando P 4) 𝟕𝒙 + 𝟖 = 𝟑𝒙 + 𝟑𝟐 EA
5. 𝒙 + 𝟐 = 𝟓 EA 5) 72 = 15 𝒐 75 ÷ 5 = 15 P
6. La ballena es un mamífero. P 6) Honduras es un país asiático P
7. 42 + 22 = 20 P 7) 𝟏𝟐 − 𝒙 < 𝟓 EA
8. x es divisor de 24 EA 8) ¡No peleen! ENP
9. ¿Dónde vives? ENP 9) No conversen en clase. ENP
10. España, Italia y México son países 10) Génova es una ciudad de Italia. P
europeos. P

6
MATEMÁTICA I EFG

II. Convierta cada uno de los enunciados abiertos de la pregunta I, en proposiciones verdaderas
y falsas.

𝒙+𝟐=𝟓 𝟕𝒙 + 𝟖 = 𝟑𝒙 + 𝟑𝟐
3 más 2 es igual a 5 V 𝟕𝒙 + 𝟖 = 𝟑𝒙 + 𝟑𝟐 para 𝒙 = 𝟔 V
6 más 2 es igual a 5 F 𝟕𝒙 + 𝟖 = 𝟑𝒙 + 𝟑𝟐 para 𝒙 = 𝟒 F
𝒙 Es divisor de 24 𝟏𝟐 − 𝒙 < 𝟓
3 es divisor de 24 V 12 menos 9 es menor que 5 V
7 es divisor de 24 F 12 menos 3 es menor que 5 F

III. Halle el valor de la verdad de las siguientes proposiciones:

1) México es un país europeo F 7) Londres es la capital de Alemania F

2) Las aves son animales mamíferos F 8) 34 + 43 = 0 F
3) 12 es un múltiplo de 24 F 9) 13 es un número primo. V
4) 20 es un número compuesto V 10) Chocó es una ciudad de Colombia. V
5) El Rímac es el río más caudaloso
del mundo. F
6) 7 es un divisor de 87 F

IV. Dados los siguientes conjuntos y sus respectivos enunciados abiertos, verifique para qué valores
de “x” la proposición es verdadera.

a) 𝐴 = {𝑋⁄𝑋 𝑒𝑠 𝑢𝑛𝑎 𝑣𝑜𝑐𝑎𝑙} j) F={x / x ∈N , x es mayor que 4 y menor 10}

𝒙=𝒖 𝒙=𝟕
b) 𝐵 = {𝑋⁄𝑋 es un día de la semana}
k) G={x / x∈N ∧ x es mayor que 7}
𝒙 = 𝒎𝒂𝒓𝒕𝒆𝒔
c) P={x/ x es una estación del año} 𝒙=𝟖

𝒙 = 𝒗𝒆𝒓𝒂𝒏𝒐 l) D={x / x es un número natural impar mayor

d) R={x/ x es un mes del año} que 13}

𝒙 = 𝒆𝒏𝒆𝒓𝒐 𝒙 = 𝟐𝟕
e) M={x/ x es un mes de 30 días}
𝒙 = 𝒂𝒃𝒓𝒊𝒍
f) D={x/ x es un Ministro del Perú}
𝒙 = 𝑴𝒊𝒓𝒕𝒂 𝑽á𝒔𝒒𝒖𝒆𝒛
g) C={x / x es un planeta del Sistema
Solar
𝒙 = 𝑱ú𝒑𝒊𝒕𝒆𝒓

7
MATEMÁTICA I EFG
V. Sean las siguientes proposiciones:
p: Manuel estudia ;
q: Manuel aprueba el curso
Exprese verbalmente las siguientes proposiciones:

a) 𝑝 ∧ 𝑞: Manuel estudia y aprueba el curso.

b) 𝑞 ∧∼ 𝑝 ∶ Manuel aprueba el curso y no estudia.
c) 𝑝 ∨ 𝑞 ∶ Manuel estudia o aprueba el curso.
d) ∼ 𝒒 ∨ 𝒑 ∶ Manuel no aprueba el curso o estudia.
e) 𝒑 → 𝒒 ∶ Si Manuel estudia entonces aprueba el curso.
f) ∼ 𝒒 ↔ 𝒑 ∶ Manuel no aprueba el curso si y sólo si estudia.
g) 𝒑 ↔∼ 𝒒 ∶ Manuel estudia si y sólo si no aprueba el curso.
h) ∼ 𝒑 →∼ 𝒒 ∶ Si Manuel no estudia entonces Manuel no aprueba el curso.
i) ∼ 𝒒 ↔∼ 𝒒 ∶ Manuel no aprueba el curso si y sólo si Manuel no aprueba el curso.
j) ∼ (∼ 𝒑) ∶ Es falso que Manuel no estudia
k) ∼ (∼ 𝒑 ∧ 𝒒): Es falso que Manuel no estudia y aprueba el curso.
l) ∼ (𝒒 →∼ 𝒑): Es falso que si Manuel aprueba el curso entonces Manuel no estudia.

ACTIVIDAD 1: En las siguientes proposiciones determine las proposiciones simples.

A. Si Carlos es ateo y Federico es ateo entonces Carlos es materialista y Federico es
materialista.
B. Los actos del Presidente de la República son nulos siempre que no tengan
refrendación ministerial.
C. Si alguien es sabio, es una persona inteligente. Si una persona es inteligente, entonces calla
sobre aquello que no sabe. Por tanto, si alguien es sabio, calla sobre lo que no sabe.
D. Pedro llegará a la hora exacta al examen de Matemática si no tuvo problemas en casa. Sus
compañeros darán examen de Matemática si Pedro llega a la hora exacta al examen de
Matemática. Por lo tanto, si Pedro no tuvo problemas en casa, sus compañeros darán examen
de Matemática.

8
MATEMÁTICA I EFG
CLASIFICACIÓN DE LAS PROPOSICIONES COMPUESTAS
Las proposiciones compuestas, según el tipo de conjunción que llevan, se clasifican en
conjuntivas, disyuntivas, condicionales y bicondicionales; si llevan el adverbio de
negación ‘no’ se llaman negativas.

LAS PROPOSICIONES CONJUNTIVAS: llevan la conjunción ‘y’, además sus expresiones

equivalentes como ‘e’, ‘pero’, ‘aunque’, ‘aun cuando’, ‘tanto... como...’, ‘sino’, ‘ni... ni ‘, ‘sin
embargo’, ‘además’, etc.

Ejemplos:
1. ‘El’ es un artículo y ‘de’ es una p r e p o s i c i ó n .
𝑝: “El” es un artículo.
𝑞: “de” es un preposición
2. El número dos es par, pero el número tres es impar.
𝑝: El número dos es par.
𝑞: el número tres es impar.
3. Silvia es inteligente, sin embargo, es floja .
𝑝: Silvia es inteligente.
𝑞: Silvia es f loja .
4. Tanto el padre como el hijo son m e l ó m a n o s .
p: El padre es melómano.
q: El hijo es melómano.
5. Manuel e Ismael son universitarios.
𝑝: Manuel es universitario.
𝑞: Ismael es universitario.

En las proposiciones conjuntivas no es necesario que sus componentes estén relacionadas en

cuanto al contenido; es suficiente la presencia de la conjunción ‘ y ’ . Una proposición conjuntiva es
conmutativa, es decir, se puede permutar el orden de sus componentes sin alterar la conjunción.

Ejemplos
1. Sansón y Dalila son hermanos.
2. Luis y Delia son primos.
3. Luis y Juana son vecinos.

9
MATEMÁTICA I EFG
CONJUNCIÓN ().- Representa al conectivo “y”, es verdadera cuando las dos proposiciones p y q son
verdaderas, en cualquier otro caso es falsa. Para hallar el valor de la verdad de una conjunción se
utilizará la siguiente tabla:
P Q 𝒑 ∧ 𝒒
V V V
V F F
F V F
F F F

a) La ballena es un animal mamífero, pero vive en el mar

Luego:
p: La ballena es un mamífero v(p)=V
q: La ballena vive en el mar v(q)=V
Por lo tanto: 𝒗(𝒑 ∧ 𝒒) = 𝐕
b) Cuba y Chile son países sudamericanos.
Luego
p: Cuba es un país sudamericano v(p)=F
q: Chile es un país sudamericano v(q)=V
Por lo tanto: 𝒗(𝒑 ∧ 𝒒) = 𝑭

LAS PROPOSICIONES DISYUNTIVAS: llevan la conjunción disyuntiva ‘o’, o sus expresiones

equivalentes como ‘u’, ‘ya... ya’, ‘bien... bien’, ‘sea...sea’, ‘y/o’, etc.
En español la disyunción ‘o’ tiene dos sentidos: uno inclusivo o débil y otro exclusivo o fuerte.
 La proposición disyuntiva inclusiva admite que las dos alternativas se den conjuntamente.
 La proposición disyuntiva exclusiva no admite que las dos alternativas se den
conjuntamente.
Ejemplos:
a) Pedro es tío o es sobrino. (disyuntivas inclusivas o débiles)
b) Elena está viva o está muerta. (es disyuntivas exclusivas o fuertes)
c) Roberto es profesor o es estudiante. (disyuntivas inclusivas o débiles)
d) Silvia es soltera o es casada. (es disyuntivas exclusivas o fuertes)
 ‘a)’ y ‘c)’ son proposiciones disyuntivas inclusivas o débiles porque en ellas no se excluye
la posibilidad de que Pedro pueda ser al mismo tiempo tío y sobrino o de que Roberto sea
profesor y estudiante a la vez.
 ‘b)’ y ‘d)’ son proposición es disyuntivas exclusivas o fuertes porque en ellas se excluye
la posibilidad de que Elena pueda estar viva y muerta al mismo tiempo y que Silvia sea
soltera y casada a la v e z .

10
MATEMÁTICA I EFG
DISYUNCIÓN INCLUSIVA (V): Representa al conectivo “o”, es verdadera si al menos una de las
proposiciones componentes es verdadera, resultando falsa solo cuando las dos son falsas. Para hallar el
valor de la verdad de una disyunción inclusiva se utilizará esta tabla:

P Q 𝒑 ∨ 𝒒
V V V
V F V
F V V
F F F

a) Camaná ó Jaén son ciudades del Perú

p: Camaná es una ciudad del Perú v(p)=V
q: Jaén es una ciudad del Perú v(q)=V
Por lo tanto: 𝒗(𝒑 ∨ 𝒒) = 𝑽
𝒗(𝑽 ∨ 𝑽) = 𝑽
b) Todo triángulo en el plano tiene tres ángulos rectos ó dos ángulos obtusos
p: Todo triángulo en el plano tiene tres ángulos rectos v(p)=F
q: Todo triángulo en el plano tiene dos ángulos obtusos v(q)=F
por lo tanto: 𝒗(𝒑 ∨ 𝒒) = 𝑭
𝒗(𝑭 ∨ 𝑭) = 𝑭

DISYUNCIÓN EXCLUSIVA (). - Representa al conectivo “o” en su sentido excluyente, es verdadera

cuando solamente una de las proposiciones es verdadera y no las dos, resultando falsa en otros casos.
Para hallar el valor de la verdad de una disyunción exclusiva se utilizará esta tabla: “O p ó q”.

P Q 𝒑 ∆ 𝒒
V V F
V F V
F V V
F F F

a) O William Shakespeare es autor de Hamlet o es autor de la Iliada.

p: William Shakespeare es autor de Hamlet v(p)=V
q: William Shakespeare es autor de la Iliada v(q)=F
por lo tanto: 𝒗(𝒑∆𝒒) = 𝑽

11
MATEMÁTICA I EFG
LAS PROPOSICIONES CONDICIONALES: llevan la conjunción condicional compuesta
‘si.........entonces.....’, o sus expresiones equivalentes como ‘si’, ‘siempre que’, ‘con tal que’,
‘puesto que’, ‘ya que’, ‘porque’, ‘cuando’, ‘de’, ‘a menos que’, ‘a no ser que’, ‘salvo que’, ‘sólo
si‘, ‘solamente si’.
Ejemplos:
1. Si es joven, entonces es rebelde.
p: es joven
q: es rebelde
2. Es herbívoro si se alimenta de plantas.
Si se alimenta de plantas entonces es herbívoro.
p: se alimenta de plantas
q: es herbívoro
3. El número cuatro es par puesto que es divisible por dos.
Si el número cuatro es par entonces es divisible por dos.
p: el número cuatro es par
q: el número cuatro es divisible por dos
4. Se llama isósceles siempre que el triángulo tenga dos lados iguales.
Si el triángulo tenga dos lados iguales entonces el triángulo se llama isósceles.
p: El triángulo tenga dos lados iguales.
q: El triángulo se llama isósceles.

LA CONDICIONAL ().- Representa al conectivo “si...entonces”, es falsa solamente cuando el

antecedente es verdadero y el consecuente es falso, siendo verdadera en todos los demás casos. La
tabla de verdad de una condicional es:
P Q 𝒑 → 𝒒
V V V
V F F
F V V
F F V

a) Si 5+3=7 entonces 7< 6

p: 5+3=7 (antecedente) v(p)=F
q: 7<6 (consecuente) v(q)=F
Por lo tanto: 𝒗(𝒑 ⟶ 𝒒) = 𝑽
b) Si los monos son animales entonces la Tierra es plana
p: Los monos son animales (antecedente) v(p)=V
q: La Tierra es plana (consecuente) v(q)=F
Por lo tanto 𝒗(𝒑 ⟶ 𝒒) = 𝑭

12
MATEMÁTICA I EFG
PROPOSICIÓN RECIPROCA.- Dada la proposición condicional “𝒑 ⟶ 𝒒”, se llama proposición
recíproca a la proposición que se denota por “𝒒 ⟶ 𝒑”.
Ejemplo
La proposición directa: 𝒑 ⟶ 𝒒 “Si 12 es par, entonces es múltiplo de 2”
La proposición reciproca: 𝒒 ⟶ 𝒑 “Si 12 es múltiplo de 2, entonces es par”

PROPOSICIÓN INVERSA: Dada la proposición condicional "𝒑 ⟶ 𝒒", se llama proposición inversa a
la proposición que se denota por ~𝒑 ⟶ ~𝒒.
Ejemplo
La proposición directa: 𝒑 ⟶ 𝒒
“Si Patricia tiene 20 años, entonces es joven”
La proposición inversa ~𝒑 ⟶ ~𝒒
“Si patricia NO tiene 20 años, entonces NO es joven”

PROPOSICIÓN CONTRARRECÍPROCA: Dada la proposición condicional “𝒑 ⟶ 𝒒”, se llama

proposición contrarecíproca a la proposición que se denota por “~𝒒 ⟶ ~𝒑”.
Ejemplo
La proposición directa: 𝒑 ⟶ 𝒒
“Si dos rectas son perpendiculares a una misma recta, entonces son paralelas”
La proposición contrareciproca “~𝒒 ⟶ ~𝒑
“Si dos rectas NO son paralelas, entonces, NO son perpendiculares a una misma recta”

LAS PROPOSICIONES BICONDICIONALES llevan la conjunción compuesta ‘sí y sólo si’, o

sus expresiones equivalentes como ‘cuando y sólo cuando’, ‘si..., entonces y sólo entonces...’,
etc.
Ejemplos:
1. Es fundamentalista si y sólo si es talibán.
p: Es fundamentalista.
q: es talibán.
2. Habrá cosecha cuando y sólo cuando llueva.
p: Habrá cosecha.
q: llueva.
3. Si logro un promedio de 13.5, entonces y sólo entonces aprobaré la asignatura.
p: logro un promedio de 13.5
q: ingresaré la asignatura.

13
MATEMÁTICA I EFG
LA BICONDICIONAL (): Representa al conectivo “si y solo si”, es verdadera cuando las
proposiciones componentes tienen el mismo valor de verdad, en otros casos es falsa. Para hallar el valor
de la verdad de una bicondiconal se utilizará la siguiente tabla:
P Q 𝒑 ↔ 𝒒
V V V
V F F
F V F
F F V

a) Sea el siguiente enunciado: "Un ser está vivo, si y sólo si, tiene respiración"
p: Un ser está vivo v(p)=V
q: Un ser tiene respiración v(q)=V
Por lo tanto: 𝒗(𝒑 ⟷ 𝒒) = 𝑽

LAS PROPOSICIONES NEGATIVAS llevan el adverbio de negación ‘no’, o sus expresiones

equivalentes como ‘nunca’, ‘jamás’, ‘tampoco’, ‘no es verdad que ‘, ‘no es cierto que’, ‘es falso que’,
‘le falta’, ‘carece de’, ‘sin’, etc.
Ejemplos:
1. Nunca he oído esa música.
p: He oído esa música.
2. Jamás he visto al vecino.
p: He visto al vecino.
3. Es imposible que el átomo sea molécula.
p: El átomo es una molécula.
NEGACIÓN (~). - El valor de la negación de un enunciado es siempre opuesto al valor de verdad del
enunciado. Para hallar el valor de la verdad de una negación se utilizará la siguiente tabla:
𝑃 ~𝑷
V F
F V
Ejemplo:
a) Hoy no es miércoles.
p: Hoy es miércoles v(p)=F
~𝒑: Hoy no es miércoles v(p)=V
Otra forma de expresar la negación es utilizando los términos “no es el caso que”, “es falso que”, “no
es cierto que”, etc. Aunque en estos casos generalmente la negación niega a proposiciones compuestas.
ACTIVIDAD 2 INDIVIDUAL
Escribir 2 proposiciones conjuntivas, 2 proposiciones disyuntivas inclusivas, 2 proposiciones disyuntivas
exclusivas, 2 proposiciones condicionales, 2 proposiciones bicondicionales, 2 proposiciones negativas,
usando términos de su especialidad.

14
MATEMÁTICA I EFG
TABLAS DE VERDAD
Conectivos lógicos.- La construcción de proposiciones compuestas requiere del uso de elementos que
permitan establecer una relación entre las proposiciones que la forman; estos elementos se conocen como
conectivas lógicas.

Tablas de Verdad de los conectivos lógicos: Sean p y q dos proposiciones

p q pq pVq pq pq pq ~p
V V V V F V V F
V F F V V F F F
F V F V V V F V
F F F F F V V V

 El número de arreglos se define como sigue: 2𝑛 , donde n es el número de variables

proposicionales.
 Entonces, s𝑖 𝑛 = 2, 22 = 4.
 𝑆𝑖 𝑛 = 3 → 𝑝, 𝑞, 𝑟 ∴ 23 = 8

Ejemplos: Hallar la tabla de verdad de la siguiente formula lógica.

𝑎) ~[(𝑝˅𝑞)˄(~𝑞 → ~𝑝)]
p q ~ [ (𝑝 ˅ 𝑞) ˄ (~𝑞 → ~𝑝)]
V V F V V V V F V F
V F V V V F F V F F
F V F F V V V F V V
F F V F F F F V V V

b) [(𝑝 → 𝑞) ˄ (𝑞 → 𝑟)] → (𝑝 → 𝑟)
𝑝, 𝑞, 𝑟 → 𝑛 = 3, 23 = 8
p q r [(𝑝 → 𝑞) ˄ (𝑞 → 𝑟)] → (𝑝 → 𝑟)
V V V V V V V V V V V V V V
V V F V V V F V F F V V F F
V F V V F F F F V V V V V V
V F F V F F F F V F V V F F
F V V F V V V V V V V F V V
F V F F V V F V F F V F V F
F F V F V F V F V V V F V V
F F F F V F V F V F V F V F

15
MATEMÁTICA I EFG
CLASIFICACIÓN DE LAS FÓRMULAS COMPUESTAS POR SU MATRIZ PRINCIPAL
1. Formulas compuestas Tautológicas (Tautología).- Son aquellas donde los valores de su
matriz principal son todos verdaderos.
p q [ (𝑝 → 𝑞) ˄ ~𝑞 ] → ~𝑝
V V V V V F F V F
V F V F F F V V F
F V F V V F F V V
F F F V F V V V V

2. Formulas compuestas Contradictorias (Contradicciones).- Son aquellas donde todos los

valores de su matriz principal son todos falsos.
p q ~ [ (𝑝 ∧ 𝑞) → ~ (~𝑞 ∨ ~𝑝)]
V V F V V V V V F F F
V F F V F F V F V V F
F V F F F V V F F V V
F F F F F F V F V V V

3. Formulas compuestas Contingentes (Contingencias).- Son aquellos donde algunos de los

valores de su matriz principal son verdaderos y algunos son falsos.
p q [~ (𝑝 ∨ 𝑞) ∧ ~ 𝑝] ↔ (𝑞 → 𝑝)
V V F V V V F F F V V V
V F F V V F F F F F V V
F V F F V V F V V V F F
F F V F F F V V V F V F

IMPLICACIÓN Y EQUIVALENCIAS DE FÓRMULAS

Implicación de Fórmulas
 A toda proposición condicional p →q que sea tautología le llamaremos implicación lógica.
Ejemplo.
p q [((~𝑝) ˅ 𝑞) ˄ ~𝑞] → ~𝑝
V V F V V F F V F
V F F F F F V V F
F V V V V F F V V
F F V V F V V V V

16
MATEMÁTICA I EFG
 A toda bicondicional p ↔q que sea tautología se le llama Equivalencia Lógica.
p q [ 𝑝 ˄ (𝑝 ˅ 𝑞)] ↔ 𝑝
V V V V V V V V V
V F V V V V F V V
F V F F F V V V F
F F F F F F F V F

PROPOSICIONES LÓGICAMENTE EQUIVALENTES: Cuando sus tablas de verdad de dos

proposiciones p y q son idénticos se denominan equivalentes y se simboliza como 𝑝 ≡ 𝑞.

Ejemplos
1. (𝑝 → 𝑞) ≡ ( ~𝑞 → ~𝑝)
p q (𝑝 → 𝑞) ( ~𝑞 → ~𝑝)
V V V F V F
V F F V F F
F V V F V V
F F V V V V
2. ∿(𝑝 ∨ 𝑞) ≡ ( ~𝑝 ∧ ~𝑞)
p q ∿ (𝑝 ∨ 𝑞) ( ~𝑞 ∧ ~𝑝)
V V F V F F F
V F F V V F F
F V F V F F V
F F V F V V V

Teorema: La proposición condicional p → q y su contrarrecíproca ~q →~p son lógicamente equivalentes.

p q (𝑝 → 𝑞) ( ~𝑞 → ~𝑝)
V V V F V F
V F F V F F
F V V F V V
F F V V V V
3. (𝑝 → 𝑞) ≡ ( ~𝑝 ∨ 𝑞)
p q (𝑝 → 𝑞) ( ~𝑝 ∨ 𝑞)
V V V F V V
V F F F F F
F V V V V V
F F V V V F

17
MATEMÁTICA I EFG
LEYES DE EQUIVALENCIAS NOTABLES
Existen varias equivalencias entre fórmulas de la lógica proposicional, las cuales se conocen como leyes
de equivalencia.
EQUIVALENCIA NOMBRE
1 𝑃 ∨ ~𝑃 ≡ 𝑇 Ley del Tercio Excluido
2 𝑃 ∧ ~𝑃 ≡ 𝐹 Principio de No Contradicción
3 𝑃 ↔ 𝑄 ≡ (𝑃 → 𝑄) ∧ (𝑄 → 𝑃) Def. de la doble implicación en función de la implicación
4 𝑃 → 𝑄 ≡ ~𝑃 ∨ 𝑄 Def. de la implicación en función de la disyunción
5 𝑃 → 𝑄 ≡ ~(𝑃 ∧ ~𝑄) Def. de la implicación en función de la conjunción
6 𝑃∨𝐹 ≡𝑃 Ley de la Identidad
7 𝑃∧𝑇 ≡𝑃 Ley de la Identidad
8 𝑃∨𝑇 ≡𝑇 Ley de Dominación
9 𝑃∧𝐹 ≡𝐹 Ley de Dominación
10 𝑃∨𝑃 ≡𝑃 Ley de Idempotencia
11 𝑃∧𝑃 ≡𝑃 Ley de Idempotencia
12 ~(~𝑃) Ley de la Doble Negación
13 𝑃∨𝑄 ≡𝑄∨𝑃 Leyes Conmutativas
14 𝑃∧𝑄 ≡𝑄∧𝑃 Leyes Conmutativas
15 (𝑃 ∨ 𝑄) ∨ 𝑅 ≡ 𝑃 ∨ (𝑄 ∨ 𝑅) Leyes Asociativas
16 (𝑃 ∧ 𝑄) ∧ 𝑅 ≡ 𝑃 ∧ (𝑄 ∧ 𝑅) Leyes Asociativas
17 (𝑃 ∨ 𝑄) ∧ (𝑃 ∨ 𝑅) ≡ 𝑃 ∨ (𝑄 ∧ 𝑅) Leyes Distributivas
18 (𝑃 ∧ 𝑄) ∨ (𝑃 ∧ 𝑅) ≡ 𝑃 ∧ (𝑄 ∨ 𝑅) Leyes Distributivas
19 ~(𝑃 ∧ 𝑄) ≡ ~𝑃 ∨ ~𝑄 Leyes de Morgan
20 ~(𝑃 ∨ 𝑄) ≡ ~𝑃 ∧ ~𝑄 Leyes de Morgan

Donde T: tautología F: Contradicción

P 𝑃 ∨ ∼𝑃
V V V F
F F V V

P 𝑃 ∨ 𝐹
V V V F
F F F F

ACTIVIDAD INDIVIDUAL 3: Demostrar las equivalencias usando la tabla de valores

18
MATEMÁTICA I EFG
FORMALIZACIÓN DE PROPOSICIONES
Formalizar una proposición significa abstraer su forma lógica, es decir, revelar su estructura
sintáctica a través del lenguaje formalizado de la lógica. En términos más sencillos, formalizar
una pro- posición equivale a representarla simbólicamente
Toda proposición tiene su forma lógica y su fórmula lógica. La forma lógica de una
proposición es otra proposición equivalente a la primera con la diferencia de que en ella toda su
estructura sintáctica está completamente explicitada.

A partir de aquí, su fórmula lógica no es otra cosa que la que resulta de sustituir a toda
proposición atómica distinta por una variable proposicional (𝒑, 𝒒, 𝒓, 𝒔, 𝒕, …) también distinta, a
toda conjunción gramatical por el operador lógico correspondiente y el adverbio ‘no’ por el
operador negativo.

Ejemplo 1. Albert Einstein no es filósofo, sino físico

Forma lógica:
Albert Einstein es físico y Albert Einstein no es filósofo.
Fórmula:
p: Albert Einstein es físico.
q: Albert Einstein es filósofo.
𝒑 ˄ ∿𝒒

Ejemplo 2. No iremos al teatro a menos que venga Raúl.

Forma lógica:
Si Raúl viene, entonces nosotros iremos al teatro
Fórmula:
p: Raúl viene.
q: Nosotros iremos al teatro.
𝒑→𝒒

Ejemplo 3. Ni Vilma, ni Silvia, ni Angélica ingresaron a la universidad.

Forma lógica:
Vilma no ingresó a la universidad y Silvia no ingresó a la universidad y Angélica no ingresó
a la universidad.
Fórmula:
p: Vilma ingresó a la universidad.
q: Silvia ingresó a la u n i v e r s i d a d .
r: Angélica ingresó a la u n i v e r s i d a d .
∼𝒑 ∧ ∼𝒒 ∧ ∼𝒓

19
MATEMÁTICA I EFG
Ejemplo 4. Sin carbono, oxígeno, nitrógeno e hidrógeno, no hay vida.
Forma lógica:
Si no hay carbono y no hay oxígeno y no hay nitrógeno y no hay hidrógeno entonces no hay v i d a .
Fórmula:
p: hay carbono. s: hay hidrógeno.
q: hay oxígeno. t: hay vida.
r: hay nitrógeno.
(∼ 𝒑 ∧ ∼ 𝒒 ∧ ∼ 𝒓 ∧ ∼ 𝒔) → ∼ 𝒕

Ejemplo 5. Las Fuerzas Armadas y las Fuerzas Policiales participan en el desarrollo económico
y social del país, pero no son deliberantes.
Forma lógica:
Las Fuerzas Armadas participan en el desarrollo económico del país y las Fuerzas
Armadas participan en el desarrollo social del país y las Fuerzas Policiales participan
en el desarrollo económico del país y las Fuerzas Policiales participan en el desarrollo social
del país y las Fuerzas Armadas no son deliberantes y las Fuerzas Policiales no son
deliberantes.
Fórmula:
p: las Fuerzas Armadas participan en el desarrollo económico del país.
q: las Fuerzas Armadas participan en el desarrollo social del país.
r: las Fuerzas Policiales participan en el desarrollo económico d e l país.
s: Las Fuerza s Policiales participan en el desarrollo social del país.
t: las Fuerzas Armadas son deliberantes.
w: las Fuerzas Policiales son deliberantes.
(𝒑 ∧ 𝒒 ∧ 𝒓 ∧ 𝒔) ∧ (∼ 𝒕 ∧ ∼ 𝒘)
INFERENCIA LÓGICA
Una inferencia (razonamiento, deducción, argumento) es una operación lógica que consiste en
derivar a partir de la verdad de ciertas proposiciones conocidas como premisas la verdad de
otra proposición conocida como conclusión.

Las premisas de una inferencia son proposiciones que ofrecen las razones para aceptar la
conclusión. Siguen a las premisas, las palabras ‘puesto que’, ‘ya que’, ‘pues’, ‘porque’, ‘siempre
que’, ’si’, por consiguiente, etc.

La conclusión de una inferencia es la proposición que se afirma sobre la base de las premisas.
Preceden a la conclusión las palabras ‘luego’, ‘por tanto’, ‘por consiguiente’, ’en
consecuencia’, etc.

20
MATEMÁTICA I EFG
Ejemplo 1: Los postulados son proposiciones primitivas de la matemática. Luego, los
postulados son proposiciones primitivas de la matemática o de la lógica.
Premisa: Los postulados son proposiciones primitivas de la matemática.
Conclusión: Luego, los postulados son proposiciones primitivas de la matemática o
de la lógica.

Ejemplo 2: Si esta figura tiene cuatro lados, es un cuadrilátero. Si esta figura tiene tres lados, es un
triángulo. Esta figura tiene cuatro lados o tiene tres lados. Por tanto, esta figura es un cuadrilátero o
es un triángulo.
Premisas:
1. Si esta figura tiene cuatro lados entonces es un cuadrilátero.
2. Si esta figura tiene tres lados, entonces es un triángulo.
3. Esta figura tiene cuatro lados o tiene tres lados.
Conclusión: Por tanto, esta figura es un cuadrilátero o es un triángulo.
La técnica de formalización de inferencias queda expuesta a través de los siguientes pasos:
1. Se ordena la inferencia, pero sólo en el caso de que su forma lógica haya sido alterada en el
lenguaje natural, observando el esquema: premisas-conclusión.
2. Se explica su estructura lógica empleando las conjunciones ‘y’, ‘o’, ’si..., entonces’, ‘si y sólo si’
y el adverbio ‘no’, en lugar de sus expresiones equivalentes. Simultáneamente, se disponen
las premisas y la conclusión una debajo de la otra. Entre la última premisa y la conclusión
se escribe una barra horizontal y la palabra ‘luego’, ‘en consecuencia’, o ‘por tanto’, antes
de la conclusión.
3. Se halla su fórmula lógica sustituyendo cada proposición simple por una variable
proposicional distinta, las conjunciones gramaticales por sus operadores lógicos
correspondientes, el adverbio ‘no’ por el operador negativo y la palabra ‘luego’ por el símbolo
‘⟶’. Los signos de agrupación se usan para establecer la jerarquía entre los operadores de
una fórmula, pero sólo cuando su omisión la hace ambigua.
4. Se construye una fórmula condicional que tenga como antecedente las premisas unidas por el
operador conjuntivo y como consecuente la conclusión, de tal forma que la estructura lógica
de cualquier inferencia quede representada esquemáticamente de la siguiente manera:
[(𝑃𝑟𝑒𝑚𝑖𝑠𝑎 1) ˄ (𝑃𝑟𝑒𝑚𝑖𝑠𝑎 2)] → (𝐶𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛)
Antecedente Consecuente
[(𝑃𝑟𝑒𝑚𝑖𝑠𝑎 1) ˄ (𝑃𝑟𝑒𝑚𝑖𝑠𝑎 2) ˄ (𝑃𝑟𝑒𝑚𝑖𝑠𝑎 3)] → (𝐶𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛)
Antecedente Consecuente
[(𝑃𝑟𝑒𝑚𝑖𝑠𝑎 1) ˄ (𝑃𝑟𝑒𝑚𝑖𝑠𝑎 2) ˄ (𝑃𝑟𝑒𝑚𝑖𝑠𝑎 3) ˄ … … ] → (𝐶𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛)
Antecedente Consecuente

21
MATEMÁTICA I EFG
Ejemplo 1: Los congresistas representan a la Nación, pero no están sujetos a mandato
imperativo. Luego, los congresistas representan a la Nación.

PREMISAS DE CONCLUSIÓN
1. Los congresistas representan a la Nación y los congresistas no están sujetos a mandato
imperativo.
----------------------------------------------------------------------------------------------------------------------------------
Luego, los congresistas representan a la Nación.

PROPOSICIONES SIMPLES
𝒑: Los congresistas representan a la Nación.
𝒒: Los congresistas están sujetos a mandato imperativo.
FÓRMULA LÓGICA
𝟏. 𝒑 ∧ ∼ 𝒒
-------------------
∴ 𝒑

FÓRMULA CONDICIONAL:
(𝒑 ∧ ~𝒒) ⟶ 𝒑

EVALUACIÓN: TABLA DE VERDAD

P Q ( 𝒑 ∧ ~𝒒) ⟶ 𝒑
V V V F F V V
V F V V V V V
F V F F F V F
F F F F V V F

Es una tautología

Ejemplo 2: Felipe no será expulsado del club a menos que él cometa actos de traición e inmoralidad.
No ha sido expulsado. En consecuencia, no ha cometido actos de traición ni de inmoralidad.

PREMISAS Y CONCLUSIÓN
1. Si Felipe comete actos de traición y Felipe comete actos de inmoralidad entonces Felipe será
expulsado del club.
2. Felipe no ha sido expulsado del club.
------------------------------------------------------------------------------------------------------------------------------------
Luego, Felipe no ha cometido actos de traición y Felipe no ha cometido actos de inmoralidad.

22
MATEMÁTICA I EFG

PROPOSICIONES SIMPLES
𝑝: Felipe comete actos de traición.
𝑞: Felipe comete actos de inmoralidad.
𝑟: Felipe será expulsado del club.

FÓRMULA LÓGICA
1. (𝑝 ∧ 𝑞) → 𝑟
2. ∼ 𝑟
---------------------------
∴ ∼𝑝 ∧∼𝑞

FÓRMULA CONDICIONAL:
{[(𝑝 ∧ 𝑞) ⟶ 𝑟] ∧ ~𝑟} ⟶ (~𝑝 ∧ ~𝑞)
TABLA DE VERDAD
P Q R {[( 𝒑 ∧ 𝒒) ⟶ 𝒓 ] ∧ ~𝒓} ⟶ (~𝒑 ∧ ~𝒒)
V V V V V V V V F F V F F F
V V F V V V F F F V V F F F
V F V V F F V V F F V F F V
V F F V F F V F V V F F F V
F V V F F V V V F F V V F F
F V F F F V V F V V F V F F
F F V F F F V V F F V V V V
F F F F F F V F V V V V V V

Es una contingencia.

ANÁLISIS DE INFERENCIAS A TRAVÉS DE LA TABLA DE VERDAD:

La tabla de verdad es un algoritmo o procedimiento decisorio porque a través de la aplicación
mecánica de un conjunto finito de reglas permite decidir la validez o invalidez de las
inferencias.

En efecto, una inferencia es válida, mediante la tabla de verdad, si y sólo si al ser formalizada
y evaluada su fórmula condicional es una tautología; es invalida si la fórmula condicional es
consistente o contradictoria.

23
MATEMÁTICA I EFG
Ejemplo 3: El triángulo se llama isósceles si tiene dos lados iguales. No se llama isósceles. En
consecuencia, no tiene dos lados iguales.

PREMISAS Y CONCLUSIÓN
1. Si el triángulo tiene dos lados iguales entonces el triángulo se llama isósceles.
2. El triángulo no se llama isósceles.
…………………………………………………………………………………………………..
Luego, el triangulo no tiene dos lados iguales.

PROPOSICIONES SIMPLES
𝒑: El triángulo tiene dos lados iguales.
𝒒: El triángulo se llama isósceles.

FÓRMULA LÓGICA
𝟏. 𝒑 → 𝒒
𝟐. ∼ 𝒒
--------------------
∴∼𝒑

FÓRMULA CONDICIONAL:
[(𝒑 → 𝒒) ˄ ∿𝒒] → ∿𝒑
TABLA DE VERDAD
P Q [( 𝒑 → 𝒒) ˄ ∿𝒒] → ∿𝒑
V V V V V F F V F
V F V F F F V V F
F V F V V F F V V
F F F V F V V V V

Respuesta: La inferencia analizada es válida porque su fórmula condicional es una tautología.

Ejemplo 4: El pueblo es una masa pasiva que sigue bien las ideas de un gran hombre, o bien
los preceptos de la idea absoluta. Sigue los preceptos de la idea absoluta. Por lo tanto no sigue
las ideas de un gran hombre.

PREMISAS Y CONCLUSIÓN
1. El pueblo es una masa pasiva que sigue las ideas de un gran hombre o el pueblo es una
masa pasiva que sigue los preceptos de la idea absoluta.
2. El pueblo es una masa pasiva que sigue los preceptos de la idea absoluta.
………………………………………………………………………………………………..
Luego, El pueblo es una masa pasiva que no sigue las ideas de un gran hombre.

24
MATEMÁTICA I EFG
PROPOSICIONES SIMPLES
𝒑: El pueblo es una masa pasiva que sigue las ideas de un gran hombre.
𝒒: El pueblo es una masa pasiva que sigue los preceptos de la idea absoluta.

FÓRMULA LÓGICA
𝟏. 𝒑 ∨ 𝒒
𝟐. 𝒒
--------------------
∴∼𝒑

FÓRMULA CONDICIONAL:
[(𝒑 ∨ 𝒒) ˄ 𝒒] → ∿𝒑
TABLA DE VERDAD
P Q [(𝒑 ∨ 𝒒) ˄ 𝒒] → ∿𝒑
V V V V V V V F F
V F V V F F F V F
F V F V V V V V V
F F F F F F F V V

Respuesta: La inferencia analizada no es válida porque su fórmula condicional es una contingencia.

ACTIVIDAD INDIVIDUAL 4: Analizar si la inferencias son validas

1. Si alguien es sabio, es una persona inteligente. Si una persona es inteligente, entonces calla
sobre aquello que no sabe. Por tanto, si alguien es sabio, calla sobre lo que no sabe.

2. Pedro llegará a la hora exacta al examen de Matemática si no tuvo problemas en casa. Sus
compañeros darán examen de Matemática si Pedro llega a la hora exacta al examen de
Matemática. Por lo tanto, si Pedro no tuvo problemas en casa, sus compañeros darán examen
de Matemática.

25