Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Año 2018
Introducción
En esta primera unidad daremos una breve introducción a la Lógica Proposicional que tiene
su importancia ya que nos provee de la simbología y las herramientas necesarias para llevar
adelante nuestro estudio matemático posterior y también por su aplicación en los llamados
"circuitos lógicos" de uso en la electrónica y la informática.
Proposición
________________________________________________________________________________
-1- FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2018
Denotaremos a las proposiciones con letras minúsculas generalmente las últimas del alfabeto:
p, q, r, s, t,..... y las llamaremos variables proposicionales; los términos verdadero V o falso F los
llamaremos “Valores de verdad” de las proposiciones.
Por ejemplo:
p : “Santiago del Estero es una provincia Argentina”
q : “El gato es un pez”
r : “ 7 < 11”
Conectivos Lógicos
Dada una o más proposiciones, podemos construir a partir de ellas nuevas proposiciones, por
medio de ciertos conectivos.
Por ejemplo a partir de las siguientes proposiciones:
p: “Hoy es miércoles” y q: “Hoy tenemos clase de Matemática”
Podemos construir otras proposiciones como por ejemplo:
- Hoy no es miércoles.
- Hoy no tendremos clase de Matemática.
- Hoy es miércoles y tenemos clase de Matemática.
- Hoy es miércoles o tenemos clases de Matemática
- Si hoy es miércoles entonces tenemos clases de Matemática”
- Hoy es miércoles si y sólo si tenemos clase de Matemática”
Estas nuevas proposiciones tienen la particularidad de que contienen otras proposiciones. Por
ejemplo:
“NO HAY CLASE” contiene la proposición “HAY CLASE”
Las proposiciones en las cuales pueden encontrarse otras proposiciones, se llaman compuestas.
Es decir una proposición es compuesta cuando esta formada por una o más proposiciones
simples unidas con términos de enlace.
Los términos de enlace “y”, “no”, “o”, “si … entonces…”, “si y sólo si”, los llamaremos
conectivos lógicos.
Las proposiciones simples son aquellas que no contienen otras proposiciones como parte de
ella. Por lo tanto las proposiciones simples no contienen ningún conectivo lógico, como por
ejemplo las proposiciones: “hoy es miércoles” y “hoy tenemos clase de Matemática”.
El valor de verdad de una proposición compuesta dependerá del valor de verdad de las
proposiciones simples y de los conectivos lógicos que intervienen.
Operaciones Lógicas
________________________________________________________________________________
-2- FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2018
Negación:
p ~p
V F
F V
Ejemplos:
Sea p: “Juana aprobó el examen”.
Su negación: ~ p: “Juana no aprobó el examen”.
o bien: ~ p: “No es cierto que Juana aprobó el examen”.
o ~ p: “No ocurre que Juana aprobó el examen”.
Conjunción:
p q pq
V V V
V F F
F V F
F F F
Disyunción:
Dadas las proposiciones p y q, la disyunción es una proposición compuesta que contiene el
termino de enlace “o”.
Denotamos con p q y se lee p o q. Los valores de verdad esta definida por la siguiente tabla.
p q pq
V V V
V F V
F V V
F F F
________________________________________________________________________________
-3- FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2018
Ejemplo:
Llueve o sale el sol. Esta proposición compuesta (disyunción) contiene a las
proposiciones simples. p: “llueve”; q: “sale el sol”.
Implicación o Condicional:
p q pq
V V V
V F F
F V V
F F V
Ejemplo:
“Si regularicé la asignatura entonces aprobé los parciales”.
Las proposiciones simples que la componen son:
p: “Regularicé la asignatura” es el antecedente del condicional
q: “Aprobé los parciales” es el consecuente del condicional
Esta proposición es V para nuestra asignatura porque se obtiene la regularidad (V) aprobando
los parciales (V).
Ahora veremos la importancia del condicional en matemática.
b) Si q es V entonces p puede ser V o F, pero para que el antecedente p sea V es necesario que
q lo sea.
Se dice entonces q es condición necesaria para p.
O bien: Para p es condición necesaria q
Ejemplo:
i) Es necesario aprobar los parciales para regularizar la asignatura.
ii) Para que ABC sea rectángulo es necesario que algunos de sus ángulos sean recto.
Adoptando la forma de un condicional expresamos de la siguiente manera.
i) Si regularicé la asignatura entonces aprobé los parciales.
ii) Si el ABC es rectángulo entonces alguno de sus ángulos es recto.
Cuando utilizamos el lenguaje q es condición necesaria para p, estamos diciendo, sólo si
ocurre q puede ocurrir p.
“Sólo si tiene un ángulo recto, el triángulo ABC es rectángulo”.
También podemos enunciar esta proposición:
“El ABC es rectángulo sólo si tiene un ángulo recto”.
En algunos casos puede ocurrir que q es también condición suficiente para p por lo que
q p también es verdadero. En este caso decimos que: p es condición necesaria y suficiente para q.
Introducimos otro conectivo.
Bicondicional:
p q pq
V V V
V F F
F V F
F F V
________________________________________________________________________________
-5- FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2018
FÓRMULAS LÓGICAS
Llamamos fórmula lógica a toda expresión obtenida como resultado de vincular variables
proposicionales con una o mas conectivas.
Ya vimos algunas fórmulas lógicas y sus correspondientes valores de verdad:
~ p, p q, p q, p q, p q
A partir de ellas podemos obtener otras fórmulas que contienen más de una conectiva, por
ejemplo:
pqr
(p q) q
~r t s
Debemos observar cuantas variables distintas tiene la fórmula y establecer todas las
alternativas posibles de valor de verdad de las variables
Si las variables son m, las alternativas posibles son 2m. Por lo que dicha tabla tendría 2m
filas.
Por ejemplo: Si m = 2 la tabla tendrá 22 = 4 filas
Si m = 3 la tabla tendrá 23 = 8 filas
p q r pq pqr
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V
Una fórmula cuyo valor de verdad es siempre V, cualquiera sean los valores de verdad de las
variables que la componen, se llaman tautología.
V V V V V
V F F F V
F V V F V
F F V F V
Como podemos observar la fórmula es siempre V para los distintos valores de las variables,
por lo que la fórmula es una tautología.
Una fórmula es una contradicción si y solo si, cualquiera sea el valor de verdad de las variables
que la componen, ésta es siempre F.
Ejemplo: (p q) ~ p
p q ~p p q (p q) ~ p
V V F V F
V F F F F
F V V F F
F F V F F
Dos fórmulas son equivalentes cuando tienen las mimas tablas de verdad o bien cuando al
conectarlas con un bicondicional se obtiene una fórmula tautológica.
Ejemplo: 1) p p es equivalente a p
ppp
ppp
p pp Ppp
V V V
F F V
Otros ejemplos:
i) p q ~ p q ii) p q (p q) (q p)
Pueden verificar realizando sus tablas.
________________________________________________________________________________
-7- FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2018
Como lo definimos anteriormente aquellas fórmulas lógicas que resultan ser siempre
verdaderas, no importa la combinación de los valores de verdad de sus componentes, son
tautologías o también llamadas: leyes lógicas.
Veamos algunas de ellas:
Involución
~ (~ p) p (se lee "no, no p, equivale a p")
Idempotencia
(p p) p
(p p) p
Conmutatividad
a) de la disyunción: p q q p
b) de la conjunción: p q q p
Asociatividad
a) de la disyunción: (p q) r p (q r)
b) de la conjunción: (p q) r p (q r)
Distributividad:
De la conjunción respecto de la disyunción: (p q) r (p r) (q r)
De la disyunción respecto de la conjunción: (p q) r (p r) (q r)
Leyes de De Morgan
~(pq)~p~q
"La negación de una disyunción equivale a la conjunción de las negaciones"
~(pq)~p~q
"La negación de una conjunción equivale a la disyunción de las negaciones"
Condicionales Asociados:
Sea el condicional p q, que llamaremos directo; en relación con él, se presentan otras 3
condicionales que son:
qp recíproco
~p~q contrario
~q~p contrarecíproco
Las implicaciones contrarecíprocas son equivalentes.
p q ~ q ~ p qp~p~q
Para demostrar la verdad del condicional p q existen los métodos:
b) Indirecto: Si q es V, p q es V
Si q es F, hay que establecer que p es F.
________________________________________________________________________________
-8- FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2018
________________________________________________________________________________
-9- FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2018
Cuantificadores
Otra forma de convertir una función proposicional en proposición es mediante el uso de
cuantificadores.
Existen dos tipos de cuantificadores: Universal y Existencial, y el uso de cada uno de ellos
dependerá si expresan ideas del total del conjunto en el cual están definidos o solo de una parte
del mismo.
________________________________________________________________________________
- 10 - FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2018
La proposición correspondiente:
“Hay por lo menos un niño que no es feliz o no es divertido”.
Proceso de Demostración
Supongamos que un joven pone alineados las fichas de un domino y se extienden hasta donde
alcanza nuestra vista y se sabe además que si una ficha cae, entonces cae la siguiente.
Se intenta determinar cual es la condición para que en un momento dado caigan todas las
fichas.
En este caso se trata de investigar la propiedad: “Todas las fichas se caen” y para asegurar su
verdad se sugieren las siguientes condiciones.
i) La 1ra ficha se cayó.
ii) Si una ficha cae entonces se cae la siguiente
Observemos que por i) la primera ficha ha caído. Sabemos también por ii) que si la primera
ficha cae, entonces la derriba a la segunda, así que ésta tendrá que caer. Y si la segunda ficha cae,
entonces derriba la tercera (por ii)... y así sucesivamente. De aquí podemos afirmar si la cuarta (o
quinta o décima) va a caer? Podemos responder que sí, puesto que la cadena de derribos se
aproxima a ella inexorablemente y que la acabará tirando. Esto nos lleva a la afirmación del
llamado principio de inducción.
Axioma
Si P es un subconjunto de los números naturales y verifica
1) 1 P;
________________________________________________________________________________
- 11 - FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2018
2) Si h P, entonces h +1 P
Entonces P = IN
De aquí resulta:
Teorema
Sea p(n) una proposición cualquiera que depende del número natural n. Si :
i) p (1) es V.
ii) Si p(h) es V, entonces p(h+1) es V.
ENTONCES vale la proposición p(n) para todo n IN
Demostración
Sea P el conjunto de números naturales h para los cuales p(h) es verdadera. Por las hipótesis i) y
ii) se tiene
1 IN ,
si h P, entonces h + 1 P
Entonces P IN y verifica 1) y 2) del Axioma anterior y por lo tanto P = IN . O sea, p(n) es
verdadera para todo n IN .
Ejemplo:
Usando el Principio de Inducción Completa (P.I.C.) probar la validez de la siguiente expresión
para cualquier n natural:
n
n (n 1)
i 1
i
2
Para n = 1,
1
n (n 1) 1 (1 1) 1 . 2
i 1
i 1 2
2
2
1 Se verifica la igualdad para n = 1.
Demostración:
h 1 h
h (h 1) h h 2 (h 1) (h 2)
i
i 1
i
i 1
(h 1)
2
(h 1) (h 1) 2 1 (h 1) 2 2
Escribo como la suma Por el segundo paso, Saco factor común
desde i = 1 hasta h más el en el que se h+1
último término, es decir, consideró verdadera
el último sumando que la igualdad para
corresponde a n = h+1 n=h
Con lo cual se demuestra que la proposición es Verdadera para todo número natural n.
________________________________________________________________________________
- 12 - FCEyT - UNSE