Introducció de la negació

Plantilla:Regles de transformació La introducció de la negació és una regla d'inferència, o regla de transformació, en el camp del càlcul proposicional.

L'introducció de la negació establix que si un antecedent determinat implica tant el conseqüent i el seu complement, l'antecedent és una contradicció.

Notació formal

Açò pot escriure's com: $(P\to Q)\wedge (P\to \mathrm{\neg }Q)\leftrightarrow \mathrm{\neg }P$

Un eixemple del seu us seria un intent de provar dos declaracions contradictòries d'un mateix fet. Per eixemple, si una persona fòra a declarar "Quan sona el teléfon em pose feliç" i, posteriorment declara "Quan sona el teléfon em pose molest", l'inferència llògica que es fa d'esta informació contradictòria és que la persona està fent una falsa declaració sobre el timbre del teléfon.