1

Filosofa de la Ciencia Profesor: Rodrigo Moro

Prctico 1: Repaso de lgica proposicional
Reglas de inferencia
Modus Ponens

Modus Tollens

Adicin

Conjuncin

Silogismo
Disyuntivo

Simplificacin

Silogismo Hipottico

Equivalencias:
Definiciones del condicional

( )

Definicin del bicondicional

() ()

Asociatividad
( ) ( )
( ) ( )

Distributividad
( ) ( ) ( )
( ) ( ) ( )

Conmutatividad

Tautologas

Doble negacin

Importacin/exportacin
( ) ( )

Leyes de De Morgan
( )
( )

Contraposicin

1) Traduzca los siguientes argumentos al lenguaje de lgica proposicional. Determine su validez o

invalidez. Si son vlidos, demuestre su validez mediante una demostracin formal que haga uso
de las reglas de inferencia.
a) Si Juan se retira del certamen, entonces o bien Pedro ganar el ttulo, o bien Martn quedar
decepcionado. Pedro no ganar el ttulo. Martn no quedar decepcionado. Por lo tanto, Juan no
se retirar del certamen.

2
b) Si se le otorga el contrato a Ruiz, Fernndez ganar mucho dinero. Si Fernndez gana mucho
dinero, Alvarez pierde mucho dinero. Si Alvarez pierde mucho dinero, no ir de vacaciones al
Caribe. Por lo tanto, si se le otorga el contrato a Ruiz, Alvarez no ir de vacaciones al Caribe.
c) Si Alicia se casa, entonces Mara es testigo o Carolina es testigo. Si Mara es testigo y Carolina
es testigo, entonces habr una pelea en la boda. Por lo tanto, si Alicia se casa, habr una pelea en
la boda
d) Si Marta juega esta noche, nuestro equipo ganar. Nuestro equipo ganar. Por lo tanto, Marta
jugar esta noche.
e) Si robo, cometo un delito. Si cometo un delito, voy a la crcel. No he robado. Luego, no voy a
la crcel.
f) O bien se incrementa el turismo o la industria en la regin, o bien la zona continuar aislada del
resto de la provincia. Pero el turismo no se ha incrementado. Por lo tanto, si no se incrementa la
industria, la regin quedar aislada del resto de la provincia.
g) Si Paula llega hoy o maana, podr llevarse a cabo la reunin con la directora la semana que
viene. Pero Paula no ha llegado hoy. Por consiguiente, si no llega maana, no podr llevarse a
cabo la reunin con la directora la semana que viene.
2) Cul es la forma lgica de las falacias de afirmacin del consecuente y de negacin del
antecedente?
3) Explique brevemente la distincin entre argumentos deductivos vlidos e invlidos.
4) Explique brevemente la distincin entre argumentos deductivos y argumentos inductivos o
probabilsticos.