Propositional Logic: Syntax and Inference
Which of the following is not an atomic proposition?
If the weather is warm and the sky is clear, then we go boating. We did not go boating. What can we validly conclude? [Hint: try to think of each proposition as a symbol]
What is the logical form of the statement: 'Either it's raining or I'll go for a walk'?
Which inference rule states that if we know 'p → q' and 'p' is true, then 'q' must be true?
What is the contrapositive of 'If it's sunny, then I'm happy'?
In a truth table for p → (q → r), how many rows will have a final value of true?
Which of the following is a valid application of the Disjunctive Syllogism rule?
What is the conjunctive normal form (CNF) of p → (q ∨ r)?
Which of the following formulas is satisfiable (true in at least one interpretation) but not a tautology (not true in all interpretations)?