The tag has no wiki summary.

learn more… | top users | synonyms

12
votes
1answer
197 views

How can we reason about “if P then Q” or “P only if Q” statements in propositional logic?

When you have a propositional sentence of the form P ⊃ Q  — which we might read as "if P, then Q" — how can you tell when it is true, or false, based on the truth-values of P and ...