List of Exercises

Your choice - html (many interactive, with links to solutions) or pdf:*

1. Wason Selection Task Exercise [pdf]
2. Argument or non-argument? [pdf]
3. Deductive or inductive? [pdf]
4. Finding real arguments [pdf]
5. Recognizing Connectives [pdf]
6. Simple and Complex [pdf]
7. Wffs vs. non-wffs [pdf]
8. Creating your own formal system [pdf]
9. The main operator [pdf]
10. Describing wffs in English [pdf]
11. Non truth-functional "and"exercise [pdf]
12. Showing that "hopes that" is non-truth functional [exemplary answer]
13. Polish Notation [pdf]
14. Basic truth tables [pdf]
15. Determine the truth value of wffs [pdf]
16. More challenging truth-table problems. [pdf]
17. Complete Truth-table Exercise [pdf]
18. Translation in PL - Check your answers [pdf]
19. More Translation in PL - Check your answers [pdf]
20. Even More Translation into PL - Check your answers [pdf]
21. Translating Necessary and Sufficient Conditions - Check your answers [pdf]
22. Translating from PL to English [pdf]
23. Logical Status I [pdf]
24. Logical Status II [pdf]
25. Logical Equivalence [pdf]
26. Translate and Test for Validity
27. Validity and the Conditional [pdf]
28. Gappy Truth Tables I [pdf]
29. Semantic Concepts
30. Truth Trees [pdf]
31. Truth Tree Tests for Validity [pdf]
32. Another Truth-tree Test for Logical Equivalence
33. Stating Truth-Tree Rules for non-PL Operators [pdf]
34. Translate and Test for Validity [pdf]
35. Truth Functional Completeness Essay [pdf]
36. Sheffer Stroke Exercise (extra credit)
37. Practice Exam #1 [pdf]
38. Rules of Inference I
39. Rules of Inference II
40. Rules of Inference III
41. Rules of Inference IV
42. Proofs I - [pdf] Rules of Inference Proofs
43. Proofs II - [pdf] Proofs with Equivalence Rules
44. Proofs III -  [pdf] Proving Theorems
45. Proofs IV -  [pdf] Conditional and Indirect Proof
46. Proofs V -  [pdf] More practice!
47. PL Proof Form - Use with any of the proof exercises above.
48. Translation, Validity and Proof in PL  [pdf]
49. Metatheoretic Consistency and Completeness
50. Recognizing Singular Propositions
51. Translating Singular Propositions
52. Singular or Quantified?
53. Negations of simple existential wffs
54. Quantified Negations and Negations of Quantified wffs
55. Translating Simple Quantified Sentences
56. Practice Exam #2
57. Translating Truth-functional Propositions in QL - Check your answers
58. Mixed Quantification Translation - Selected Answers
59. Recognizing Categorical Propositions
60. Recognizing and rewriting Categorical Propositions
61. Contraries and Subcontraries
62. Testing Syllogisms for Validity 1
63. Testing Syllogisms for Validity 2
64. Testing Syllogisms for Validity 3
65. Logically Equivalent Categorical Propositions
66. Translation in Monadic Predicate Logic I
67. Translation in Monadic Predicate Logic II
68. Determining Semantic Properties in QL using the Model Universe Method
69. Validity in an Empty Domain
70. Determining Semantic Properties in QL using the Truth-Tree Method
71. Translate and Test Arguments for Validity
72. Practice Exam #3
73. Proving Categorical Quantifier Negation Theorems
74. Instantiation Rule Exercise
75. QL Proof Form - Use with any of Proof in QL
76. Easy Proofs in QL
77. Harder Proofs in QL 1
78. Proving Theorems in QL
79. Easy Polyadic Translation Exercise
80. Polyadic Translation Exercise I
81. Translation in Polyadic QL II
82. Translation of Arguments in Polyadic QL
83. Truth-trees in Polyadic QL
84. Undecidability Exercise
85. Proofs in Polyadic QL
86. Translation with Identity 1
87. Translating Numerical Propositions
88. Superlatives and Exceptives
89. Definite Descriptions
90. Properties of Relations
91. Practice Exam #4 

*Inclusive "or"!