In line check mode, enter a well-formed formula and a justification for it. This is more closely aligned with how you would do a derivation on paper.
Current Problem:
⊢
Desired conclusion:
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
Complete the truth table for the following wffs { }
Problems
i
On this page you can create your own problems for practice. These problems are connected with your browser history and will be deleted if you clear your browser history.