TP1 Discreta BC Logica 1 2012


Identificación de enunciados:
p:” Si la clave empieza con ‘r’”
q: “termina con ‘s’”
r:” posee un valor numérico”
s:” la clave tiene longitud 5”
t:” posee 1 vocal”
z:”tiene un 0”
w:” tienecaracteres especiales”

Hipotesis armadas:

1) [(pq)r](st) [ Hipotesis]
2)(pz)w [ Hipotesis]
3)(ps)r [ Hipotesis]
4)zs[ Hipotesis]

Supuestos:

Suponemos p , q verdaderos por enunciado.
Como todas las soluciones tienen longitud 5 también suponemos que s es verdadera.
Suponemos que el valor de verdad de lassiguientes premisas son iguales por enunciado.
V(sq)=V(tp)
V(Vq)=V(tV) valor de verdad de s,p son verdaderos.
V= V(tV) por Dominación
V=tpor Identidad

Desarrollo de las Hipotesis

1) [(pq)r](st)
V  r(st) valor de verdad de la implicancia verdadero
V  r( VV) valor de verdad de s,v sonverdaderas.
r( VV) por Identidad
rV por Idempotencia
V consecuente siempre verdadero

2)(pz)w
Vzwvalor de verdad de p verdadero
zw por Identidad

3)(ps)r
VVr valor de verdad de p,s son verdaderas
Vr por Idempotencia
rantencedente verdadero por lo cual la implcancia depende del valor de r


Nos queda:

1) V [ Hipotesis]
2) zw [ Hipotesis]
3) r [Hipotesis]
4) zs [ Hipotesis]


Si la clave empieza con ‘r’, termina con ‘s’ y posee un valor numérico, entonces
la clave tiene longitud 5 o posee 1 vocal.
Si la clave empieza con ‘r’ ytiene un 0, entonces la clave tiene caracteres
especiales.
Si la clave empieza con ‘r’ y termina con ‘s’, entonces la clave posee un valor
numérico.

Si la clave tiene un 0, entonces la clave tiene...