1.

TEMA: LÓGICA MATEMÁTICA (2.5)

En los ejercicios de este tema debes hacer la representación simbólica de la
proposición compuesta, es decir, la formalización de la expresión y luego realizar
la tabla de verdad para cada uno de ellos concluyendo si son tautologías o
contradicciones.
Ejercicio 1.
En los polos el frio es intenso únicamente si los planetas giran alrededor del sol.
p. En los polos el frio es intenso
q. si los planetas giran alrededor del sol.
Tabla de verdad Disyuncion

p q pvq
V V
V F V
F V V
F F F

. En los polos el frio es intenso y los planetas giran alrededor del sol. (V)
(V) (V)

En los polos el frio es intenso y los planetas no giran alrededor del sol (V)
(V) (F)

En los polos el frio no es intenso y los planetas giran alrededor del sol (V)
(F) (V)

En los polos el frio no es intenso y si los planetas no giran alrededor del sol (F)
(F) (F)
2.

3.

Convenciones simbólicas :
p. Juan es francés
q. Juan nació el 23 de febrero.
r. Juan es Breton.
s Juan es más bien bajo.
Formacion: p  p, r  s, q v r ├ p v s

4.

Formación: (p ∧ q) ∧ (p  r)  r
5.

Formación.
q  ⌐ p, ⌐ p  r, ⌐ ├ ⌐q