| dbo:abstract
|
- La introducción de la negación es una regla de inferencia, o regla de transformación, en el campo del cálculo proposicional. La introducción de la negación establece que si un antecedente determinado implica tanto el consecuente y su complemento, el antecedente es una contradicción. (es)
- Negation introduction is a rule of inference, or transformation rule, in the field of propositional calculus. Negation introduction states that if a given antecedent implies both the consequent and its complement, then the antecedent is a contradiction. (en)
- A introdução da negação é uma regra que diz que se um elemento antecedente implica tanto no consequente como na sua negação, significa que o antecedente é uma contradição. (pt)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2549 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:field
| |
| dbp:name
|
- Negation introduction (en)
|
| dbp:statement
|
- If a given antecedent implies both the consequent and its complement, then the antecedent is a contradiction. (en)
|
| dbp:type
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- La introducción de la negación es una regla de inferencia, o regla de transformación, en el campo del cálculo proposicional. La introducción de la negación establece que si un antecedente determinado implica tanto el consecuente y su complemento, el antecedente es una contradicción. (es)
- Negation introduction is a rule of inference, or transformation rule, in the field of propositional calculus. Negation introduction states that if a given antecedent implies both the consequent and its complement, then the antecedent is a contradiction. (en)
- A introdução da negação é uma regra que diz que se um elemento antecedente implica tanto no consequente como na sua negação, significa que o antecedente é uma contradição. (pt)
|
| rdfs:label
|
- Introducción de la negación (es)
- Negation introduction (en)
- Introdução da Negação (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
