Read this lesson as text
Logic Examples & Case Studies
Math for CS · Axiom Academy
Step-by-step solutions to key logic problems Problem: Translate into symbolic logic: "If it is raining and I don't have an umbrella, then I will get wet." Problem: Build the truth table for p (q p) and determine if it's a tautology. Problem: Prove p q \; \; p q using a truth table. Problem: Negate: "Every student in this class has submitted the homework." Problem: Is this argument valid?
This is the written version of the interactive lesson above. See the full Math for CS course.