1Métodos para probar la validez de argumentos

Juan Camilo Lozano

Octubre2018

Universidad Nacional Abierta y a Distancia.

Ingeniería de Sistemas.
 Lógica Matemática
Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

a. Si usted está en Madrid, entonces su reloj señala la misma hora que en Barcelona. Usted está
en Madrid.

Conclusión: su reloj señala la misma hora que en Barcelona

Ley de inferencia aplicada: modus ponendo ponens
Lenguaje simbólico: p q
P
----------
q