Universidad de Concepción

Facultad de Ciencias Físicas y Matemáticas

Departamento de Matemáticas
_________________________________________________________________________________________________
Elementos de Matemática
Prof.: Luis Rojas R.

PRÁCTICA 2
LÓGICA

1. Considera los siguientes enunciados: p: Estoy muy sorprendido, q: Él está

equivocado, r: Yo tengo la razón, Escribe en símbolos los siguientes enunciados:

a) “No es verdad que si yo no tengo la razón, entonces él no está equivocado”

b) “Es falso que él no está equivocado si y solo si no tengo la razón”
c) “No puede ser que a la vez él no está equivocado o yo no tengo la razón”
d) “No estoy sorprendido ni tengo la razón”

2. Determina si las siguientes proposiciones son tautologías, contradicciones o

contingencias.

a)
b)
c)
d)

3. Verifique que las siguientes proposiciones son equivalencias lógicas.

a)
b)
c)
d)
e)

4. Si se sabe que “p” es verdadera y “q” es falsa, determina el valor de verdad de las
siguientes proposiciones compuestas.

a)
b)
c)
d)
 5. Completa los siguientes enunciados, de modo que se hagan verdaderos:

a) Si es falsa y se sabe que “p” es verdadera, entonces el valor de verdad de

“q” es……….
b) Si es falsa, y se sabe que la proposición “s” es verdadera, entonces el
valor de verdad de “t” es………….
c) Si es verdadera y se sabe que “q” es falsa y “p” es verdadera,
entonces el valor de verdad de “s”, es…………
d) Si “p” es verdadera y “q” es falsa, entonces el valor de verdad de la proposición
lógica es…………
e) Si es falsa y se sabe que es falsa, entonces el
valor de verdad de “r” es……….

6. En cada caso infiera la proposición de las proposiciones verdaderas planteadas:

a) Si es verdadera, es verdadera y “p” es verdadera, concluya “t”
b) Si es verdadera, es verdadera, es verdadera y “s” es verdadera,
concluya “p”

7. Considera las siguientes proposiciones:

p: Carlos es alumno de la Universidad de Concepción
q: Soledad es alumna de la Universidad de las Américas
r: Soledad no es alumna de la Universidad de Concepción
Sí p es verdadera y  p   q  r  es falsa ¿En qué Universidad estudia Soledad?

8. Dadas las funciones proposicionales p(x): x es par, q(x): x es divisible por 3,

r  x  : x  6, s  x  : x  6. Escribe en lenguaje gramatical cada uno de los siguientes
enunciados y determina su valor de verdad.

a)
b)
c)
d)

9. Dado el conjunto , y las funciones proposicionales:

, y .
Determina el valor de verdad de las siguientes proposiciones.

a)
b)
c)
d)