En lógica, especialmente en sus aplicaciones a matemáticas y filosofía, un contraejemplo es una excepción a una regla general propuesta, es decir, un caso específico de la falsedad de una cuantificación universal (un "para todo"). Por ejemplo, consideremos la proposición "todos los escritores son inteligentes". Como esta proposición dice que una cierta propiedad (inteligencia) es válida para todos los escritores, incluso un solo escritor tonto probará su falsedad.

rdfs:comment
  • En lógica, especialmente en sus aplicaciones a matemáticas y filosofía, un contraejemplo es una excepción a una regla general propuesta, es decir, un caso específico de la falsedad de una cuantificación universal (un "para todo"). Por ejemplo, consideremos la proposición "todos los escritores son inteligentes". Como esta proposición dice que una cierta propiedad (inteligencia) es válida para todos los escritores, incluso un solo escritor tonto probará su falsedad. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Contraejemplo (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 102317 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1067 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 11 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 77771008 (xsd:integer)
dbpedia-owl:wikiPageWikiLink [11 values]
Is dbpedia-owl:wikiPageWikiLink of [20 values]