- #36
meL
- 23
- 0
All assertions are false.
They refer to something
that does not exist.
They refer to something
that does not exist.
1. The following statement is true:
2. The previous statement is false.
3. If the first statement is true, then the second statement is false.
4. Is the third statement true or false?
1: a <-> b
2: b <-> ~a
3: c <-> (a > ~b)
-------------------
assume b
a from line 1
~a from line 2
contradiction
therefore ~b
a from line 2
~a from line 1
contradiction
c (you can prove anything from contradictions, therefore c is true)
~c (you can prove anything from contradictions, therefore ~c is true)