Revision as of 06:22, 27 September 2017 edit Me, Myself, and I are Here (talk \| contribs) Extended confirmed users 107,044 edits m →See also: alpha ← Previous edit		Revision as of 06:20, 25 December 2017 edit undo Crito10 (talk \| contribs) Extended confirmed users 1,629 edits mNo edit summary Next edit →
Line 14: : <math>\Box</math> (Bill Gates graduated in Medicine → Elvis never died.) In modal logic, this formula means (roughly) that, in every possible world in which Bill Gates graduated in Medicine, Elvis never died. Since one can easily imagine a world where Bill Gates is a Medicine graduate and Elvis is dead, this formula is false. Hence, this formula seems to be a correct translation of the original sentence. ==Problems==

Strict conditional: Difference between revisions