Apunte Teórico LÓGICA
Apunte Teórico LÓGICA
Apunte Teórico LÓGICA
1. Lógica proposicional.
Escucha, serás sabio. El comienzo de la sabidurı́a es el silencio.
Pitágoras.
No serı́a muy desacertado pensar que algunas de la siguientes oraciones fueron pronun-
ciadas por algún alumno durante los últimos dı́as.
Tengo que estudiar y limpiar el cuarto, ¡No tengo tiempo para todo !
Definición 1.1 Una proposición es una afirmación de la cual se puede decir que es
verdadera o falsa. En general las proposiciones se denotan con las letras p, q, r, s, etc.
Ejercicio. 1.2 Dar dos ejemplos de proposiciones verdaderas y dos ejemplos de proposi-
ciones falsas.
1
1.1. Conectivos Lógicos.
Es posible a partir de proposiciones dadas obtener nuevas proposiciones uniendo las dadas
mediante conectivos lógicos. Al unir dos proposiciones mediante un conectivo lógico obte-
nemos una proposición compuesta. Algunos de los conectivos lógicos que estudiaremos
en este curso son:
1.1.1. Conjunción.
Analicemos la proposición r dada a continuación:
r está compuesta por dos proposiciones unidas con el conectivo ((y)), las dos proposiciones
componentes son:
Es claro que la proposición r = La forma de la tierra es Geoide y gira alrededor del sol, es
verdadera pues ambas proposiciones componentes p y q son verdaderas. Analicemos otro
ejemplo.
Sean p = ayer a la tarde estudié álgebra y q = ayer a la tarde viajé a la luna. Formemos
la proposición r = p ∧ q que es
Es claro que la proposición r es falsa y esto se debe a que una de las proposiciones com-
ponentes, en este caso la proposición q, es falsa. Por lo tanto podemos afirmar que
Analicemos los valores de verdad que toma la conjunción p ∧ q de acuerdo a los valores de
verdad de p y de q. La pregunta inmediata es ¿cuántas posibles combinaciones tenemos
para p y q? p puede tomar dos valores de verdad, éstos son verdadero (V) o falso (F),
y por cada uno de ellos lo mismo ocurre con q, por lo que tenemos cuatro combinaciones
posibles. Colocamos los mismos en el cuadro 1.1 que denominaremos tabla de verdad
de la conjunción.
2
p q p∧q
V V V
V F F
F V F
F F F
Resumiendo podemos decir que la conjunción es verdadera sólo cuando ambas proposi-
ciones componentes lo son.
Solución. 1.4
1.1.2. Disyunción.
También podemos conectar dos proposiciones mediante el conectivo ((o)), llamado disyun-
ción. Por ejemplo si p = esta tarde voy a estudiar y q = esta tarde voy a salir con amigos,
la proposición r = p ∨ q se lee r = esta tarde voy a estudiar o salir con amigos. Es claro
que para que la proposición r sea verdadera es necesario que alguna de la proposiciones
componentes sea verdadera. La tabla de verdad de la disyunción p ∨ q será
p q p∨q
V V V
V F V
F V V
F F F
En otras palabras podemos decir que p ∨ q es falsa sólo si las dos son falsas.
3
c. Borges escribió El Aleph o La Mona Lisa es un obra de Miguel Ángel.
Solución. 1.6
a.- La proposición p =las aves vuelan, es verdadera y la proposición q = los gatos son
aves, es falsa, por lo tanto, la disyunción es verdadera por ser una de las proposi-
ciones simples verdadera.
Solución. 1.8
p ∼p p∧ ∼ p p∨ ∼ p
V F F V
F V F V
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r) (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
2. Conmutativa.
p∧q ≡q∧p p∨q ≡q∨p
4
3. Distributiva
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
4. Leyes de De Morgan
∼ (p ∧ q) ≡ (∼ p) ∨ (∼ q)
∼ (p ∨ q) ≡ (∼ p) ∧ (∼ q)
Demostración.
3.− En este caso tenemos tres proposiciones p, q y r para combinar sus valores de verdad.
La cantidad de combinaciones posibles son 8 que resumimos en la tabla del cuadro 4.
p q r q∨r p ∧ (q ∨ r) p ∧ q p∧r (p ∧ q) ∨ (p ∧ r)
V V V V V V V V
V V F V V V F V
V F V V V F V V
V F F F F F F F
F V V V F F F F
F V F V F F F F
F F V V F F F F
F F F F F F F F
Cuadro 4: p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
p q p∧q ∼ (p ∧ q) ∼p ∼q ∼ p∨ ∼ q
V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V
Cuadro 5: ∼ (p ∧ q) ≡∼ p∨ ∼ q
Se puede probar que si una proposición está compuesta por n proposiciones simples, la
cantidad de combinaciones posibles entre ambas son 2n .
b. (∼ p∧ ∼ q) ∨ q
5
Solución. 1.13
[a.-] la proposición está compuesta por tres proposiciones simples, la cantidad de combi-
naciones posibles es 23 = 8.
p q r ∼q p∧ ∼ q (p∧ ∼ q) ∨ r
V V V F F V
V V F F F F
V F V V V V
V F F V V V
F V V F F V
F V F F F F
F F V V F V
F F F V F F
Cuadro 6: (p∧ ∼ q) ∨ r
6
1.1.3. Implicación.
Analicemos ahora la implicación. Sean p = la figura F es un triángulo y q = la figura F
tiene tres lados. Formemos la proposición compuesta r = si la figura F es un triángulo,
entonces tiene tres lados que ejemplificamos como r = p ⇒ q y se denomina condicional
o implicación. A la proposición p se la suele denominar antecedente o hipótesis y a
la proposición q se la suele denominar consecuente o tesis.
La implicación p ⇒ q puede leerse de cualquiera de las siguientes maneras:
p implica q.
Si p, entonces q.
q es necesario para p
p es suficiente para q
p q p⇒q
V V V
V F F
F V V
F F V
Ejercicio. 1.19 Construir una tabla de verdad para demostrar que ((p ⇒ q)∧(q ⇒ r)) ⇒
(p ⇒ r) es una tautologı́a.
7
p q r p⇒q q⇒r (p ⇒ q) ∧ (q ⇒ r) p ⇒ r (p ⇒ q) ∧ (q ⇒ r) ⇒ (p ⇒ r)
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
p q p⇔q
V V V
V F F
F V F
F F V
2. (p ⇒ q) ⇔ (∼ p ∨ q)
3. ∼ q ⇔ (p ∧ q)
8
Solución. 1.21
p q p∧q (p ∧ q) ⇒ p
V V V V
V F F V
F V F V
F F F V
p q p⇒q ∼p ∼p∨q (p ⇒ q) ⇔ (∼ p ∨ q)
V V V F V V
V F F F F V
F V V V V V
F F V V V V
2. ∼ (p ⇒ q) ⇔ (p∧ ∼ q)
3. (p ∧ q)∨ ∼ (r ⇒ q)
Solución. 1.23
9
3. Indicar para qué valores de verdad de p y q resulta verdadera la proposición (p ⇒
q) ∧ (∼ q ⇒ p).
Solución. 1.25
Solución.
Si la figura F es un rectángulo, entonces es un cuadrado.
Si la figura F no es un cuadrado, entonces no es un rectángulo.
Si la figura F no es un rectángulo, entonces no es un cuadrado.
¿ Y si p ⇒ q es falsa?
Solución. 1.28
10
2. Unas palabras sobre demostraciones.
Hemos visto que una implicación del tipo p ⇒ q es falsa unicamente cuando p es verda-
dero y q es falso. Por lo tanto para probar que una implicación del tipo p ⇒ q es falsa,
basta encontrar un caso en el que p sea verdadera y q sea falsa. Estos ejemplos se deno-
minan contraejemplos y sólo sirven para demostrar que una implicación es falsa, pues
para probar que una implicación es verdadera no se puede probar con un ejemplo.
Explicaremos un poco áas esto.
Supongamos que tenemos la implicación Todos los números son pares, que obviamente es
falsa. Para probar su falsedad basta encontrar un caso (contraejemplo) en el cual no se
cumpla. Aunque podemos encontrar infinitos casos en los que se cumple, basta que haya
sólo un caso en el que no se cumpla para poder asegurar que la implicación es falsa. Es por
ello que encontrar casos en los cuales sea verdadera no nos asegura que la proposición lo es.
11
mencionar que en algunos casos se puede llegar no a la negación de la hipótesis, sino a la
negación de una verdad ya demostrada.
3. Cuantificadores.
Si escribimos x ∈ R : x < 5 es claro que no es una proposición, pues no sabemos quien es
x. Es decir, con x = 3 se obtiene una proposición verdadera y con x = 7 se obtiene una
proposición falsa. Sin embargo escribiendo delante de x ∈ R : x < 5 un cuantificador, po-
demos obtener una proposición. Los cuantificadores son dos, ∃ denominado cuantificador
existencial y ∀ denominado cuantificador universal. Ası́, escribiendo
∃x ∈ R : x < 5
∀x ∈ R, x < 5
Si has llegado hasta aquı́ y has logrado entender algo, has hecho un progreso muy grande
en tus estudios. Cada cosa nueva que conocemos y logramos entender nos hace personas
con mayor capacidad de entender a los demás y eso si es realmente importante. Bueno,
un descanso, pero antes un poema de Gabriela Mistral, se llama Dame la Mano.
12
Dame la mano y danzaremos;
dame la mano y me amarás.
Como una sola flor seremos,
como una flor, y nada más...
El mismo verso cantaremos,
al mismo paso bailarás.
Como una espiga ondularemos,
como una espiga, y nada más.
Te llamas Rosa y yo Esperanza;
pero tu nombre olvidarás,
porque seremos una danza
en la colina y nada más...
Gabriela Mistral (1889-1957) nació en Vicuña, Chile y fue la primera escritora latinoamericana en recibir el premio Nobel
de Literatura.
13