Logic problem workspace
»
×
Current Problem:
⊢
Submit
Infer
Show Line
Undo
Save
Load
Next
Previous
Make An Assumption
Close Subproof
Reopen 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
Translate The Sentence
English sentence
Abbreviation schema
Your translation
Check/Submit
Save
Load
Next
Previous
Restart
Show Problems
Mute Sound
Parse Tree Problem
Check/Submit
Save
Load
Next
Previous
Restart
Show Problems
Mute Sound
Problems