(1.

0 unidad) Grupo 1 de ejercicios (G1)

1. Complete las proposiciones siguientes eligiendo de entre las palabras escritas al final de la que está definida por
la proposición dada y además dé un ejemplo sencillo.

a) La proposición molecular que utiliza el término de enlace «y» es una . . . . . . . . .

b) La proposición molecular que utiliza el término de enlace «no» es . . . . . . . . .

c) La combinación de una o más proposiciones atómicas con un término de enlace de proposiciones se denomina
una . . . . . . . . .

d) En Lógica, una proposición completa que no tiene término de enlace se denomina . . . . . . . . .

e) La proposición molecular que utiliza el término de enlace «si... entonces...» se denomina una . . . . . . . . .

f) La proposición situada antes del término de enlace en una proposición condicional se denomina . . . . . . . . .

g) La proposición situada después del término de enlace en una proposición condicional se denomina . . . . . . . . .

h) La proposición molecular que utiliza el término de enlace «o» es una . . . . . . . . .

antecendente

atómica

proposición molecular

condicional

conjunción

consecuente

disjunción

negación

(1.0 unidad) Grupo 2 de ejercicios (G2)

Determine todos los valores de verdad para las siguientes proposiciones utilizando tablas de verdad. Terminado
esto, clasifique la proposición diciendo si es tautología, contradicción o contingencia. Luego dibuje el circuito lógico
asociado (puede ayudarse del árbol lógico).

1. (p → q) → (∼ p →∼ q)

2. ∼ (p ∧ q) → (∼ p∨ ∼ q)

3. ∼ (p ∨ q) → (∼ p∧ ∼ q)

[Sugerencia: para diseñar el circuito use el hecho que (α → β) ≡ (∼ α ∨ β) para cualesquier par de proposiciones
α y β. Por lo tanto, debe de transformar las implicaciones en términos de la disyunción para simplificar después
un poco la proposición resultante, usando las tautologías vistas en clase.]