08-05-2011, 20:13
Usando la Tautologia \[p \vee \neg p\]
demostrar que
\[p \Rightarrow q \vee \neg (\neg q \wedge p)\]
es una Tautologia.
Intente hacerlo pero no llego a que sea una Tautologia. Llego a esto:
(...)
\[p \Rightarrow q \vee p \Rightarrow q\]
Debo estar resolviendo algo mal...
demostrar que
\[p \Rightarrow q \vee \neg (\neg q \wedge p)\]
es una Tautologia.
Intente hacerlo pero no llego a que sea una Tautologia. Llego a esto:
(...)
\[p \Rightarrow q \vee p \Rightarrow q\]
Debo estar resolviendo algo mal...