Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Año 2010
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 necesaria 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
________________________________________________________________________________
Lic. Silvia Suárez de Rodríguez -1- FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2010
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
________________________________________________________________________________
Lic. Silvia Suárez de Rodríguez -2- FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2010
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 p∧q
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 p∨q
V V V
V F V
F V V
F F F
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 p q
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.
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 otra conectiva.
Bicondicional:
p q p⇔q
V V V
V F F
F V F
F F V
________________________________________________________________________________
Lic. Silvia Suárez de Rodríguez -5- FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2010
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:
p∧q r
(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 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 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.
________________________________________________________________________________
Lic. Silvia Suárez de Rodríguez -6- FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2010
p q p q (p q)∧p (p q)∧p q
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
p∧p≡p
p∧p⇔p
p p∧p P∧p⇔p
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.
________________________________________________________________________________
Lic. Silvia Suárez de Rodríguez -7- FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2010
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
~(p∨q)⇔~p∧~q
• "La negación de una disyunción equivale a la conjunción de las negaciones"
~(p∧q)⇔~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:
q p recíproco
~p ~q contrario
~q ~p contrarecíproco
Las implicaciones contrarrecíprocas son equivalentes.
p q≡~q ~p ∧ q p≡~p ~q
Para demostrar la verdad del condicional p q existen los métodos:
y para p, si es V, se tiene: p
Es decir, el interruptor se cierra si p es V y se abre si p es F.
Podemos, así, representar las operaciones proposicionales mediante circuitos con tantos
interruptores como proposiciones componentes, combinados en serie o paralelamente.
Veremos, a continuación, como representar en forma booleana las operaciones que surgen
de operar con dos proposiciones mediante los conectivos lógicos que conocemos.
Conjunción
Este circuito admite el pasaje de corriente, es decir la verdad de p ∧ q, sólo si ambas son V
(comprobar en la tabla de verdad de la conjunción).
Disyunción
Está representada por un circuito en paralelo.
Como vemos, admite el pasaje de corriente cuando al menos una de las dos es V (comprobar
en la correspondiente tabla de verdad).
Implicación
Dado que la representación mediante circuitos booleanos sólo es posible en caso de la
conjunción o disyunción, para todas las demás operaciones necesitamos convertirlas en
combinación de éstas. Así, puesto que ( p q ) ⇔ ~ ( p ∧ ~ q ), aplicando una ley de De Morgan y
la doble negación, se tiene ( p q ) ⇔ ( ~ p ∨ q )
Es decir, convertimos la implicación en una disyunción para poder representarla mediante
un circuito booleano. Tenemos, así:
________________________________________________________________________________
Lic. Silvia Suárez de Rodríguez -9- FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2010
P = {a ∈ U / p (a )esV } o simplemente P = {a ∈ U / p (a )}
Ejemplo: Sean las funciones proposicionales:
i ) p ( x) : x 2 − 25 = 0 U =R
{
P = x ∈ R / x 2 − 25 = 0 es V }
x = 25
2
x = ± 25 x = ±5
ii) q ( x) : x + 5 < 3 U =ℜ
Q = { x ∈ R / x + 5 < 3 es V }
Por la analogía entre las operaciones con proposiciones y las operaciones con las formas
proposicionales resulta que las tablas de verdad de ambos son idénticas.
En cuanto al conjunto de verdad de las distintas operaciones con formas proposicionales
tenemos:
Negación
P = {a ∈ U / ∼ p(a) es V} = {a ∈ U / p (a ) es F }
P = {a ∈ U / a ∉ P}
Conjunción
Sea p (x) y q(x) dos formas proposicionales P y Q sus respectivos conjuntos de verdad.
El conjunto de verdad de la conjunción: p(x) ∧ q (x)
R = {a / p (a ) ∧ q (a ) es V} = {a / p (a ) esV y q (a ) esV }
R = {a / a ∈ P ∧ a ∈ Q} = P ∩ Q
Disyunción
P(x) ∨ q(x), el conjunto de verdad es: P ∪ Q
Conjunción
Recordar que p q ≡ ~ p ∨ q, por su analogía con formas proposicionales.
Bicondicional
El conjunto de verdad de p(x) ⇔ q(x) por la analogía con las proposiciones, recordar que:
________________________________________________________________________________
Lic. Silvia Suárez de Rodríguez - 11 - FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2010
[p ⇔ q ≡ (p q ) ∧ (q p) ≡ (~p ∨ q) ∧ (~q ∨ p) ]
Cuantificadores
Sea p(x) una forma proposicional, P su conjunto de verdad y U el conjunto universal.
Si P = U entonces decimos que:
Todo elemento x de U, p(x) es verdadero
Aunque este enunciado contiene una variable, se obtiene una proposición verdadera y
denotamos:
∀ x: p(x)
El símbolo ∀ se lee “para todo”
Al anteponer la expresión “ ∀ x” a la forma proposicional p (x) se obtiene una proposición.
Llamaremos cuantificador universal a “ ∀ x”
Ahora supongamos que P ≠ ∅ y hay un elemento x de U para la cual p(x) es una proposición
verdadera.
En este caso denotaremos:
∃ x/ p(x) y leemos “existe al menos un x tal que p(x) es una proposición verdadera”.
El símbolo “ ∃ x” se llama cuantificador existencial.
Al anteponer el cuantificador existencial a la forma proposicional, obtenemos una
proposición.
Resumiendo al anteponer un cuantificador (universal o existencial) a una forma
proposicional se obtiene una proposición.
________________________________________________________________________________
Lic. Silvia Suárez de Rodríguez - 12 - FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2010
La proposición correspondiente:
“Hay por lo menos un niño que no es feliz o no es divertido”.
Proceso de Demostración
Para tener una idea intuitiva de dicho principio consideremos el siguiente ejemplo.
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.
________________________________________________________________________________
Lic. Silvia Suárez de Rodríguez - 13 - FCEyT - UNSE
Álgebra y Geometría Analítica Unidad Nº 1: Elementos de Lógica Proposicional
Año 2010
Axioma
Si P es un subconjunto de los números naturales y verifica
1) 1 ∈P;
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=
i =1 2
Para n = 1,
1
n (n + 1) 1 (1 + 1) 1 . 2
i =1 = = =1 Se verifica la igualdad para n = 1.
i =1 2 2 2
Demostración:
h +1 h
h (h + 1) h h+2 (h + 1) (h + 2)
i = i + (h + 1) = + (h + 1) = (h + 1) + 1 = (h + 1) =
i =1 i =1 2 2 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.
________________________________________________________________________________
Lic. Silvia Suárez de Rodríguez - 14 - FCEyT - UNSE