Lógica proposicional de 1º de carrera.


Ejercicio 1. Formalizar los siguientes argumentos:

1. Si Juan trabaja duro, obtiene buenos resultados. Si no trabaja duro, lo pasa bien en la oficina. Si no obtiene buenos resultados, no lopasa bien en la oficina. Así pues, Juan obtiene buenos resultados.



2. O Juan va a trabajar o se queda en casa. Si coge el metro, no va a la oficina. Por consiguiente, si Juan se queda en casa, noviaja en metro.




Ejercicio 2. Aplicar razonamiento semántico para:
a. Determinar para cada una de las siguientes fórmulas si es válida, contradictoria o contingente, indicando la(s)interpretación(es) que lo demuestran:
1. 






1
1
1
0
0
1
0
0
1
0
0
1
1
0
0
0
0
1
0
0

Contradictoria.

2. 









1
1
1
1
1
1
1
1
1
1
0
0
1
10
1
1
0
1
1
1
0
1
0
1
0
0
0
1
0
0
1
0
1
1
1
1
1
1
1
0
1
0
1
1
1
1
1
0
0
1
1
1
1
1
1
0
0
0
1
1
1
1
1

Contingente.

b. Determinar si las siguientesargumentaciones son correctas. Si no lo son, indicar la interpretación que lo demuestra (contramodelo).
1. 






1
1
0
1
0
0
1
0
1
0
0
1
0
1
0
1
0
0
0
0
1
1
1
1
Noexiste contramodelo luego la argumentación es correcta.
2. 







1
1
0
1
0
1
1
0
1
1
1
1
0
1
0
1
0
0
0
0
1
0
0
0
No existe contramodelo luego la argumentación escorrecta.

Ejercicio 3. Demostrar los siguientes esquemas argumentales utilizando cálculo deductivo:
1. 

1.  Proposición.
2.  Supuesto.
3.  IV 2
4.  MTT 1, 3.
5.  I->2, 4.

2. 

1.  Proposición 1.
2.  Proposición 2.
3.  Proposición 3.
4.  Eliminación de la conjunción en 1.
5.  Eliminación de la conjunción en 1.
6.  Propiedadsimétrica bicondicional en 3.
7.  Eliminación del bicondicional en 6.
8.  Ley de contraposición en 7.
9.  MPP entre 5 y 8.
10.  Eliminación de la conjunción en 2.
11.  MTT...