Please help me formulate my sentences/thoughts here into logical jargon and solve Case 2 below.
Why does the truth table for an implication
→ look like this:
| p | q | p → q| | T | T | T | | T | F | F | | F | T | T | This really baffles me. Who said so? | F | F | T | This baffles me less.
Background to this question: I was asked to show the difference between The Quine–Mccluskey Algorithm / The Method Of Prime Implicants and a Truth Table. Also, I was tasked with testing the properties of satisfiability and tautology.
p and q represent atomic formulas (because this is propositional logic, they represent then propositional variables/sentential variables), therefore they can only be assigned single values i.e. TRUE or FALSE.
Case 1 where p is TRUE
I understand this, so this part may or may not be relevant. I could include it here for completeness upone request.