Deducción natural/Carga de premisa

$⊢$	$\begin{matrix} p \to q \to p \\ \begin{matrix} p \\ \begin{matrix} q \\ \begin{matrix} \neg p \\ ⊥ \end{matrix} \\ p \end{matrix} \\ q \to p \end{matrix} \\ p \to q \to p \end{matrix}$
$1 .$		$S u p u e s t o$
$2 .$		$S u p u e s t o$
$3 .$		$S u p u e s t o$
$4 .$		$I \land 1, 3$
$5 .$		$I \neg 3 - 4$
$6 .$		$I \to 2 - 5$
$7 .$		$I \to 1 - 6$

Menú de navegación