Deducción natural/Carga de premisa

$⊢$	$\begin{matrix} p \to q \to p \\ \begin{matrix} p \\ \begin{matrix} q \\ \begin{matrix} \neg p \\ p \land \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