Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Departamento de Matemáticas
29 de Marzo de 2009
GUIA DE ALGEBRA:
Lógica Proposicional
Profesor: Raúl Adasme G.
1.- Indique si las siguientes proposiciones son verdaderas o falsas:
a) Si 3+4=5 entonces 6-10=4.
b) Si 18 es impar entonces 37 es par.
2.- Sean: p:“7 es un entero par” ; q:”3+1=4” ; r:”24 es divisible por 8”, entonces escriba en
palabras y asigne valores de verdad a:
a) p q
b) r q
c) r q
3.- Suponga que las proposiciones: p; q; r son verdaderas, entonces:¿cuáles de las
siguientes proposiciones son verdaderas y cuáles son falsas?
a ) p q b) q p c ) p q r d ) p q e) p r f ) q p p
4.- Cuáles de las siguientes proposiciones son Tautologías, Contradicciones o Contingencias:
a) p q q p b) p p c) p p
d) p p p p p q
5.- Determine el valor de verdad de las siguientes proposiciones:
a)
Si 5 3 , entonces 3 5 b) si 2 2 4; entonces no es verdad que : 2 1 3 5 5 10
6.- Construya la tabla de verdad de las siguientes proposiciones:
a ) p q b) p q p q c ) p q r p q r
7.- Si p=V; q=V y r=F, entonces determine el valor de verdad de las siguientes
proposiciones:
a) p q r p q r b) p q r p q p r
8.-En cada caso, determine si la información dada es suficiente para determinar el valor de
verdad de la proposición:
a) p q r / r es verdadera. b) p q q p ; q es verdadera.
9.- Determine cuáles de las siguientes proposiciones son Tautologías:
a ) p q p q b) p q p q c ) p p q
10.- Demuestre las siguientes Tautologías:
a ) p p p b) p p p c ) p p q q
11.- Sea U 1,2,3,4,5 , determine el valor de verdad de:
a )x U / x 2 2 5 b)x U / x 2 1 0 c)x U / x 2 2 x 1
12.- Sea U N , entonces, si se definen: p ( x) / x es par; q( x) / x es divisible por 3
r ( x) / x 6; s( x) / x 7; t ( x) / x es múltiplo de 6 , determine el valor de verdad
de las siguientes proposiciones: