Primer parcial Lógica – Año 2011 – Profesor: Anthony Piastri

Teórico: (4 puntos)

1. ¿Qué es lógica proposicional? (1 punto)

2. ¿Qué son las tablas de verdad? (1 punto)
3. ¿Para qué sirve el método del condicional asociado a un razonamiento? (1 punto)
4. ¿Para que sirven las equivalencias lógicas? (1 punto)

Practico: (8 puntos)

A. Aplicar método del condicional asociado al siguiente razonamiento y decir si este es

Tautológico, Contradictorio o Contingente: (3 puntos)

Si tengo plata, voy al cine.

Si voy al cine, no voy al baile.
Voy al baile.
--------------------------------------
No tengo plata.

B. Demostrar los siguientes razonamientos usando reglas y equivalencias lógicas: (2p+3p)

1- 1) ¬P v Q 2- 1) ¬R -> S
2) ¬P -> R 2) ¬P -> ¬Q
3) ¬S 3) R -> Q
4) Q -> S -------------
------------ ¬P -> S
R

------------------------------------------------------------------------------------------------------------------------------
Recordamos ejemplos de reglas lógicas:
M.P M.T S.H S.D
P -> Q P -> Q P -> Q PvQ
P ¬Q Q -> R ¬Q
------- ------ ------- ------
Q ¬P P -> R P

Unas equivalencias lógicas útiles:

Implicación1: (P -> Q) <=> (¬Q -> ¬P)
Implicación2: (P -> Q) <=> (¬P v Q)