How can we reason about “if P then Q” or “P only if Q” statements in propositional logic?
Here's the table for If-then
_____ ___________ | A B | (A ⊃ B) | | 0 0 | 1 | | 0 1 | 1 | | 1 0 | 0 | | 1 1 | 1 | |_____|___________|
Let A = There's a God. and B = There's a human. So, If there's a God then there's a human.
Acording to truth table,
When A = 1 and B = 1 or A = 0 and B = 0, the result is understandable,
But, the other two statements for example:
"If there's not a God then there's a human" is true. Why is this? Also,
"If there's a God then there's not a human" is the only statement that is false.
How does it make sense?