\documentclass[12pt]{article}

\usepackage{natbib}
\usepacmC{f: ee}

tarrow$ B}
\AxiomC{a: A}
\RightLabel{\scriptsize Eliminaci\'on $\backslash$}
\BinaryInfC{apply(f, a): B}
\end{pkaA $\righ
\AxiomC{Y(x): Set (x: El(X))}
\RightLabel{\scriptsize formaci\'on}
\BinaryInfC{$\Pi$(X,Y): Ser}
\end{prooftrge{qtree}
\usepaoof{\begin{pr): Set) (x:El(X))}
\AxiomC{b(x): El(X) (x:El(X))}
\RightLabel{\scriptsize introducci\'on}
\TrinaryInfC{$\lambda$(X, Y, b): El ($\Pi$(X,Y))}
\end{prooftree}
tree}
\Axiorooftree}

\begin{prooftree}
\AxiomC{
R ELIMINACION) La regla de eliminaci\'on, la cual indice c\'omo se puede eliminar el operador o el
conjunto.\\

ap:(X:set)(Y:(X)prop) ($\Pi$(X,Y))(x:X)Y(x)\\ % explicar la diferencia con la regla clasica de

eliminacion del cuantificador

\begin{prooftree}
\AxiomC{X: X: set}{Y(x($\Pi$(X,Y))}
\AxiomC{a: El(X)}
\RightLabel{\scriptsize eliminaci\'on}
\QuaternaryI
P1) Maria es mujer y Pedro es hombre \\
C: Maria es mujer \\

\beginset}
\AxiomC{Y(x): Set) (x:El(X))}
\AxiomC{c: El

\begin{prooftree}
\AxiomC{X: set}
\AxiomCnfC{$apply$(X, Y, c, a): El (Y(a))}
\end{prooftree}
\
\section{Introducci\'on}
% (p. 45- 60)

\begin{prooftree}
\AxiomC{A : set }
\Axio
P1) La manzade mC{ B: set}
P1) La man \
\RightLabel{\scriptsize Formaci\'on}
\BinaryInfC{($\Sigma$x: A)B(x) : set}
\end{proozana es roj
\begin{prooftree}
\AxiomC{a : A}
\AxiomC{ b: B(a)}
\RightLabel{\scriptsize Introducci\'on}
\BinaryInfna es roja y las uvas son verdes \\
C: las uvas son verdes\\

P1) La Luna es de queso y la Tierra es de miel \\

C: La luna es C{ (a, b) : ($a y las uvas son verdes \\
C: La manzana es roja\\

quesoftree}

La regla de}
\AxiomC{c : ($\Sigma$x: A)B(x)}
\RightLabel{\scriptsize Eliminaci\'on}
\UnaryInfC{p(c): A}
\end{prooftree}
`p)$\neg$'

Ejemplo de la regla 1: \\
introducci\'on:\\
\Sigma$x: A)B(x)}
\end{prooftree}

La regla de eliminaci\'on:\\

\begin{prooftree

r\\
\begin{prooftree}
\AxiomC{ee}

El operador por el cual se construyen los elementos can\'inico se llama `constructor', el constructor de
($\Sigma$x: A)B(x) es la fnfC{ (a, b) : ($\Sigma$x: A)B(x)}
\end{prooftree}

\begin{prooftree}
\AxiomC{a : A}
\AxiomC{ unci\'on `par', la cual toma los elementos de A y de B(a) como argumentos y retorna
elementos del conjunto `par'.\\

\begin{A : set }
\AxiomC{ B(x): set(x:A)}
\RightLabel{\scriptsize Formaci\'on}
\BinaryInfC{($\SifC{ p(c): A}
\end{prooftree}

\begin{prooftree}
\AxiomC{a : A}
\AxiomC{ b: B(a)}
\RightLabel{\scriptsize Introducci\'on}
\BinaryIbgma$x: A)B(x) : set}
\end{prooftrprooftree}
\AxiomC{c : ($\Sigma$x: A)B(x)}
\RightLabel{\scriptsize Eliminaci\'on}
\UnaryIn: B(a)}$ q) es una f\'ormula de L entonces $\neg$ (p$\wedge$ q) es una f\'ormual de L, la
regla 2

%paso 3) (p$\wedge$ q) es una f\'ormula de L entonces $\neg$ ($\alpha$$\wedge$ q) es una f\'ormual

de L, la regla 2

\RightLabel{\scriptsize Igualdad}
\BinaryInfC{ p((a, b)) = a :A}
\end{prooftree}

paso 1) p, q son f\'ormulas de L, por la regla 1\\

paso 2) p, q son f\'ormulas de L, entonces (p$\wedge$ q) es una f\'ormula de L, por la regla 3\\

paso 3) (p$\wedge
Ejemplo de la R5:\\

($\neg$p$\wedge$ q), $\neg$(p$\wedge$ q) son f\'ormuals de l, entonces ( ($\neg$p$\wedge$ q) $\

rightarrow$ $\neg$(p$\wedge$ q) ) es una f\'ornula. \\
EJEMPLO:\\

($\neg$p $\rightarrow$ $\neg$p) \\

Paso 3: $\neg$p, $\neg$p son f\'ormulas de L, entonces ( $\neg$p $\rightarrow$ $\neg$p)

\subsection{Otros }

($\neg$p $\rightarrow$ $\alpha$) \\

No es una f\'ormula pues $\alpha$ no es una le

Paso1: p es una f\'ormula de L\\

Paso 2: p es una f\'ormula entonces $\neg$p es una f\'ormula

tra proposicional\\

i) ($\neg$p $\rightarrow$ ($\neg$p $\vee$ q) )\\

PASO 1) p, q son f\'orm

PASO 4) $\neg$p, ($\neg$p $\vee$ q) entonces, ( $\neg$p $\rightarrow$ ( $\neg$p $\vee$ q)) R5
nces $\neg$p es una f\'ormula, R2

PASO 3) si q, $\neg$pulas, R1\\

PASO 2) si p es una f\'ormula, entormula, entonces ($\neg$p $\vee$ q), R4

es una f\'o

\section{Otros }
$\neg$p es una f\'ormula
PASO 3) s, $\neg$p son f\'omula, entonces ( $\neg$p $\rightarrow$ s) es una f\'ormula

\begin{prooftree}
PASO 4: ( $\neg$p $\rightarrow$ s),
\AxiomCscriptsize RI-$ \rightarrow$, 1}
\UnaryInfC{$ \alpha \rightarrow \beta$}
\end{prooftree} r, entonces ( ( $\nega)^{1}$}
\noLine
\UnaryInfC{$ (\alph
\RightLabel{\{$D_{i}$}
\noLine
\UnaryInfC{$\beta$}$p $\rightarrow$ s) $\vee$ r )

%PASO 1)

\section{Introdiuccio
Argumento: \\

P1) Maria es mujer y Pedro es hombre \\

C: Maria es mujer \\

P1) La manzana es roja y las uvas son verdes \\

C: La manzana es roja\\

n 2}

Un argumento es v\'alido sii: si las premisas son verdaderas entonces, tambi\'en lo es la conclusi\'on.\\
P1) La manzana es roja y las uvas son verdes \\
C: las uvas son verdes\\

P1) La Luna es de queso y la Tierra es de miel \\

C: La luna es de queso \\

\begin{prprooftree}
\AxiomC{P1) A y B}
%\noLineooftree}
\AxiomC{ A y B}
%\noLinee}

{$D_{i}$}
\begin{
\noLine
\UnaryInfC{$\beta$}
\RightLabel{\scriptsize RI-$ \rightarrow$, 1}
\UnaryInfC{$
\UnaryInfC{C: B}
\UnaryInfC{A}
\end{prooftre
\end{prooftree}

\section{Alfabeto de $L_{0}$}

A) letras proposicionales: $p$, $q$, $r$, $s$,...,$p_{1}$,...,$p_{2}$, $p_{3}$,...,$p_{n}$\\

\begin{prooftree}
B Conectivas:\\
\AxiomC{$ (\alpha)^{1}$}
\noLine
\UnaryInfC \alpha \rightarrow \beta$}
\end{prooftree}
Negaci\'on: $\neg$....... lectura: `no', no es el caso que... no es cierto\\

Coyuntor : $\wedge$......lectura: `...y...', `pero', \\

Disyuntor: $\vee$........lectura: `o'\\

Condicional: $\rightarrow$: lectura: `si... entonces...', \\

Bicondicial: $\leftrightarrow$: lectura:`si y solo si'\\

C) Par\'etesis: `)' , `('\\

Ejemplos:\\

\section{Lenguaje objeto y metalenguaje}

Metavariables proposicionales: $\alpha$, $\beta$, $\gamma$, ...

iii) Si $\alpha$ y $\beta$ son f\'ormulas de $L_{0}$, entonces ($\alpha$ $\wedge$ $\beta$) es una una
f\'ormula de $L_{0}$
\\

iv) ii) Si $\alpha$ y $\beta$ son f\'ormulas de $L_{0}$, entonces ($\alpha$ $\vee$ $\beta$) es una una
f\'ormula de $L_{0}$
\\
\section{Definici\'on recursiva del conjunto de f\'ormulas l\'ogicas}

i) Toda letra o variable proposicional es

ii) Si $\alpha$ es una f\'ormula de $L_{0}$, entonces $\neg$$\alpha$ es una f\'ormula de $L_{0}$\\

v) ii) Si $\alpha$ y $\beta$ son f\'ormulas de $L_{0}$, entonces ($\alpha$ $\rightarrow$ $\beta$) es
una una f\'ormula de $L_{0}$
\\

vi) ii) Si $\alpha$ y $\beta$ son f\'ormulas de $L_{0}$, entonces ($\alpha$ $\leftrightarrow$$\beta$)
es una una f\'ormula de $L_{0}$\\
una f\'ormula de $L_{0}$\\

i*) Si $\alpha$ es una letra proposcional, entonces $\alpha$ es una f\'ormula de $L_{0}$\\

\section{Ejemplos}

1) $p$\\

2) $\alpha$ : (no es una f\'ormula de $L_{0}$) \\

$\alpha$: $p$
$\alpha$: $q$

$\alpha$: $s$\\

Sea $\alpha$ una f\'ormula de L.....