U
e
U
at
EP
Matemáticas
EP
Ciclo: 2023-2
M
Práctica dirigida No. 1
U
e
U
1) Construya la tabla de verdad de la proposición [p (q r )] [(p r ) q ].
at
EP
EP
2) Dada una proposición lógica p, se define:
M
ì
ï1, si p es verdadera
f (p ) = ï
í
ï
î0, si p es falsa
ï
e
U
e
Determine el valor de verdad de la proposición f (p q ) = 1 - f (p) ⋅ f (q ).
at
at
EP
3) Sean p, q , r proposiciones simples. Se define la proposición T (p, q , r ) como verdadera
M
M
cuando exactamente dos de las proposiciones p, q o r son verdaderas.
a) Construya la tabla de verdad de T (p, q , r ).
e
U
e
b) Construya la tabla de verdad de T (p q , q r , r p).
at
at
EP
4) Se define p # q º p q y se sabe que la proposición {[p #(p « q )]#(r q )} es
M
M
falsa, hallar el valor de verdad de p, q y r .
U
5) A continuación, se tienen dos proposiciones.
e
U
P1 : Si prospera la vacancia del presidente de la República por parte del Congreso y los
at
EP
vicepresidentes renuncian, entonces se convoca a nuevas elecciones.
EP
P2 : Si no se convoca a nuevas elecciones, entonces los vicepresidentes no renuncian o no
prospera la vacancia del presidente de la República por parte del Congreso.
a) Exprese ambas proposiciones en su forma lógico formal estableciendo primero un
U
e
U
diccionario.
at
EP
b) Justifique si las proposiciones dadas son o no son equivalentes.
EP
6) Dada la proposición [(p (q r )) (p « (s t )) (s t )] (q ), determine si es
una tautología.
e
U
e
at
7) En una isla hay dos tipos de personas, los veraces (que siempre dicen la verdad) y los
at
EP
mentirosos (que siempre mienten). Un turista se encuentra con tres personas (A, B y C) de
M
dicha isla y cada una le dice una frase.
M
• A dice: “B y C son veraces si y solo si C es mentiroso”
• B dice: “O A es veraz o C es mentiroso”
e
U
e
• C dice: “Si B es veraz, A es veraz”
at
at
Determine quiénes son veraces y quiénes, mentirosos.
EP
M
M
U
e
U
at
8) Determine si las siguientes proposiciones son verdaderas o falsas:
EP
EP
a) "x Î , $y Î , [x = 2y ]. c) "z Î , $x Î , $y Î , [z = x + y ].
M
b) $x Î , "y Î , [x = 2y ]. d) $z Î , "x Î , "y Î , [z (x + y ) Î ].
U
9) Dado el conjunto A = {x Î : x = (-3)n , n Î , n 2 + 3 £ n + 9}, justifique por qué las
e
U
at
siguientes proposiciones son falsas.
EP
a) $x Î A, "y Î A, [xy > 81]. c) "x Î A, "y Î A, "z Î A, [xy ¹ z ].
EP
M
b) "x Î A, $y Î A, [x y Ï ].
10) Dada la proposición: “Si los alumnos de la Pre que copian en un examen reciben nota cero
e
U
e
y enfrentan un proceso disciplinario, no existen alumnos de la Pre que copien en un examen
at
at
y postulen a una beca”
EP
a) Escriba la proposición anterior en lenguaje simbólico, usando cuantificadores y un
M
M
diccionario con un conjunto universo y propiedades.
b) Niegue la proposición anterior en lenguaje simbólico, sin negar proposiciones compuestas.
e
U
c) Escriba la negación hallada en el ítem anterior, en lenguaje coloquial.
e
at
at
EP
M
Un argumento es una lista de proposiciones P1, P2 , ..., Pn llamadas premisas y una
M
proposición Q llamada conclusión y se denota por P1, P2 , , Pn├ Q.
El argumento P1, P2 , , Pn├ Q es válido si y sólo si la veracidad de las premisas implica la
U
e
U
veracidad de la conclusión, es decir si (P1 P2 Pn ) Q es una tautología.
at
EP
EP
11) Dado el argumento: “El jefe de la banda saldrá del país si se siente amenazado. Si el jefe
se siente amenazado, delegará su poder en Pablo o en Luis. Si delega el poder en Pablo,
aumentarán los robos en el barrio. Si delega el poder en Luis, aumentará la venta de droga
U
e
U
y la prostitución en el barrio. El jefe de la banda salió del país. Por lo tanto, aumentarán
at
EP
los robos en el barrio, o aumentará la venta de droga y la prostitución en el barrio”
EP
a) Represente el argumento es su forma lógica formal.
M
b) Determine la validez del argumento.
e
U
e
at
at
EP
M
M
e
U
e
at
at
EP
M
M
