JustInfer | Home
Books
Tutorials
Problems
Course Problems
Public Problems
Create Your Own Problems
Course Options
Select Course
Create A Course
Register for Course
Course Home
Miscellaneous
Syntax Explanations
About Me
Acknowledgements
Contact Me
Support the site
Settings
Log in
Log out
If you notice a bug, email me at morgandavies613@gmail.com or go to the contact page and fill out the form.
»
×
Current Problem:
P, Q
⊢
(P & Q)
Submit
Infer
Undo
Save
Load
Next
Previous
Make An Assumption
Close Subproof
Restart
Note
Show Problems
Desired conclusion:
(P & Q)
Rules Enabled
You can change what rules are enabled (unless you're a student doing course work)
here
Biconditional Elimination 1
Biconditional Introduction 1
Conditional Elimination
Conditional Introduction
Conjunction Elimination
Conjunction Introduction
Disjunction Elimination
Disjunction Introduction
Double Negation
Existential Elimination
Existential Introduction
Identity Elimination
Identity Introduction
Modus Tollens
Negation Elimination
Negation Introduction
Quantifier Negation
Reiteration
Seperation of Cases
Universal Elimination
Universal Introduction
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
Current Problem: 1
Derivation #1
Derivation #2
Derivation #3
Derivation #4
Derivation #5
Derivation #6
Derivation #7
Derivation #8
Derivation #9
Derivation #10
Derivation #11
Derivation #12
Derivation #13
Derivation #14
Derivation #15
Derivation #16
Derivation #17
Derivation #18
Derivation #19
Derivation #20
Derivation #21
Derivation #22
Derivation #23
Derivation #24
Derivation #25
Derivation #26
Derivation #27
Derivation #28
Derivation #29
Derivation #30
Derivation #31
Derivation #32
Derivation #33
Derivation #34
Derivation #35
Derivation #36
Derivation #37
Derivation #38
Derivation #39
Derivation #40
Derivation #41
Derivation #42
Derivation #43
Derivation #44
Derivation #45
Derivation #46
Derivation #47
Derivation #48
Derivation #49
Derivation #50
Derivation #51
Derivation #52
Derivation #53
Derivation #54
Derivation #55
Derivation #56
Derivation #57
Derivation #58
Derivation #59
Derivation #60
Derivation #61
Derivation #62
Derivation #63
Derivation #64
Derivation #65
Derivation #66
Truth Table #1
Truth Table #2
Truth Table #3
Truth Table #4
Truth Table #5
Truth Table #6
Truth Table #7
Truth Table #8
Truth Table #9
Truth Table #10
Truth Table #11
Truth Table #12
Truth Table #13
Truth Table #14
Truth Table #15
Truth Table #16
Truth Table #17
Truth Table #18
Truth Table #19
Truth Table #20