Usuario:Drodriguezp/ejercicio 3 AB3

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

A. Simbolizar los siguientes razonamientos utilizando simbolos logicos tipicos de la aritmetica tales como +,>,<,etc., adecuadamente.[editar]

B. Escribir una deduccion completa para cada uno de los razonamietos.[editar]

3.

 Para cada z, si z es igual a tres mas uno entonces z es igual a dos mas dos.
 Ocho menos cuatro es igual a tres mas uno.
 Por tanto, ocho menos cuatro es igual a tres mas uno.
 P(z)= z = 3 + 1 
 Q(z)= z = 2 + 2
 P(o)= 8 - 4 = 3 + 1
 (1)∀z( P(z) → Q(x) )  (Premisa)
 (2)P(o)               (Premisa)
 (3)P(o) → Q(z)        (Particularización del universal en 1)
 (4)Q(z)               (Modus ponens 2,3)