Buenas! Espero se encuentren bien.
Quería consultar si todas las equivalencias dadas en el teórico se pueden usar en el parcial a menos que se indique lo contrario. (Distributividad generalizada, De Morgan generalizado, etc)
Además quería consultar sobre un caso específico.
Aquí el paso que está subrayado con rosado es válido?
Además me complica saber cuando algo lo suficientemente "atómico" como para que sea obvio y no necesite desarrollar y cuando si hace falta. Normalmente suelo escribir todo con todo el detalle pero en el parcial pasado me quede sin tiempo por hacer esto, quiero consultar: cual de las dos justificaciones sería mas adecuada a un parcial?
Muchas gracias!
Saludos,
Diego Furrer.
Corrijo. El paso que está subrayado en rosado debería haber sido "De Morgan generalizado y Teo de Sustitución" creo yo.
Las dudas igual se mantienen.
Gracias!
Las dudas igual se mantienen.
Gracias!
La justificación (1) está bien.
Todas las equivalencias vistas en el curso se pueden usar. Basta con decir que es una equivalencia conocida.