Usuario:Penarete/ejercicio 6-21

B. Dar una demostración formal para cada uno de los razonamientos siguientes:

1.

Tres mas siete es mayor que dos mas cinco.
Cada número mayor que dos mas cinco no es igual a dos por tres.
Por tanto, tres mas siete no es igual a dos por tres.

P = 3+7 > 2+5
Q(x) = x > 2+5  
R(x) = x no igual a 2 * 3

1) 3+7 > 2+5 ____________________________________________ (premisa)
2) ∀x( Q(x) → R(x) ) ___________________________________ (premisa)
3) (3+7 > 2+5) → (3+7 > 2+5)no igual a 2 * 3 ____________ (particularización universal en 2)
4) (3+7 > 2+5)no igual a 2 * 3 ___________________________ (modus ponens 1,3)