La consequentia mirabilis (la conséquence étonnante), appelée aussi loi de Clavius, est un raisonnement qui établit la vérité d'une proposition à partir de l'inconsistance de sa négation. Ce raisonnement de logique propositionnelle signifie que toute proposition impliquant sa propre négation est nécessairement faux. Formellement, il peut s'écrire :

Property Value
dbo:abstract
  • La consequentia mirabilis (la conséquence étonnante), appelée aussi loi de Clavius, est un raisonnement qui établit la vérité d'une proposition à partir de l'inconsistance de sa négation. Ce raisonnement de logique propositionnelle signifie que toute proposition impliquant sa propre négation est nécessairement faux. Formellement, il peut s'écrire : (fr)
  • La consequentia mirabilis (la conséquence étonnante), appelée aussi loi de Clavius, est un raisonnement qui établit la vérité d'une proposition à partir de l'inconsistance de sa négation. Ce raisonnement de logique propositionnelle signifie que toute proposition impliquant sa propre négation est nécessairement faux. Formellement, il peut s'écrire : (fr)
dbo:wikiPageID
  • 6054241 (xsd:integer)
dbo:wikiPageLength
  • 1500 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 163790127 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • La consequentia mirabilis (la conséquence étonnante), appelée aussi loi de Clavius, est un raisonnement qui établit la vérité d'une proposition à partir de l'inconsistance de sa négation. Ce raisonnement de logique propositionnelle signifie que toute proposition impliquant sa propre négation est nécessairement faux. Formellement, il peut s'écrire : (fr)
  • La consequentia mirabilis (la conséquence étonnante), appelée aussi loi de Clavius, est un raisonnement qui établit la vérité d'une proposition à partir de l'inconsistance de sa négation. Ce raisonnement de logique propositionnelle signifie que toute proposition impliquant sa propre négation est nécessairement faux. Formellement, il peut s'écrire : (fr)
rdfs:label
  • Consequentia mirabilis (en)
  • Consequentia mirabilis (fr)
  • Закон Клавия (ru)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of