Strict conditional: Difference between revisions

Content deleted Content added
Wadh27 (talk | contribs)
corrected first sentence~~~~
Line 10:
: Bill Gates graduated in Medicine → Elvis never died.
 
This formula is true because awhenever formulathe antecedent ''A'' is false, a formula ''BA'' is true whenever the antecedent ''AB'' is falsetrue. Hence, this formula is not an adequate translation of the original sentence. An encoding using the strict conditional is:
 
: <math>\Box</math> (Bill Gates graduated in Medicine → Elvis never died.)