Buscar

Loading [MathJax]/jax/output/HTML-CSS/jax.js

2.2: Deducciones
https://espanol.libretexts.org/?title=Matematicas/Logica_Matematica_y_Pruebas/Introducci%C3%B3n_amistosa_a_la_l%C3%B3gica_matem%C3%A1tica_(Leary_%26_Kristiansen)/02:_Deducciones/2.02:_Deducciones
\[\begin{align} &A \left( x \right) \\ &A \left( x \right) \land A \left( x \right) \\ &\left( A \left( x \right) \land A \left( x \right) \right) \rightarrow B \left( x, y \right) \\ &B \left( x, y \... $\begin{align} &A \left( x \right) \\ &A \left( x \right) \land A \left( x \right) \\ &\left( A \left( x \right) \land A \left( x \right) \right) \rightarrow B \left( x, y \right) \\ &B \left( x, y \right) \end{align}$ $\begin{align} &\left( A \left( x \right) \land A \left( x \right) \right) \rightarrow B \left( x, y \right) \\ &B \left( x, y \right) \rightarrow A \left( x \right) \\ &\left( A \left( x \right) \land A \left( x \right) \right) \rightarrow A \left( x \right) \end{align}$

Search