Ejemplo 3

Traducir al lenguaje formal y demostrar por el método de validez formal el siguiente

razonamiento
:P1: Si las leyes no existen, todo estaría permitido.
P2: Si las leyes no existen, no habría normas morales
C: las leyes existen.

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.Solución:Sean:P1: No es verdad que:
estudias y trabajas: ¬
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.Simbolización
P1: O me traes a casa, o no voy a la fiesta:
P1: Todos los que no se presenten al examen, tendrán que presentarsupletorioP2: Juan no se
presenta al examen.Por lo tanto:
C: Juan presenta supletorio.
b)
P1: Ningún ánade baila el vals.P2: Ningún oficial declina nunca una invitación a bailar el
vals.P3: Todas mis aves de corral son ánades.Por lo tanto:
C: Mis aves de corral no son oficiales.
c)
P1: Lancelot ama a la Reina Ginebra.P2: Lancelot no ama a ninguno de sus amigos.P3: El Rey
Arturo es amigo de Lancelot.
d)
P1: Si el reloj está adelantado, entonces Juan llegó antes de las diez y viopartir el carro de
Andrés.P2: Si Andrés dice la verdad, entonces Juan no vio partir el carro de
C: Andrés estaba en el edificio en el momento del crimen.
e)
P1: Nadie confía en las personas que nunca pagan sus deudas.P2: Todo el mundo cuenta con
la confianza de sus familiares.Por lo tanto,
C: cualquiera que tenga familia paga alguna de sus deudas.
f)

P1: Si Juan es más alto que Pedro, entonces María es más baja que Juana.P2: María no es
más baja que Juana.,
C: Juan y Luís no tienen la misma estatura.