Usuario:Davileci/Taller

Jaśkowski

$\vdash$	${\begin{matrix}p\to q\to p\\{\begin{bmatrix}\hline p\\{\begin{bmatrix}\hline q\\{\begin{bmatrix}\hline \lnot p\\\bot \\\hline \end{bmatrix}}\\p\\\hline \end{bmatrix}}\\q\to p\\\hline \end{bmatrix}}\\p\to q\to p\end{matrix}}$
${\text{1.}}$		${\text{Hipótesis}}$
${\text{2.}}$		${\text{Hipótesis}}$
${\text{3.}}$		${\text{Hipótesis}}$
${\text{4.}}$		$\land _{I}{\text{(1,3)}}$
${\text{5.}}$		$\lnot _{I}{\text{(3-4)}}$
${\text{6.}}$		$\to _{I}{\text{(2-5)}}$
${\text{7.}}$		$\to _{I}{\text{(1-6)}}$