3 ideas
18465 | An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen] |
14289 | There are some assertable conditionals one would reject if one learned the antecedent [Jackson, by Edgington] |
22200 | If you eliminate the impossible, the truth will remain, even if it is weird [Conan Doyle] |