Buscar

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

2.1: Naïvely
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.01:_Na%C3%AFvely
Entonces, si $\alpha$ es una fórmula, diremos que una deducción de $\alpha$ de $\Sigma$ es una lista finita de fórmulas $\phi_1, \phi_2, \ldots, \phi_n$ tal que $\phi_n$ es $\alpha$ y para cada ...Entonces, si $\alpha$ es una fórmula, diremos que una deducción de $\alpha$ de $\Sigma$ es una lista finita de fórmulas $\phi_1, \phi_2, \ldots, \phi_n$ tal que $\phi_n$ es $\alpha$ y para cada una $i$ , $\phi_i$ se justifica en virtud de ser ya sea un axioma lógico $\left( \phi_i \in \Lambda \right)$ , un axioma no lógico $\left( \phi_i \in \Sigma \right)$ , o la conclusión de una de nuestras reglas de inferencia, $\left( \Gamma, \phi_i \right)$ , donde\(\Gamma \subseteq \{ \phi_i, \ph…

Search