Proof Builder

Reset Proof

Premise:

$1.$

$($J $$ F$)$ M

$2.$

$($J $$ M$)$ ~P

$3.$

~F

Conclusion:

~$($F $$ P$)$

Proof:

$4.$

Enter a logical expression. The clickable icon to the right opens the symbols pad.

Enter the logical expression line numbers that justify the current logical expression.

Select the rule to justify the current logical expression.

Select a rule