Search the courses, subjects, tracks, games and features, or jump straight to a page.
4 cards from this section. Quick, good the night before a test.
Define tautology and give an example.
Think of a statement that cannot be false.
What is a contradiction? Give an example.
Consider how you can have p true and false simultaneously.
What do we call a statement that is always true?
This type of statement includes `p ∨ ¬p`.
Is p ∧ ¬p a tautology?
What happens when p takes both true and false values?
Using De Morgan's laws, prove that ¬(p ∧ q) is logically equivalent to ¬p ∨ ¬q. Include all logical steps.
Consider how negation would affect both components.
Create a complex logical statement involving multiple variables and use logical identities to simplify and demonstrate equivalence.
Think of separating the conjunction over the disjunction and applying negation effectively.
6 more questions in this section. Enroll free to practise them all.
Enroll free