El esquema formal \[\sim p\wedge \{[p \wedge (p\vee q)]\rightarrow [q\vee (q\wedge r)]\}\] tiene como fórmula equivalente a:
\[ p\rightarrow q\]
p
q
\[\sim p\]
\[\sim q\]
Para reportar una pregunta debes registrarte o iniciar sesión .