Buscar

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

2.7: Propiedades de Nuestro Sistema Deductivo
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.07:_Propiedades_de_Nuestro_Sistema_Deductivo
\[\begin{array}{lr} \vdots & \text{Deduction of} \: \theta \\ \theta & \\ \left[ \left( \forall y \left( y = y \right) \right) \lor \neg \left( \forall y \left( y = y \right) \right) \right] \rightarr... $\begin{array}{lr} \vdots & \text{Deduction of} \: \theta \\ \theta & \\ \left[ \left( \forall y \left( y = y \right) \right) \lor \neg \left( \forall y \left( y = y \right) \right) \right] \rightarrow \theta & \text{(PC)} \\ \left[ \left( \forall y \left( y = y \right) \right) \lor \neg \left( \forall y \left( y = y \right) \right) \right] \rightarrow \left( \forall x \theta \right) & \text{(QR)} \\ \forall x \theta. & \text{(PC)} \end{array}$

Search