Cá Lculo Proposicionál: Proposiciones
Cá Lculo Proposicionál: Proposiciones
Cá Lculo Proposicionál: Proposiciones
Proposiciones
Definición 1: llamamos proposición a una oración declarativa que tiene como característica principal
que es verdadera o falsa, aunque no verdadera y falsa al mismo tiempo. Las proposiciones las
representaremos con letras minúsculas p, q, r, s, etc.
a. Ven acá.
b. ¿De dónde vienes?
c. Esta proposición es falsa.
Operaciones Veritativas
Definición 3: llamaremos conectivos lógicos elementales a ciertos conectores provistos del significado
preciso que están presentes en el lenguaje cotidiano, con los que podemos construir proposiciones a
partir de otras. Estos conectivos son: y; o; o…o; sí, … entonces; si y solo si; no.
Definición 4: Sea p una proposición, llamaremos negación de p a la proposición ~p, que se lee
“no p”, “no es cierto que p” con un valor lógico que está dado por la siguiente tabla que dice
que cuando p es vedadera, ~p es falsa y cuando p es falsa ~p es verdadera:
p ~p
1 0
0 1
De forma analítica podemos obtener el mismo resultado de la tabla de la negación con el uso de
la siguiente igualdad: VL(~p) = 1 – VL(p).
p Q p˄q
1 1 1
1 0 0
Tenemos que:
El VL(p ˄ q) = 1, dado que el VL(p) = 1 y el VL(q) = 1. De forma analítica, VL(p ˄ q) = mín{VL(p), VL(q)} =
mín{1, 1} = 1.
El VL(q ˄ r) = 0, dado que el VL(q) = 1 y el VL(r) = 0. De forma analítica, VL(q ˄ r) = mín{VL(q), VL(r)} =
mín{1, 0} = 0.
p q pvq
1 1 1
1 0 1
0 1 1
0 0 0
De forma analítica podemos obtener el mismo resultado de la tabla de la disyución con el uso de
la siguiente igualdad VL(p v q) = máx{VL(p), VL(q)}.
Tenemos que:
El VL(p v q) = 1, dado que el VL(p) = 1 y el VL(q) = 1. De forma analítica, VL(p v q) = máx{VL(p), VL(q)} =
máx{1, 1} = 1.
El VL(q v r) = 0, dado que el VL(q) = 0 y el VL(r) = 0. De forma analítica, VL(q v r) = máx{VL(q), VL(r)} =
máx{0, 0} = 0.
El VL(p v r) = 1, dado que el VL(p) = 1 y el VL(r) = 0. De forma analítica, VL(p v r) = máx{VL(p), VL(r)} =
máx{1, 0} = 1.
p q pvq
1 1 0
1 0 1
0 1 1
0 0 0
Tenemos que:
El VL(p v q) = 1, dado que el VL(p) = 1 y el VL(q) = 0. De forma analítica, VL(p v q) = |VL(p) - VL(q)| = |1 –
0| = 1.
p q p→q
1 1 1
1 0 0
0 1 1
0 0 1
Ejemplo 9. Supongamos que nos hacen la siguiente promesa: Si apruebas tus materias con 100
puntos, te otorgarán una beca para hacer un postgrado en Harvard. En cualquiera de los
siguientes casos la promesa es cumplida:
a. Aprobaste tus materias con 100 puntos y te dieron la beca para estudiar tu postgrado en
Harvard.
b. No aprobaste tus materias con 100 puntos y te dieron la beca para estudiar un postgrado
en Harvard.
c. No aprobaste tus materias con 100 puntos y no te dieron la beca para estudiar un
postgrado en Harvard.
En el siguiente caso la promesa no fue cumplida:
d. Aprobaste tus materias con 100 puntos y no te dieron la beca para estudiar tu postgrado
en Harvard.
a. Si s, entonces n.
b. n es condición necesaria para s.
c. Una condición necesaria para s es n.
d. s es condición suficiente para n.
e. Una condición suficiente para n es s.
f. n si s.
g. s solo si n.
h. s solamente si n.
t: La tierra es redonda.
Solución:
Condicionales Asociados
A partir de un condicional de la forma p → q que llamaremos directo podemos obtener los siguientes
otros 3 condicionales q → p, ~p →~ q, ~q → ~p que llamaremos recíproco, contrario y contrarrecíproco
respectivamente. A partir de cualquiera de las formas condicionales anteriores puede ser la forma
directa y a partir de esta obtener su recíproco, contrario y contrarecíproco, tal como se observa en el
siguiente cuadro:
p→q q→p ~p →~ q ~q → ~p
q→p p→q ~q → ~p ~p →~ q
~p →~ q ~q → ~p p→q q→p
~q → ~p ~p →~ q q→p p→q
Ejemplo 12. A partir del siguiente condicional obtendremos su recíproco, contrario y contrarrecíproco:
p q p→q
1 1 1
1 0 0
0 1 0
0 0 1
p: 9 * 4 = 36 si y solo si 9 – 4 = 5.
q: 9 * 4 = 36 si y solo si 9 – 4 = 6.
r: 9 * 4 = 26 si y solo si 9 – 4 = 6.
Solución:
d: El dinero escasea.
b: La inflación baja.
Solución:
1. d → (s ˄ b)
2. d→b
3. s→d
4. b→s
5. d→s
6. (~d) → (~b)
7. (~s) ↔ (b ˄ d)
p: 5 > 7
r: 5 + 15 = 20
Solución:
1. VL(p ˄ r) = 0
2. VL( (~p) ˄ r) = 1
3. VL(r → p) = 0
4. VL(~(r ↔ (~p)) ) = 0
Problema 4. Identificar el antecedente (a) y el consecuente (c) de cada una de los siguientes
condicionales.
1. Que llueva y haga frío so condiciones suficientes para que estemos en invierno.
2. Que el asesino no fuera un fanático solitario es condición necesaria para que Kennedy
muriera víctima de un complot.
3. x2 = 4 solamente si x = 2.
4. Una condición necesaria para que Alemania gane el campeonato mundial es que Brasil
no compita.
Solución:
1. Que llueva y haga frío son condiciones suficientes para que estemos en invierno.
(a) que llueva y haga frío, (c) estemos en invierno.
2. Que el asesino no fuera un fanático solitario es condición necesaria para que Kennedy
muriera víctima de un complot.
(c) el asesino no fuera un fanático solitario, (a) Kennedy muriera víctima de un complot.
3. x2 = 4 solamente si x = 2.
(a) x2 = 4, (c) x = 2
4. Una condición necesaria para que Alemania gane el campeonato mundial es que Brasil
no compita.
(a) Alemania gane el campeonato mundial, (c) Brasil no compita
Definición 1: Se define una forma proposicional a aquella que se obtiene a partir de las variables
proposicionales p, q, r, s, etc., mediante el uso de los conectivos lógicos elementales. A las formas
proposicionales las denotaremos con las letras mayúsculas A, B, C, etc.
a. Todas las variables proposicionales (p, q, r, s, etc.) son formas proposicionales y son
llamadas formas proposicionales atómicas.
b. Si A y B son formas proposicionales, entonces también lo son: ~A, A ˄ B, A v B, A v B,
A → B y A ↔ B.
1. A(p,q,r) = q v r ↔ ~p
2. B(p,q) = ~[p ˄ (q →p)]
3. C(p1, p2, p3) = p1 v [p2 → (p3 ˄ ~p1)]
Definición 2: llamaremos signos de agrupación: son los símbolos llamados paréntesis (), corchetes [] y
llaves {}, utilizados para construir formas proposicionales evitando las ambigüedades.
Ejemplo 2. Las siguientes proposiciones son diferentes y puede determinarse sin ambigüedades gracias
a los signos de agrupación utilizados: (p→q) v r y p → (q v r).
Convención 1: El rango de las formas proposicionales en el rango de su conectivo lógico principal y estos
conectivos lógicos tienen el siguiente rango asignado:
Conectivo Rango
↔ 4
Ejemplo 4.
a. ~(p → q) es de rango 1.
b. p es de rango 0.
c. p ↔ (q →r) es de rango 4.
Ejemplo 5.
a. (p v r) → q se escribe p v r → q.
b. (~p) ↔ [(q ˄ r) → ~(~p)] también se escribe como ~p ↔ q ˄ r → ~ ~p.
Para determinar el valor lógico de verdad de una forma proposicional podemos utilizar tablas de verdad,
para lo cual veremos a continuación el uso del método abreviado a través del siguiente ejemplo:
Ejemplo 6.
p q (p → q) v ~p
1 1 1 1 0
1 0 0 0 0
0 1 1 1 1
0 0 1 1 1
1 1 2 3 2
Nótese que el número de filas en la tabla de verdad depende del número de variables de la forma
proposicional y se obtiene de elevar a 2 (número de posibles valores 1 o 0) al número de variables de la
Tautologías y Contradicciones
Definición 4: Llamamos tautología a toda proposición que es verdadera para cualquier valor lógico que
se le asigne a sus variables proposicionales, es decir, si la columna bajo la conectiva principal en su tabla
de verdad está formada toda de unos.
Ejemplo 7. La forma proposicional ~(p v q) ↔ (~p ˄ ~q) es una tautología (Comprobarlo haciendo su
tabla de verdad).
Definición 5: Llamamos contradicción a toda proposición que es falsa para cualquier valor lógico que se
le asigne a sus variables proposicionales, es decir, si la columna bajo la conectiva principal en su tabla de
verdad está formada toda de ceros.
Solución:
Solución:
si
(e ˄ h) → (~t v ~p)
1 1 0 0
1 0
0
Resuelva el problema 3. Sea la proposición: Lloré por mi amada y el alcaraván compañero le contó al
barranco, si y solo si o el gallito lagunero no la fue a buscar o el alcaraván compañero no le contó al
barranco.
Si la proposición es verdadera y el gallito lagunero sí la fue a buscar, contestar las siguientes preguntas:
Leyes del Álgebra de Proposiciones: otra forma diferente para demostrar las equivalencias
lógicas es con el método deductivo que es el que se realiza a través del uso de las leyes del
álgebra de proposiciones que se enuncian en el siguiente cuadro:
Prueba:
≡ p v 0 Ley de Contradicción
≡ p Ley de Identidad.
Bibliografía
1. Fundamentos de la Matemática, Tercera edición. Jorge Sáenz, Fanny Gil, Belkis López,
Neptali Romero, José Bethelmy.
2. Matemáticas discretas, Tercera edición. Seymour Lipschutz, Marc Lipson.