I have always thought of implication in the way it is shown here in wikipedia: Contraposition article
When I think of the first part of the implication as the violet (sub-)set A and the second part of the implication as the blue (super-)set B then implication makes sense to me.
- Something that isn't contained within A might not be contained in B too. => Right.
Something that isn't contained within A can still be contained in B. => Right.
Something is contained in A but not in B doesn't make sense. So therefore implication becomes false.
Something that is contained in A is contained in B as well. => Right.
That way of thinking has always made sense to me.
Now I have to learn proof by contradiction.
I have got this table as part of my study documents.
I try to understand but no chance.
I mean especially the third row.
If I invers p and q. So that p (which is the subset in my thinking) becomes true and q (which is the superset) becomes false: How can this be true?
Wouldn't it say then:
"It isn't in the superset (q == false) but it is in the subset (p)"?
Because implication from false to true becomes true implication the result is true.
But that doesn't make sense to me.
How can something be part of a subset but not part of the superset?
Can anybody help me to understand how this table works?
Respectively: What do I wrong concerning my thinking? Where's my error?
Your translation to "It isn't in the superset but it is in the subset" is erroneous. To complement the logic, you must complement the sets - BOTH of them. Switch 'inside' with 'outside'. I.e:
p --> q is "Whatever is INside p, is INside q"
translates to
-q --> -p is "Whatever is OUTside q, is OUTside p"