Diferencia entre revisiones de «Deducción natural»

151 bytes añadidos ,  hace 10 años
m
|<math>I \leftrightarrow \,</math>
|<math>\begin{matrix}
\phi \to \psi \\
\psi \to \phi \\
\hline
\phi \leftrightarrow \psi
\end{matrix}
\qquad
\begin{matrix}
\phi \to \psi \\
\psi \to \phi \\
20 725

ediciones