3.1.1. Modus ponens La forma de este razonamiento es: A → B A B B Al escribir esta forma, empleamos letras de imprenta mayúscula (A, B, etc.), en l...

3.1.1. Modus ponens La forma de este razonamiento es: A → B A B B Al escribir esta forma, empleamos letras de imprenta mayúscula (A, B, etc.), en lugar de las letras que usamos para nombrar a las proposiciones simples (p, q, r, etc.). Como presentamos en el apartado 2, las letras proposicionales se utilizan para nombrar proposiciones simples. Las letras de imprenta mayúscula, en cambio, pueden representar proposiciones tanto simples como compuestas. Por ejemplo, podemos reemplazar cada una de las letras de imprenta mayúscula de la forma de razonamiento presentada por una proposición simple: p → q p q Si tomamos el siguiente diccionario: p: le cortan la cabeza q: se muere el razonamiento sería: Si le cortan la cabeza se muere. Le cortan la cabeza, por lo tanto, se muere. Otros ejemplos de razonamientos con esta forma, en los que A y B se reemplazan por proposiciones compuestas son: ~p → ~q ~p ~q ( p . q ) → r ( p . q ) r p p → (q v r ) (q v r ) Todos estos ejemplos tienen la forma del Modus ponens. En todos ellos en