PRIMERA UNIDAD DIDACTICA: LOGICA PROPOSICIONAL Y SISTEMA DE

LOS NUMEROS REALES

LÓGICA PROPOSICIONAL

INTRODUCCIÓN

La lógica estudia la forma del razonamiento, es una disciplina que por medio de
reglas y técnicas determina si un argumento es válido. La lógica es ampliamente
aplicada en la filosofía, matemáticas, computación, física. En la filosofía para
determinar si un razonamiento es válido o no, ya que una frase puede tener
diferentes interpretaciones, sin embargo la lógica permite saber el significado
correcto. En las matemáticos para demostrar teoremas e inferir resultados
matemáticos que puedan ser aplicados en investigaciones. En la computación
para revisar programas.

En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se

realiza tiene un procedimiento lógico, por el ejemplo; para ir de compras al
supermercado una ama de casa tiene que realizar cierto procedimiento lógico
que permita realizar dicha tarea. Si una persona desea pintar una pared, este
trabajo tiene un procedimiento lógico, ya que no puede pintar si antes no prepara
la pintura, o no debe pintar la parte baja de la pared si antes no pintó la parte alta
porque se mancharía lo que ya tiene pintado, también dependiendo si es zurdo
o derecho, él puede pintar de izquierda a derecha o de derecha a izquierda según
el caso, todo esto es la aplicación de la lógica.

La lógica es pues muy importante; ya que permite resolver incluso problemas a

los que nunca se ha enfrentado el ser humano utilizando solamente su
inteligencia y apoyándose de algunos conocimientos acumulados, se pueden
obtener nuevos inventos innovaciones a los ya existentes o simplemente
utilización de los mismos.
La lógica matemática, también llamada lógica simbólica, lógica
teorética, lógica formal, o logística,1 es parte tanto de la lógica y como de
la matemática, y consiste en el estudio matemático de la lógica, y en la aplicación
de dicho estudio a otras áreas de la matemática y de las ciencias. La lógica
matemática tiene estrechas conexiones con las ciencias de la computación y con
la lógica filosófica.

La lógica matemática comprende dos áreas de investigación distintas: la primera

es la aplicación de las técnicas de la lógica formal a las matemáticas y el
razonamiento matemático y la segunda, en la otra dirección, la aplicación de
técnicas matemáticas a la representación y el análisis de la lógica formal.

ENUNCIADO

Definición 1.1. Se denomina enunciado a toda frase u oración sin importar su

significado ni la posible ambigüedad de su interpretación:
Son enunciados:
a) Hoy es lunes
b) 7 + 2 < 5
c) Un pentágono tiene cinco lados
Los enunciados que matemáticamente tiene significado son aquellos que
pueden ser considerados como verdaderos o falsos

Nota: Los enunciados pueden ser mandatos, interrogaciones, admiraciones,

afirmaciones o negaciones.

ENUNCIADO ABIERTO
Definición 1.2. Se llama enunciado abierto a una expresión que contiene
variables y no tiene la propiedad de ser verdadero o falso
Son enunciados abiertos:
a) x + 2 > 6
b) x2 + y2 = 25

.
Nota: Se llama variable a una cantidad susceptible de ser medida y que sufre
variación dentro de cierto dominio

PROPOSICIÓN
Definición 1.3. Se denomina proposición lógica a un enunciado que tiene la
propiedad de ser falsa o verdadera pero no ambas a la vez. La proposición es
un elemento fundamental de la lógica matemática.

Notación: Las proposiciones lógicas se denotan generalmente con letras

minúsculas p, q, r, s, … etc. A la veracidad o falsedad de una proposición se le
denomina valor de verdad.

En los siguientes ejemplos indicar si las expresiones son Enunciados (E),

Enunciados Abiertos (EA) o Proposiciones lógicas (P)

p: La tierra es plana.
q: –15 + 38 = 21
r: x>y–9
s: El Cienciano será campeón en la presente temporada de Fútbol.
t: Hola ¿como estas?
w: Lava el coche por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por
lo tanto son proposiciones válidas. El inciso r también es una proposición valida,
aunque el valor de falso o verdadero depende del valor asignado a las
variables x y y en determinado momento. La proposición del inciso s también
está perfectamente expresada aunque para decir si es falsa o verdadera se
tendría que esperar a que termine la temporada de fútbol. Sin embargo los
enunciados t y w no son válidos, ya que no pueden tomar un valor de falso o
verdadero, uno de ellos es un saludo y el otro es una orden.
Clases de Proposiciones:
1. Proposiciones simples o atómicas: son aquellas proposiciones que se
pueden representar por una sola letra, es decir que no tiene conectivos
lógicos.
p: 6 es par
q: 2 + 5 = 9

2. Proposiciones compuestas o moleculares: Son aquellas proposiciones

que contienen al menos un conectivo lógico
5 es primo y 8 es par : p  q
Si 10 es par entonces 10 es múltiplo de 2: pq

1.2 Conectivos Lógicos:

Definición 2.4. Se denominan conectivos lógicos a las expresiones que

sirven para unir dos o más proposiciones; los principales conectivos lógicos
son:
 La conjunción ()
 La disyunción ()
 La condicional ()
 La bicondicional (  )
 La negación ( )

Observaciones:
1°.- La negación es un conectivo singular
2°.- Los otros conectivos se denominan binarios, porque se requieren dos
proposiciones como mínimo para ser usados

1.3 Proposiciones compuestas. Tablas de verdad.

LA NEGACIÓN
Dada una proposición p , llamaremos la negación de p , a otra
proposición, denotado por p que se lee no p y su tabla de verdad es:
 p
p
V F
F V

Observación.- Hay palabras como: “jamás”, “nunca”, “no es cierto que”, “no
es verdad que”, “no es el caso que”, “es falso que”, etc. Se puede simbolizar
por “ ”

LA CONJUNCION
La conjunción de dos proposiciones p y q , es la proposición que resulta
de unir p y q con el conectivo lógico " y " , se simboliza por: ( p  q ).
y su tabla de verdad es:
p q pq
V V V
V F F
F V F
F F F

Observación.-Hay palabras como: “pero”, “sin embargo”, “sino”, “aunque”,

“también” , “además”, “ a la vez”, Sin embargo , no obstante, etc; también se
puede simbolizar por “  ”

LA DISYUNCION INCLUSIVA O DÉBIL

La disyunción de dos proposiciones p y q, es la proposición que resulta
de unir p y q con el conectivo lógico " o " en un sentido inclusivo, se simboliza
por: p  q . y su tabla de verdad es:

p q pq
V V V
V F V
F V V
F F F
Observación.-hay palabras como: “salvo que”, “ a menos que”, “excepto
que” etc.; se puede simbolizar por “  ”

LA DISYUNCION EXCLUSIVA O FUERTE

La disyunción exclusiva de dos proposiciones p y q es la proposición
que resulta de unir p y q con el conectivo lógico " o " , se simboliza por: pq
. y su tabla de verdad es:

p Q pq
V V F
V F V
F V V
F F F

LA CONDICIONAL.
La condicional de dos proposiciones p y q es la proposición que
resulta de unir p y q con el conectivo lógico” si… entonces….”, se simboliza
por: p  q y su tabla de verdad es:

p Q pq
V V V
V F F
F V V
F F V

Observación.-Hay palabras como: “luego”, “ por ello”, “por ende” “por lo

tanto”, “en conclusión”, “por consiguiente” etc; también se puede simbolizar
por “  ”
 LA BICONDICIONAL

La bicondicional de dos proposiciones p y q es la proposición que resulta

de unir p y q con el conectivo lógico “si y sólo si”, se simboliza por: p  q . y
su tabla de verdad es:

p q pq
V V V
V F F
F V F
F F V

Observación.- Hay palabras como: “siempre en cuando”, “ cuando solo

cuando”, “entonces y solo entonces”, “es una condición necesaria y
suficiente”,etc. Que también unen proposiciones y se puede simbolizar por “
 ”.

Ejemplos

 La bandera peruana es blanca y roja.

 16 es múltiplo de 4, pero 5 es mayor que 3
 La fibra de alpaca cuesta más, sin embargo la lana de ovino tiene
menos precio.

1.4 Tautologías, contradicciones y Contingencias

TAUTOLOGIA

Definición 1.5. Un esquema molecular se denomina tautología cuando los

valores de verdad del operador principal son todos verdaderos

Ejemplo:
Evaluar mediante una tabla de verdad:   p  q    q   p
P Q   p  q    q    p

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

CONTRADICCION

Definición 1.6. Un esquema molecular es denomina contradicción cuando

en el resultado del operador principal todos los valores de verdad son falsos.
Ejemplo:
Evaluar mediante una tabla de verdad:  p  q   q    q

Solución

P q  p  q   q    q

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

CONTINGENCIA
Definición 1.7. Una proposición molecular se denomina contingencia
cuando en el resultado del operador de mayor jerarquía existe por lo menos
un V o un F.

Ejemplo:

Evaluar mediante una tabla de verdad: q  p

Solución

P q q  p
V V F
V F V
 F V V
F F V

1.5 Implicaciones y Equivalencias lógicas

Cuando sus tablas de verdad de dos proposiciones p y q son idénticos se

denominan equivalentes y se denota por: p  q
Ejemplo:
Sean las proposiciones: r = p  q ,
t =  q  p ; demostrar que las proposiciones r y t son equivalentes
a)
p q pq
V V V
V F F
F V V
F F V

b)
p q  q  p
V V V
V F F
F V V
F F V

De las tablas a) y b) se concluye que tiene los mismos valores de verdad.

1.6 Leyes de equivalencias notables

Las principales leyes lógicas o principios lógicos son formas proposicionales
tautológicas que sirven para poder generar otras equivalencias lógicas o para
simplificar expresiones lógicas más complejas, entre las principales leyes
lógicas, se tienen:

PRINCIPIOS LÓGICOS
1. Ley de identidad
pp
pp “Toda proposición es idéntica a sí mismo

2. Ley de la no contradicción
(p  p) “Una proposición no puede ser verdadera y falsa a la vez”

3. Ley del Tercio excluido

pp “Una proposición es verdadera o falsa, no hay una tercera
posibilidad”

EQUIVALENCIAS NOTABLES

1. Ley de doble negación

(p)  p “la negación de una negación es una afirmación”

2. Ley de la Idempotencia
a) p  p  p b) p  p  p

3. Leyes conmutativas
a) p  q  q  p b) p  q  q  p c) p  q  q  p

4. Leyes Asociativas
a) (p  q)  r  p  (q  r) b) (p  q)  r  p  (q  r) c) (p  q)  r  p
 (q  r)

5. Leyes Distributivas
a) p  (q  r)  (p  q)  (p  r) b) p  (q  r)  (p  q)  (p  r)
c) p  (q  r)  (p  q)  (p  r) d) p  (q  r)  (p  q)  (p  r)

6. Leyes de Morgan
a) (p  q)  p  q b) (p  q)  p  q
7. Ley del condicional
a) p  q  p  q b) (p  q)  p  q

8. Ley del Bicondicional

a) p  q  (p  q)  (q  p) b) p  q  (p  q)  (p  q)

9. Ley de Absorción
a) p  (p  q)  p b) p  (p  q)  p
c) p  (p  q)  p  q d) p  (p  q)  p  q

10. Elementos Neutros

a) p  F  p (F es el elemento neutro en la disyunción)
b) p  V  p (V es el elemento neutro en la conjunción)

OBSERVACIONES:
1. Se consideran también las siguientes equivalencias:
ppT
ppC
pTT (T  Tautologia)
pCC (C  Contradicción)

2. Estas leyes lógicas sirven para simplificar proposiciones lógicas puesto que
es válido reemplazar una proposición por su equivalente

Ejemplos:
1. Aplicando las leyes lógicas simplificar las siguientes proposiciones:
a) p  (p   q)
b) [(p  q)  q]  q
c) [(p  q)  (r  r)]  q

2. Aplicando las leyes lógicas, verificar si el siguiente argumento lógico es una

tautología
 [(p  q)  q]  p
3. Aplicando las leyes lógicas, verificar si los siguientes argumentos lógicos
son equivalentes
A: p  (r  q) B: (q  p)  (r  p)

CIRCUITOS LÓGICOS
Es un conjunto de interruptores eléctricos que permiten o no el paso de corriente,
donde un interruptor se puede representar con una proposición p, de tal manera
que el valor de verdad de la proposición p se identifique como el paso de
corriente, en este caso se dice que el circuito está cerrado y cuando el valor es
falso se identifica que no hay paso de corriente y se dice que el circuito está
abierto, esto es:

Circuito cerrado Circuito abierto

(pasa corriente  V) (no pasa corriente  F)

Para diseñar circuitos eléctricos se utiliza también la siguiente notación:

1: paso de corriente 1V
0: no hay paso de corriente 0F
En el diseño de circuitos eléctricos se consideran dos clases de instalaciones,
en serie y en paralelo, esto es:

Circuitos en serie: Se consideran dos proposiciones unidas por el conectivo “”,

donde se observa que este circuito admite paso de corriente sólo cuando ambos
interruptores están cerrados:

p q

pq
Circuitos en paralelo: Se consideran dos proposiciones unidas por el conectivo
“”, donde se observa que este circuito admite paso de corriente cuando al
menos uno de ellos esté cerrado y no habrá paso de corriente sólo si ambos
circuitos están abiertos

pq

Ejemplos:
1. Construir los circuitos lógicos de las funciones booleanas

2. Simplificar y representar mediante un circuito lógico los siguientes esquemas

moleculares:
a) p  (p   q)
b) (p v q)  [ (p v q)  (p  q) ]

1.7. Inferencia Lógica

Denominado también argumento lógico y es el procedimiento que consiste en

pasar de un conjunto de premisas a una conclusión, es decir la inferencia lógica
es una condicional de la forma:
(p1  p2  . . .  pn)  q …….. ()

donde las proposiciones p1, p2, . . . , pn se denominan premisas y que originan

como consecuencia otra proposición q denominada conclusión

Si la condicional () es una tautología se denomina argumento válido o

inferencia válida

Si la condicional () no es una tautología se denomina falacia

Notación: La condicional () se puede expresar también como:

 p1 , p2 , . . . , p n  q

O también de la siguiente forma:

p1
p2
pn

 q
Teorema: Si la condicional () es válida y las premisas p1, p2, . . . , pn son
verdaderas, entonces la conclusión q es verdadera.

Observación: Una inferencia no se modifica si una o varias de las

proposiciones componentes p1, p2, . . . , pn , q, se reemplaza por otra u otras
proposiciones que sean equivalentes.
Ejemplos:
Verificar si los siguientes argumentos son válidos:
a) p  (p  q)  q

b) (p  q)  (q  r)  (r)  (p  q)

Inferencias válidas notables.

1. Ley de Modus Ponens [(p  q)  p]  q

También se simboliza: pq

p
q
Indica: Si se afirma el antecedente de la premisa condicional, se concluye
en la afirmación del consecuente

Ejemplo:
“Si 2 es divisor de 4, entonces 2 es divisor de 43”
“2 es divisor de 4”
Por tanto: “2 es divisor de 43”

2. Ley del Modus Tollens [(p  q)  q]  p

 También se simboliza: pq
q
 p
Indica: Si se niega el consecuente de la premisa condicional, se concluye
en la negación del antecedente
Ejemplo:
“Si Carmen estudió, entonces aprobó Matemáticas”
“Carmen no aprobó Matemáticas”
Por tanto: “Carmen no estudió”

3. Ley del Silogismo hipotético [(p  q)  (q  r)]  (p  r)

También se simboliza: pq

qr
pr
Indica: La condicional es transitiva
Ejemplo:
“Si 3 es menor que 5”
“ 5 es menor que 9”
Por tanto: “3 es menor que 9”

4. Ley del Silogismo disyuntivo [(p  q)  (p)]  q

También se simboliza: pq

p
q
Indica: Si se niega una de las proposiciones de la disyunción se concluye la
afirmación de la otra proposición

Ejemplo:
“x es un número par o termina en 5”
“x no es un número par ”
Por tanto: “x termina en 5”
5. Ley del dilema constructivo [(p  q)  (r  s)  (p  r)]  (q  s)

También se simboliza: pq

rs
p r
qs
Indica: De dos condicionales, se construye la disyunción de los antecedentes,
entonces se concluye la disyunción de los consecuentes
Ejemplo:

6. Ley de simplificación

a) p  q  p b) p  q  r

También se simboliza:
a) p b) p
q q
 p q

Método abreviado para la demostración de una inferencia lógica

Consiste en analizar la única posibilidad de que la condicional sea falsa, esto es,
que el antecedente sea verdadero y el consecuente sea falso, los pasos a seguir
son:

1°. Asignar el valor de verdad a cada una de las premisas y falso a la conclusión.
2°. Deducir los valores de verdad de cada una de las variables proposicionales
3°. Si cada una de las variables proposicionales tiene un solo valor, entonces la
inferencia no es válida
4°. Si al menos una de las variables tiene los dos valores de verdad (V y F) a la
vez, entonces la inferencia lógica es válida

Ejemplos:
Analizar si las siguientes inferencias lógicas son válidas
a) (p  q)  (q  r)  (r)  (p  q)
 b) (p  q)  (r  s)  (q  s)  (p  r)

c) (p  q)  (p  r)  (p  p)  (p  r)

EJERCICIOS

1. ¿Cuál de las siguientes proposiciones es atómica?

a) El terreno es fértil y fructífero
b) Si estamos en diciembre llegará la navidad.
c) La Luna no es satélite de la tierra
d) Carlos Marx, el materialista; es autor de la Iliada.
e) Cristóbal Colón era ateo salvo que ideólogo

2. Formalizar « Si no es el caso que Raúl sea comerciante tal como próspero

industrial, luego es ingeniero o no es comerciante ».

3. Formalizar « Colón descubrió América, incluso Pitágoras fue matemático a

menos que filósofo. En consecuencia Pitágoras fue filósofo siempre que
Colón no descubrió América »

4. Determinar la formalización de « son músicos y cantores. Si Juan y Amparo

cantan »

5. Si ~[(rq)(rp)] es verdadera y además q es falsa. Hallar el valor de verdad

de :
A = r(~p~q)
B = (r~p)(q p)

6. ¿Cuál de las proposiciones no corresponde a la formalización de pq ?

a) Eres humano, entiéndelo
b) Pienso luego existo
c) Como bailé me cansé
d) Triunfaré ya que estudiaré
e) Eres hombre, piensa en las consecuencias.
7. El equivalente de: « No es posible que, si no estudias ingresas », es
a) Ingresas o no estudias
b) Estudias y no ingresas
c) No estudias o no ingresas
d) Es falso que, estudias e ingresas
e) Ni estudias ni ingresas
8. Si la proposición: ( p ~q )  ( ~r s ) es falsa.
Hallar el valor de los siguientes esquemas moleculares.
I. ( p  q )  [ ( p  q ) ~ q ]
II. ( ~r  q )  [ ( ~q  r )  s ]
III. ( ~p  ~q )  ~q

9. Simplificar: ~[ ~( p  q )  (~p  ~q ) ]

10. De las siguientes formulas cuáles son lógicamente equivalentes?

I. ( p  ~q )  ( ~p  q )
II. ( p  q )  ( p  q )
III.( ~p  q )  p
11. Si la proposición: ~( p  q )  ( q  p ). es verdadera , entonces los valores
de verdad de p y q serán respectivamente:
12. Dadas las fórmulas:
I. (~pq)p
II. (pq) (pq)
III. (p  ~q) (~p  q)
¿Cuáles son lógicamente equivalentes?

13. Por medio de una tabla de valores, establecer, si cada una de las siguientes
esquemas moleculares es tautología, contradicción o contingencia.
a) p  (p  q)
b)  ( p  q)  q   p
c)  ( p q) p   ( q  p)

14. Sabiendo que p es V y que q es V, determina el valor de verdad de:

 a) [(p  q)  q]  q
b) [(p  q)  p]  (p  q)

15. Describir simbólicamente los siguientes circuitos eléctricos.

a)
p p

q p

p q q

b)
q p
q

q
p q

16. Simbolizar el siguiente enunciado: ”si un porvenir brillante me espera

entonces recibiré un gran herencia o estudiare mucho. Pero no recibiré una
gran herencia. En consecuencia, sino estudiare mucho, entonces no me
espera un porvenir brillante o me es indiferente triunfar en la vida.”
A)  p  (q  r )  q   r  ( p  t )

B)  p  (q  r )  q   r  ( p  t )

C)  p  (q  r )  q  r  ( p  t )

D)  p  (q  r )  q   r  ( p  t )

E)  p  (q  r )  q   r  ( p  t )

17. Determinar si las siguientes proposiciones son una tautología, contradicción o

contingencia.

a) [  ( p  q)  q ]  p
b) [ p  { p  [ q  (q  r) ] } ]   q
c) (p  q)  [ ( r  q)  (q  p) ]
d) (p  (q v r)]   [ p  r ]

18. Simplificar y negar la siguiente proposición compuesta:

 “Todos los números enteros son impares y existen números reales
irracionales, si existe algún entero par; si y sólo si, hay algún número real
irracional o cualquier número entero es impar, si es que cada número real es
racional”

19. Si la proposición: (p  q)  [ ( p  r )  t ] es falsa, hallar el valor de verdad

de:
a) ( p  t )  ( q  p)
b) ( q   r)  [ t  (p  q) ]

20. Simplificar y representar mediante un circuito lógico los siguientes esquemas

moleculares:
a) p  (p   q)
b) (p v q)  [ (p v q)  (p  q) ]

21. Sea A el circuito más simple y equivalente al circuito:

q p
p
p
q
q
Y sea B el circuito más simple y equivalente al circuito:
r
s p q
t

p q r s t

Construir el circuito equivalente a A  B