モーダストレンス(英: Modus tollens, MT)は、間接証明(indirect proof)や対偶による証明(proof by contradiction)の正式な名称である。ラテン語で「否定によって肯定する様式」の意。後件否定(denying the consequent)とも呼ぶが妥当な論証形式であり、似たような名称の妥当でない論証形式(後件肯定や前件否定)とは異なる。 モーダストレンスは次のような形式である。 P ならば Q である。Q は偽である。従って、P は偽である。

Property Value
dbo:abstract
  • モーダストレンス(英: Modus tollens, MT)は、間接証明(indirect proof)や対偶による証明(proof by contradiction)の正式な名称である。ラテン語で「否定によって肯定する様式」の意。後件否定(denying the consequent)とも呼ぶが妥当な論証形式であり、似たような名称の妥当でない論証形式(後件肯定や前件否定)とは異なる。 モーダストレンスは次のような形式である。 P ならば Q である。Q は偽である。従って、P は偽である。 (ja)
  • モーダストレンス(英: Modus tollens, MT)は、間接証明(indirect proof)や対偶による証明(proof by contradiction)の正式な名称である。ラテン語で「否定によって肯定する様式」の意。後件否定(denying the consequent)とも呼ぶが妥当な論証形式であり、似たような名称の妥当でない論証形式(後件肯定や前件否定)とは異なる。 モーダストレンスは次のような形式である。 P ならば Q である。Q は偽である。従って、P は偽である。 (ja)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1160565 (xsd:integer)
dbo:wikiPageLength
  • 2150 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 91692100 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • モーダストレンス(英: Modus tollens, MT)は、間接証明(indirect proof)や対偶による証明(proof by contradiction)の正式な名称である。ラテン語で「否定によって肯定する様式」の意。後件否定(denying the consequent)とも呼ぶが妥当な論証形式であり、似たような名称の妥当でない論証形式(後件肯定や前件否定)とは異なる。 モーダストレンスは次のような形式である。 P ならば Q である。Q は偽である。従って、P は偽である。 (ja)
  • モーダストレンス(英: Modus tollens, MT)は、間接証明(indirect proof)や対偶による証明(proof by contradiction)の正式な名称である。ラテン語で「否定によって肯定する様式」の意。後件否定(denying the consequent)とも呼ぶが妥当な論証形式であり、似たような名称の妥当でない論証形式(後件肯定や前件否定)とは異なる。 モーダストレンスは次のような形式である。 P ならば Q である。Q は偽である。従って、P は偽である。 (ja)
rdfs:label
  • モーダストレンス (ja)
  • モーダストレンス (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of