Negation introduction
id:
negation-introduction-249-5630451
title:
Negation introduction
text:
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.
brand slug:
wiki
category slug:
encyclopedia
description:
Logical rule of inference
original url:
https://en.wikipedia.org/wiki/Negation_introduction
date created:
date modified:
2023-10-29T04:00:30Z
main entity:
{"identifier":"Q16155098","url":"https://www.wikidata.org/entity/Q16155098"}
image:
fields total:
13
integrity:
14