
	INICIO Clientes \| Blog MATEMÁTICAS \| QUÍMICA \| FÍSICA \| Matemát. UNIVERSIDAD \| ALEMÁN

Portada del sitio > Lógica y Estructuras Discretas > 1 - Lógica de proposiciones y predicados de primer orden > Equivalencia de fórmulas

Equivalencia de fórmulas

Puede comprobarse que $(p\rightarrow q)\equiv(\neg p\vee q)$ y también que $(\neg p\vee q)\equiv\neg(p\wedge\neg q)$ . Marque todas las respuestas que considere correctas:

a) $\neg (p\wedge\neg q)\equiv(p\rightarrow q)$
b) Hay una interpretación que satisface $(p\rightarrow q)$ y sin embargo no satisface $\neg (p\wedge\neg q)$
c) $\neg (p\wedge\neg q)$ es una tautología
d) Hay una interpretación que satisface $(\neg p\vee q)$ y sin embargo no satisface $(p\rightarrow q)$