Strict conditional: Difference between revisions

Revision as of 07:07, 14 January 2012

Revision as of 07:08, 14 January 2012

Line 12:

: Bill Gates graduated in Medicine <math>\rightarrow</math> Elvis never died.

This formula is true because a formula <math>A \rightarrow B</math> is true whenever the antecedent <math>A</math> is false. Hence, this formula is not an adequate translation of the original sentence. StrictAn conditionsencoding areusing encodingsthe ofstrict implications in modal logic attempting A different encodingconditional is:

: <math>\Box</math> (Bill Gates graduated in Medicine <math>\rightarrow</math> Elvis never died.)