Si sueño es porque estoy dormido, entonces si estoy dormido es porque estoy vivo pero si no

sueño es porque no estoy vivo?

P^Q => R  Hipotesis 1
P = dormir
R => Q  Hipotesis 2
Q = soñar
Q => S  Silogismo H.
R = vivo
Q => R  Silogismo H.
S = muerto
¬R => ¬Q  Conclusion

Si es cuarentena estaré en casa, entonces si hay cuarentena hay una enfermedad pero si no hay
enfermedad entonces puedo salir de casa

P = cuarentena P^Q => R  Hipotesis 1

Q = casa R => Q  Hipotesis 2
R = enfermedad Q => P  Silogismo H.
S = libertad Q => R  Silogismo H.

¬R => ¬S  Conclusion