Professional Documents
Culture Documents
Rosa viajar a
Luxemburgo o Juan no partir para Japn. Pero, o Mara no se queda en
Venecia o Rosa no viajar a Luxemburgo. Por consiguiente, Mara no se queda
en Venecia.
Juan Japn: p
Mara Venecia: q
Rosa Luxemburgo: r
((q -> p) & (r v p)) & (q v r) -> q
Tormenta continua: p
Anochece: q
Quedamos a cenar: r
Quedamos a dormir: s
Iremos concierto: t
(((p v q) -> (r v s)) & ((r v s) -> t)) -> t
9. La puerta est abierta o est cerrada. Y si la puerta est abierta, entra el fro. Y
si la puerta est cerrada, hay calor. Por lo tanto, entra el frio o hay calor.