Content deleted Content added
m →Constructive logic: References after punctuation per WP:REFPUNCT, WP:CITEFOOT, WP:PAIC + other fixes |
Paradoctor (talk | contribs) →Avoiding paradoxes: "had" is a counterfactual |
||
Line 4:
The strict conditionals may avoid [[paradoxes of material implication]]. The following statement, for example, is not correctly formalized by material implication:
: If Bill Gates
This condition should clearly be false: the degree of Bill Gates has nothing to do with whether Elvis is still alive. However, the direct encoding of this formula in [[classical logic]] using material implication leads to:
| |||