TALLER 1 : LÓGICA Y MÉTODOS DE DEMOSTRACIÓN – CONJUNTOS Y SISTEMAS DE NUMERACIÓN

1. En cada caso indique si P  Q . Justifique su respuesta:

a. P  p  ~ q  r  , Q  ~ p  q ~ r  b. P   p  q  q  r  , Q  p  r

2. Considere la afirmación cuantificada universalmente x : Px  , con dominio D  R . En cada caso la afirmación
es falsa. Determine el conjunto de verdad T y justifique su respuesta algebraicamente.
a. Px  : x 2  5 x  6  0 b. Px  : 9  3 x 2
0
2

3. Considere la afirmación cuantificada existencialmente x : Px  , con dominio D  R . En cada caso la

afirmación es verdadera. Determine los números reales x para los cuales se cumple dicha afirmación y justifique
su respuesta algebraicamente.
a. Px  : 3 x 2  4  2 b. Px  : 2 x 5 x6  1
2

M.Sc L E I D E R S A L C E D O G A R C Í A | M A T E M Á T I C A S D I S C R E T A S Página 1