Diferencia entre revisiones de «Lógica proposicional/Equivalencias/Evaluación»

{¿Cuál es el nombre de la siguiente regla de equivalencia lógica: <math>\epsilon \Rightarrow \zeta \equiv \neg \epsilon \orlor \zeta</math>?

{¿Cuál de las siguientes proposiciones es lógicamente equivalente a <math>\neg (\neg A \andland \neg B)</math>?

+ <math>A \orlor B</math>

- <math>\neg A \orlor B</math>

- <math>A \orlor \neg B</math>

- <math>\neg A \orlor \neg B</math>