Search the courses, subjects, tracks, games and features, or jump straight to a page.
3 cards from this section. Quick, good the night before a test.
Create a truth table for the proposition p → q.
Remember to note when `p` being true and `q` being false is the only situation that makes `p → q` false.
What does ¬ p represent?
Think of it as 'not p'.
What is the only situation where p → q is false?
Think about the conditional relationship.
Is p ↔ q true if both p and q are false?
Consider the definition of bi-implication.
Construct a complete truth table for the expression ((p → q) ∧ (¬ p → r)) ↔ (q ∨ r).
Check each part incrementally, ensuring you're capturing the implications accurately.
Prove using truth values that (p → q) -> (¬ q → ¬ p) is a tautology.
Focus on filling out the truth values for both sides and comparing.
5 more questions in this section. Enroll free to practise them all.
Enroll free