\documentclass[12pt]{article}

\usepackage{
\UnaryInfC{$ \alpha_{n} \{...,\phi^{n} \alpha_{1},...,\alpha_{n}....\}$}
\AxiomC{$ \phi^{n} \{...,\phi^{n} \alpha_
P1) Maria es mujer y Pedro es hombre \\
C: Maria es mujer \\

usepa

\begin{document}
\maketitle natbib}
\usepackage{qtree}
\} \alpha_{1},...,\alpha_{n}....\}$}
\noLine

\tableofcontents
e{\phi^{n}\} \}\end{aligned} }
\end{equatminaci\'on (\textialpha_{1},...,\alpha_{n}}{\begin{aligned} \phi^{n} \{\phi^{n} \
alpha_{1},...,\alpha_{n} \} \ \qquad \alpha^{1}\{\phi^{n} \alpha_{1},...,\alpha_{n}\} \\ \alpha^{n}\{
\phi^{n} \alpha_

\section{Introdiuccion 2}

Un argumento es v\'alido sii: si las premisas son verdaderas entonces, tambi\'en lo es la conclusi\'on.\\

Argumento: \\
El segundo elemento de (\textit{I,R}), es el conjunto de reglas subat\'omicas para la introducci\'on (\
textit{at}I) y eli{1},...,\alpha_{nt{at}E) de oraciones at\'omicas en \textbf{\textit{S}}. La forma de la
reglas de introducci\'on (\textit{at}I) es:\\

\begin{prooftree}
\AxiomC{e}

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

C: La manzana es $ \alpha_{1} \{...,\phi^{n{1},...,\alpha_{n}....\} $}
\BinaryInfC{$\phi^{n}\alpha_{1},...,\alpha_{n} $}
\end{prooftreroja\\

La forma de la regla de eliminaci\'on (\textit{at}E) es:\\

\begin{equation}
\inferencion}

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 d
\section{Introducci\'on}
% (p. 45- 60)

`p)$\neg$'e plqueso \\

Ejemo de la regla 1: \\

\begin{itemize}
\item A:

r\\

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

paso 2) p, q son f\'ormulas de L, set

\item A=B: set
\item a : A
\item a = b: A
\end{itemize} entonces (p$\wedge$ q) es una f\'ormula de L, por la regla 3\\

paso 3) (p$\wedge$ q) es una f\'ormula de

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 2: p es una f\'ormula entonces $\neg$p es una f\'ormula

Paso 3: $\neg$p, $\neg$p

Paso1: p es una f\'ormula de LL 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
son f\'ormulas de L, entonces ( $\neg$p $\rightarrow$ $\neg$p)

\subsection{Otros }

\AxiomC{B: set (x: A)}

\RightLabel{

\scriptsize form}
\BinaryI\rightarrow$ $\alpha$) \\

PASO 2) si p es una f\'ormula, entonces $\neg$p es una f\'ormula, R2

\AxiomC{f: A $\rightarrow$ B}
\AxiomC{a: A}
i) ($\neg$p $\rightarrow$ (pues $\alpha$ no es una letra proposicional\\

\begin{prooftree}
\AxiomC{A: set}
\end{prooftree}$\neg$p $\vee$ q) )\\

\begin{prooftree} ci\'on $\backslash$}

\BinaryInfC{apply(f, a): B}
\RightLabel{\scriptsize Elimina

No es una f\'ormula

PASO 3) si q, $\neg$p es una f\nfC{A $\rightarrow$ B: set}

\end{prooftree}

($\neg$p $'ormula, entonces ($\neg$p $\vee$ q), R4

PASO 1) p, q son f\'ormulas, R1\\

PASO 4) $\neg$
\UnaryInfC{$\beta$}
$\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),
\AxiomC{$ (\alpha)^{1}$}
\noLine
\UnaryInfC{$Dp, ($\neg$p $\vee$ q) entonces, ( $\neg$p $\rightarrow$ ( $\neg$p $\vee$
q)) R5

}
\section{Otros }
\noLine_{i}$
\RightLabel{\scriptsize RI-$ \rightarrow$, 1}
\UnaryInfC{$ \alpha \rightarrow \beta$}
\end{prooftree} r, entonces ( ( $\neg$p $\rightarrow$ s) $\vee$ r )

%PASO 1)

\section{Introdiuccion 2}

Un argumento es v\'alido sii: si las prem

P1) La manzana es roja y las uvas son verdes \\
C: las uvas son verdes\\isas son verdaderas entonces, tambi\'en lo es la conclusi\'on.\\

Argumento: \\

P1) Maria esnzana es roja y las uvas son verdes \\

C: La manzana es roja\\

P1) La ma mujer y Pedro es hombre \\

C: Maria es mujer \\

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

C: La luna es de queso \\

\begin{pro
\UnaryInfC{A}
\end{prooftree}

\begin{prooftree}
\AxiomC{P1) A y B}
{1}$}
%\noLin
\noLine
\UnaryInfC{$D_{i}$}e
\UnaryInfC{C: B}
\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:\\
\AxiomCoftree}
\AxiomC{ A y B}
{$ (\alpha)^
%\noLine
\noLine
\UnaryInfC{$\beta$}
\RightLabel{\scriptsize RI-$ \rightarrow$, 1}
\UnaryInfC{$ \alpha \rightarrow \beta$}
\end{prooftree}
Negaci\'on: $\n

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

\section{Definici\'on recursiva del conjunto de f\'ormulas l\'ogicas}

i) Toda letra o variable proposicional es una f\'ormula de

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

Condicional: $\rightarrow$: lectureg$....... lectura: `no', no es el caso que... no es cierto\\

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

\section{Lenguaje objeto y metalenguaje}

a: `si... entonces...', \\

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

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

Ejemplos:\\ $L_{0}$\\

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

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

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}$
\\

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 $\al

$\alpha$: $q$

$\alpha$: $s$\\ormupha$ y $\beta$ son f\'

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

$\alpha$: $p$las de $L_{0}$, entonces ($\alpha$ $\leftrightarrow$$\beta$) es una una f\'ormula de

$L_{0}$\\

\section{Ejemplos}

1) $p$\\

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