Negation introduction
http://dbpedia.org/resource/Negation_introduction an entity of type: WikicatRulesOfInference
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
rdf:langString
Introducción de la negación
rdf:langString
Negation introduction
rdf:langString
Introdução da Negação
rdf:langString
Negation introduction
xsd:integer
42211842
xsd:integer
1092951475
rdf:langString
If a given antecedent implies both the consequent and its complement, then the antecedent is a contradiction.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
xsd:nonNegativeInteger
2549