Documentos de Académico
Documentos de Profesional
Documentos de Cultura
2algebra de Proposiciones PDF
2algebra de Proposiciones PDF
CAPÍTULO I
ÁLGEBRA DE PROPOSICIONES
1.1 PROPOSICIÓN
Proposición (o enunciado) es una afirmación verbal a la que puede
asociarse un valor de verdad, es decir, puede ser verdadera o falsa, por
ejemplo:
Hace calor
José estudia
El es feliz
Oruro es una ciudad con clima frío
Las proposiciones pueden ser simples como las de los ejemplos anteriores
o compuestas, que se pueden unir a través de conectores (conectivas)
Negación ~ (⌐)
Conjunción.
Disyunción
Disyunción exclusiva
Condicional →
Bicondicional
Negación conjunta ↓
2 ÁLGEBRA I
1.2 NEGACIÓN ~p
Permite negar un enunciado o proposición, su tabla de verdad es falsa
cuando p es verdadera y viceversa:
No p p ~p
No es verdad que p
V F
Es falso que p
F V
No es cierto que p
1.3 CONJUNCIÓN p q
Dos proposiciones pueden ser unidas con la conjunción, lo cual puede
interpretarse como:
p y q p q
p pero q V V V
p sin embargo q V F F
p no obstante q F F V
p a pesar de q F F F
1.4 DISYUNCIÓN p q
La disyunción permite unir dos proposiciones p q
con el equivalente a la letra o V V V
p o q V V F
o p o q o ambas cosas F V V
como mínimo p o q F F F
p implica a q p → q
si p entonces q V V V
p es suficiente para q V F F
q es necesario para p F V
V
q si p
F V F
Para asignar los valores de verdad a una proposición que contiene dos
enunciados p y q empiece por dar a p dos valores verdaderos y dos falsos
e intercale entre verdadero y falso los de q. Si se tienen tres enunciados p,
q, r asigne a p cuatro valores verdaderos y luego cuatro falsos, a q dos
verdaderos, dos falsos, dos verdaderos y luego dos falsos, finalmente
intercale los valores de verdad de r entre verdadero y falso. Siguiendo
ésta lógica no existe ninguna dificultad para construir una tabla de verdad
de n enunciados, respete el orden alfabético de las letras para empezar a
asignar los valores de verdad correspondientes.
Nótese que el número de líneas de una tabla de verdad vendrá dado por
el número dos elevado al número de enunciados de la tabla. Así por
ejemplo, una proposición de cuatro enunciados tendrá 24 =16 filas
Ejemplo 1
~ (p v q) v ~p ^ ~q
F V V V F F F F
F V V F F F F V
F F V V F V F F
V F F F F V V V
Es una contradicción
Ejemplo 2
(p → q) ↔ (r ^ ~p)
V V V F V F F
V V V F F F F
V F F V V F F
V F F V F F F
F V V V V V V
F V V F F F V
F V F V V V V
F V F F F F V
Es una contingencia
ÁLGEBRA DE PROPOSICIONES 5
Ejemplo 3
Es una contingencia
Ejemplo 4
[(p → q) ^ (q → r)] → (p → r)
V V V V V V V V V V V
V V V F V F F V V F F
V F F V F V V V V V V
V F F F F F F V V F F
F V V V V V V V F V V
F V V F V F F V F V F
F V F V F V V V F V V
F V F V F V F V F V F
Es una tautología
6 ÁLGEBRA I
Ejemplo 5
Es una contingencia
Ejemplo 6
Utilizando el asistente matemático Derive
Ingrese la siguiente expresión en la barra de entrada
TRUTH_TABLE (p, q, r, s, ((p → q) ↔ (¬ r s)) ⊻ (¬ q v r))
p q r s (p → q ↔ ¬ r ^ s) ⊻ (¬ q v r)
true true true true true
true true true false true
true true false true false
true true false false false
true false true true false
true false true false false
true false false true true
true false false false false
false true true true true
false true true false true
false true false true false
false true false false false
false false true true true
false false true false true
false false false true false
false false false false true
Ejemplo 7
Introduzca la siguiente expresión
TRUTH_TABLE(p,q,r,((p → q) ^ (q → r)) → (p → r))
Se simplificará a:
p q r (p → q) ^ (q → r) → (p → r)
true true true true
true true false true
true false true true
true false false true
false true true true
false true false true
false false true true
false false false true
Ejemplo 8
Introduzca lo siguiente:
TRUTH_TABLE(p, q, r, s, (r ⊻ q) ^ ((¬ p v s) ↔ (q → ¬ r)))
Luego de introducir y simplificar obtendrá la siguiente tabla:
p q r s (r ⊻ q) ^ (¬ p v s ↔ q → ¬ r) ⎤
true true true true false
true true true false false
true true false true true
true true false false false
true false true true true
true false true false false
true false false true false
true false false false false
false true true true false
false true true false false
false true false true true
false true false false true
false false true true true
false false true false true
false false false true false
false false false false false
10 ÁLGEBRA I
= Identidad
= Def. Condicional
= De Morgan
Idempotencia complementación
Ejemplo 10
Determinar el valor de verdad de los siguientes enunciados:
1 2
Si a 1
entonces x 2 x2 2
a
V → V
V
Como el primer enunciado es verdadero, el segundo también, y el
conector es el condicional deducimos que el enunciado es verdadero
3
8 2 y 9 3
V Λ F
F
En este caso el primer enunciado es verdadero y el segundo falso, el
conector es la conjunción, por tanto, el enunciado es falso
x0 0 o x1 1 1
F V V
V
Ahora el primer enunciado es falso y el segundo verdadero, el
conector en la disyunción, por tanto, el enunciado es verdadero.
( x y ) 2 x 2 y 2 si y sólo si sin 45º cos 45º
V ↔ V
El primer enunciado es verdadero y el segundo verdadero, el conector
es el bicondicional, en consecuencia el enunciado es verdadero.
Ejemplo 11
Conociendo que p, q, r, s son proposiciones verdaderas determine el
valor de verdad de:
(p q) ( r s) p
ÁLGEBRA DE PROPOSICIONES 13
(V V) ( V V) V
(V ) F F
V F
V
Si p,q son verdaderas y r,s,t falsas, hallar el valor de verdad de:
( r q) s ( t q) ( p s)
( F V) F ( F V ) (V F)
(F ) F (V ) (V )
V F
F
Converso o recíproco q p
Inverso o contrario ~p ~q
Contrapositivo o contrarecíproco ~ q ~p
Ejemplo 12
14 ÁLGEBRA I
Ejemplo 14
Determine la validez del siguiente argumento
P1 : Estudio o voy a la fiesta
P2 : Si estudio aprobaré el examen
P3 : Fui a la fiesta
……………………………..
Q : Reprobé el examen
(p v q) ; (p → r) ; q ├─ ~r
V V V V V V V F
V V V V F F V V
V F F V V V F F
V F F V F F F V
F F V F V V V F
F F V F V F V V
F F F F V V F F
F F F F V F F V
[(p V q) (p → r) q] → ~r
V V V V V V V V V F F
V V V F V F F F V V V
V F F F V V V F F V F
V F F F V F F F F V V
F F V F F V V F V V F
F F V F F V F F V V V
F F F F F V V F F V F
F F F F F V F F F V V
(p → q) ; (q ^ r) ; p ^ r ├─ ~q
V V V V V V V V V F
V V V V F F V F F V
V F F F F V V V V F
V F F F F F V F F V
F V V V V V F F V F
F V V V F F F F F V
F V F F F V F F V F
F V F F F F F F F V
En la primera fila las premisas son verdaderas y la conclusión es falsa,
por tanto, el argumento no es válido.
ÁLGEBRA DE PROPOSICIONES 17
P→q ; ~q ├─ ~q p→q ~q → ~q
V F F V F F V F
F V F F F V V V
V F V V F F V F
V V V V V V V V
1.18.1 CONJUNCIÓN
p ^ q
V V V
V F F
F F V
F F F
1.18.2 DISYUNCIÓN
P v q
V V V
V V F
F V V
F F F
P ↓ q
ÁLGEBRA DE PROPOSICIONES 19
V F V
1.18.3 NEGACIÓN CONJUNTA V F F
F F V
F V F
~p ^ ~q
~p ~q F F F
F F V
V F F
~p q
V V V
p ~q
p q
~p ~p V q
F V V
q
F F F
~p
V V V
V V F
q
~p P → q
V V V
q V F F
~p
F V V
F V F
q
20 ÁLGEBRA I
P ↔ q
~p p
V V V
q ~q
~p p V F F
q ~q F F V
~p p
F V F
q ~q
~p p
q ~q
(p q) ~ (p q)
(p q) ~ (( p q ) (q p ))
(p q) ~ (p q ) ~ (q p)
(p q) ( p ~ q) (q ~ p)
(p q) (p q ) ( p ~ p) (~ q q) (~ q ~ p)
(p q) (p q ) (~ p ~ q)
p v q
ÁLGEBRA DE PROPOSICIONES 21
p q p q p q V F V
V V F
p ~ F V V
q ~ p
q F F F
p ~
q p
~
q
p ~
q ~p
q
p ~
q p
~
q
Ejemplo 16
Si se tiene el siguiente circuito lógico
p
q
~p
p
~q
a) Determinar la proposición correspondiente
a) ( p q) p ( p q)
22 ÁLGEBRA I
( p q) ( p ( p q)
( p q) ( p p) ( p q)
( p q) ( f ) ( p q)
( p q) ( p q)
( p q p) ( p q q)
( p q) ( p v)
p (q v)
p q
La tabla de verdad correspondiente al circuito es:
(p V q) V (p Λ (~p V ~q)
V V V V V F F F F
V V F V V V F V V
F V V V F F V V F
F F F F F F V V V
Ejemplo 17
En el siguiente circuito lógico
~p r
q p
p q
r
~r
p Λ q
V V V
V V V
V F F
V F F
F F V
F F V
F F F
F F F