LogiKing

Exercises for Skillful Reasoning

User: guest Log out 



Exercise 1: well-formed formulas of propositional logic
Exercise 2: symbolizing sentences in propositional logic (beginner)
Exercise 3: symbolizing sentences in propositional logic (intermediate)
Exercise 4: symbolizing sentences in propositional logic (advanced)
Exercise 5: calculating the truth value of a compound proposition (beginner)
Exercise 6: calculating the truth value of a compound proposition (advanced)
Exercise 7: constructing truth tables
Exercise 8: calculating the truth values of component propositions (beginner)
Exercise 9: calculating the truth values of component propositions (advanced)
Exercise 10: the truth table test for validity (coming soon)
 Exercise 11: the truth assignment test for validity (coming soon)
 Exercise 12: tautologies, contradictions, & contingencies
Exercise 13: logical consistency
Exercise 14: logical entailment & equivalence
Exercise 15: inference rules & formal fallacies (beginner)
Exercise 16: inference rules & formal fallacies (intermediate)
Exercise 17: inference rules (advanced)
Exercise 18: equivalence rules (beginner)
Exercise 19: equivalence rules (intermediate)
Exercise 20: equivalence rules (advanced)
Exercise 21: proofs in propositional logic
Exercise 22: symbolizing sentences in modal logic
Exercise 23: well-formed formulas of predicate logic (coming soon)
 Exercise 24: symbolizing sentences in predicate logic