Dado P y ∀ x {\displaystyle \forall _{x}} (P(x) ⇒ {\displaystyle \Rightarrow } Q(x)) derivar ∀ x {\displaystyle \forall _{x}} Q(x)
1.P premisa
2. ∀ x {\displaystyle \forall _{x}} (P(x) ⇒ {\displaystyle \Rightarrow } Q(x)) premisa
3.P(X) S x x {\displaystyle S_{x}^{x}} particularizacion1.
4.P(x) ⇒ {\displaystyle \Rightarrow } Q(x) S x x {\displaystyle S_{x}^{x}} particularizacion Universal 2.
5.Q(x) Modus Ponens 3. , 4.
6. ∀ x {\displaystyle \forall _{x}} Q(x) Generalizacion Universal
(P(x)
Q(x))
derivar Q(x)
(P(x)Q(x)) premisa
particularizacion1.
Q(x) particularizacion Universal 2.
Q(x) Generalizacion Universal
