I) Dadas las reglas:

a) "no (A y B)" es lo mismo que "(no A) o (no B)"

y tambin,

b) "no (A o B)" es lo mismo que "(no A) y (no B)"

Actividades
Escribe simblicamente las reglas a y b
Comprueba la representacin simblica de cada regla

II) Realice la comprobacin tautolgica de las siguientes reglas (usa

1 para verdadero y 0 para falso)
III) Determine el valor de verdad de las siguientes
proposiciones:

a) m Z+, n Z+, 2n = m=v

b) (x R), (y R)(xy = 1)=v
c) (x R), (y R)(xy = 1)=v

IV) Sea x: entero positivo. Determine valor de verdad de las

proposiciones y justifique sus
respuestas

a) x [x pares x impares] F porque un numero par no puede ser

impar

b) x [x = 5] =f porque no se cumple con todos los nmeros naturales.

 c) x [x pares x primo] v porque el 2 cumple esa condicin

d) !x [x pares x primo] v porque el 2 cumple esa condicin

V) Sean (x,y) pares ordenados enteros positivo. Encuentre el valor

de verdad y justifique su respuesta.

a) !x,y [y = 2x +1] F porque al sustituir a x por un numero par y a la vez

sumarle 1 el resultado ser siempre un nmero impar.

b) x,y [ y < x/3] V porque cualquier valor que tome x y lo dividimos entre 3
ser meno que y