skip to references
skip to the proof builder
Cengage Logic Tool
Getting Started:
References:
Proof Builder
Reset Proof
Premise:
1.
Enter a logical expression. The clickable icon to the right opens the symbols pad.
Toggle symbols pad.
Symbols pad closed.
Conclusion:
Enter a logical expression. The clickable icon to the right opens the symbols pad.
Toggle symbols pad.
Symbols pad closed.
Proof:
2.
Enter a logical expression. The clickable icon to the right opens the symbols pad.
Toggle symbols pad.
Symbols pad closed.
Enter the logical expression line numbers that justify the current logical expression.
Select the rule to justify the current logical expression.
Select a rule
No Options
Indent Line
Check Proof