DEPARTAMENTO DE 

CIENCIAS BASICAS   
Msc: Orlando Carrillo S 

Taller 2 LOGICA MATEMATICA

1. Demostrar: r p ʌ s q

Si se tienen como premisas

P1: w r v t s

P2: t s → r p

P3: w r → s q

P4: s q

2. Demostrar: R

Si se tienen como premisas

P1: Q v S

P2: S

P3: (R ⋀ S )→ Q

3. Pruebe si la proposición t v (t v r) es tautología, contradicción o indeterminación

4. Elabore tabla de verdad para ¿ v q) → (r ⋀ p) luego indique si esta

proposición es tautología, contradicción o indeterminación

5. Simbolizar las premisas y conclusiones siguientes. Después demostrar que las conclusiones
son consecuencia lógica de las premisas.

Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio partir el coche de
Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el coche de Andrés. O Andrés
dice la verdad o estaba en el edificio en el momento del crimen. El reloj está adelantado.
Por tanto, Andrés estaba en el edificio en el momento del crimen