Strict Conditional
29,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
payback
15 °P sammeln
  • Broschiertes Buch

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In logic, a strict conditional is a material conditional that is acted upon by the necessity operator from modal logic. For any two propositions p and q, the formula p rightarrow q says that p materially implies q while Box (p rightarrow q) says that p strictly implies q. Strict conditionals are the result of Clarence Irving Lewis''s attempt to find a conditional for logic that can adequately express indicative conditionals. Such a conditional would, for example,…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In logic, a strict conditional is a material conditional that is acted upon by the necessity operator from modal logic. For any two propositions p and q, the formula p rightarrow q says that p materially implies q while Box (p rightarrow q) says that p strictly implies q. Strict conditionals are the result of Clarence Irving Lewis''s attempt to find a conditional for logic that can adequately express indicative conditionals. Such a conditional would, for example, avoid the paradoxes of material implication. The following statement, for example, is not correctly formalized by material implication. If Bill Gates had graduated in Medicine, then Elvis never died. This condition is clearly 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 lead to: Bill Gates graduated in Medicine rightarrow Elvis never died.