Usuario:Drodriguezp/ejercicio 3 AB9

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]

9.

 Para cada x, no ocurre que x sea a la vez un numero positivo y x sea un numero negativo.
 Para cada x, si x + 1 es mayor que 2, entonces x + 2 es mayor que 2.
 Por tanto, 1 + 1 es un numero.
 P(x)= x es un numero positivo.  
 Q(x)= x es un numero negativo.
 R(x)= x + 1 > 2
 S(x)= x + 2 > 2

(1) ∀x(¬P(x) ^ Q(x)) (Premisa)
(2) ∀x( R(x) → S(x) ) (Premisa)
(3)