Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Strict_conditional> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- Strict_conditional abstract "In logic, a strict conditional is a modal operator, that is, a logical connective of modal logic. It is logically equivalent to the material conditional of classical logic, combined with the necessity operator from modal logic. For any two propositions p and q, the formula p → q says that p materially implies q while 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 in natural language. They have also been used in studying Molinist theology.".
- Strict_conditional wikiPageID "663772".
- Strict_conditional wikiPageRevisionID "553015932".
- Strict_conditional hasPhotoCollection Strict_conditional.
- Strict_conditional subject Category:Conditionals.
- Strict_conditional subject Category:Logical_connectives.
- Strict_conditional subject Category:Modal_logic.
- Strict_conditional subject Category:Necessity.
- Strict_conditional type Abstraction100002137.
- Strict_conditional type Conjunction106325826.
- Strict_conditional type FunctionWord106291318.
- Strict_conditional type LanguageUnit106284225.
- Strict_conditional type LogicalConnectives.
- Strict_conditional type Part113809207.
- Strict_conditional type Relation100031921.
- Strict_conditional type Word106286395.
- Strict_conditional comment "In logic, a strict conditional is a modal operator, that is, a logical connective of modal logic. It is logically equivalent to the material conditional of classical logic, combined with the necessity operator from modal logic. For any two propositions p and q, the formula p → q says that p materially implies q while says that p strictly implies q.".
- Strict_conditional label "Condicional estricto".
- Strict_conditional label "Implication stricte".
- Strict_conditional label "Strict conditional".
- Strict_conditional label "严格条件".
- Strict_conditional sameAs Condicional_estricto.
- Strict_conditional sameAs Implication_stricte.
- Strict_conditional sameAs m.030wxt.
- Strict_conditional sameAs Q375520.
- Strict_conditional sameAs Q375520.
- Strict_conditional sameAs Strict_conditional.
- Strict_conditional wasDerivedFrom Strict_conditional?oldid=553015932.
- Strict_conditional isPrimaryTopicOf Strict_conditional.