Ejemplo 1

Hallar la siguiente conclusin: QP, a partir de las premisas:

P1: PQ P
P2: Q P

3.
4.
5.
6.

Solucin:
( PQ) P Sustitucin (equivalencia 1) del condicional en 1.
(P Q) P Sustitucin (Equivalencia 3) en 3.
Q P Ley simplificacin en 4.
QP Sustitucin del condicional en 5.
En este ltimo paso, alcanzamos la conclusin: QP, luego el argumento es
vlido.

Ejemplo 2
Demostrar la siguiente conclusin R Q, a partir de las premisas:
P1: (RS)
P2: Q S
Solucin:
3. R S Equivalencia 4 aplicada en 1.
4. R S Sustitucin (equivalencia 1) del condicional en 3. 5.
SQ Equivalencia 6 de condicional en 2
6. RQ Ley de transitividad entre 4 y 5.
En este ltimo paso, alcanzamos la conclusin: R Q, luego el Argumento es
vlido.

Ejemplo 3
Traducir al lenguaje formal y demostrar por el mtodo de validez formal el
siguiente razonamiento:
P1: Si las leyes no existen, todo estara permitido.
P2: Si las leyes no existen, no habra normas morales.
P3: Es as que hay normas morales.
Luego,
C: las leyes existen.
En primer lugar transformamos el lenguaje natural en lenguaje formal:
1. Si las leyes no existen, todo estara permitido: PS
2. Si las leyes no existen, no habra normas morales: PR

3. Hay normas morales: R

Luego las leyes existen: P
1. PS
2. PR
3. R

C: P
Solucin:
Intentamos demostrar la conclusin: P, a partir de las tres premisas:
4. P: Modus tollendo tollens entre la premisa 2 y 3.
Por lo tanto, el argumento es vlido y no es necesaria la premisa 1.
Ejemplo 4
Demostrar la siguiente conclusin: PR, a partir de las premisas:
1. P S
2. RS
Solucin:
3. PS Sustitucin (equivalencia 1) en 1.
4. SR sustitucin (Equivalencia 6) en 2.
5. PR Ley de transitividad en 3 y 4.
En este ltimo paso, alcanzamos la conclusin: PR, luego el argumento es
vlido.

Ejemplo 5
Traducir al lenguaje formal y probar la validez del siguiente razonamiento:
P1: No es verdad que: estudias y trabajas.
P2: Si quieres conseguir dinero entonces trabajas.
Luego,
C: Si estudias entonces no consigues dinero.
Solucin:
Sean:

P1: No es verdad que: estudias y trabajas: (PQ)

P2: Si quieres conseguir dinero entonces trabajas: RQ
Luego,
C: Si estudias entonces no consigues dinero: PR
P1: (PQ)
P2: RQ

C: PR
P3: P Q Equivalencia 4 en 1.
P4: PQ Sustitucin (equivalencia 1) del condicional en 3.
P5: QR Equivalencia 6 aplicada en 2.
P6: PR Ley de la transitividad en 4 y 5.
En este ltimo paso, alcanzamos la conclusin: PR, luego el razonamiento
es vlido.
Ejemplo 6
Traducir al lenguaje formal y probar la validez del siguiente razonamiento:
P1: O me traes a casa, o no voy a la fiesta.
P2: Si no llueve entonces voy a la fiesta.
Luego,
C: Si no me traes a casa llueve.
Simbolizacin
P1: O me traes a casa, o no voy a la fiesta: P Q
P2: Si no llueve, entonces voy a la fiesta: RQ
Luego,
C: Si no me traes a casa, llueve: PR
P1: P Q
P2: RQ
C: PR
Solucin:
P3: PQ Sustitucin del condicional en 1 (equivalencia 1). P4:
QR Equivalencia 6 aplicada en 2.

P5: PR Ley transitividad en 3 y 4.

En este ltimo paso, alcanzamos la conclusin: PR, luego el Argumento es
vlido.