»
×
Current Problem:
⊢
Submit
Infer
Undo
Save
Load
Next
Previous
Make An Assumption
Close Subproof
Restart
Note
Show Problems
Desired conclusion:
Rules Enabled
You can change what rules are enabled (unless you're a student doing course work)
here
Mute Sound
Display Note Column
Derivation Mode:
Justification Check
Full Line Check
No Check
Complete the truth table for the following wffs {
}
Check/Submit
Save
Load
Next
Previous
Restart
Show Problems
Mute Sound
Check/Submit
Save
Load
Next
Previous
Restart
Show Problems
Mute Sound
Problems