Search the courses, subjects, tracks, games and features, or jump straight to a page.
2 cards from this section. Quick, good the night before a test.
Define a propositional variable in your own words.
Think of variables in mathematics.
What does a bi-implication mean?
It's about mutual truthfulness.
What does it mean for a set of propositions to be consistent?
Think about truth values.
If p ↔ q is true, and p is false, what must q be?
Refer to the definition of bi-implication.
Prove that the conjunction of p ↔ q and q → r leads to a consistent specification if r is also Implied by p.
Sketch the implication chain to visualize.
Create a truth table for expressions p → q and ¬r, determining if their conjunction is satisfiable.
Remember to check all combination rows thoroughly.
5 more questions in this section. Enroll free to practise them all.
Enroll free