Logische negatie: verschil tussen versies

Negatie kan gedefinieerd worden in andere logische bewerkingsthermen. Zo kan ¬''P'' worden gedefinieerd als ''P'' → ''F'', waar → materiële implicatie is en ''F'' onwaar. Andersom kan ''F'' worden gedefinieerd als ''P'' <math>\scripstylescriptstyle\land</math> ¬''P'' voor iedere propositie ''P'', waarbij <math>\scripstylescriptstyle\land</math> de [[logische conjunctie]] is. Hierbij wordt ervan uitgegaan dat iedere tegenstelling onwaar is. Deze ideeën werken in de klassieke en intuïtionistische logica, maar niet in Braziliaanse logica, waarin tegenstellingen niet per definitie onwaar zijn. Maar in de klassieke logica krijgt het meer identiteit: ''P'' → ''Q'' kan gedefinieerd worden als ¬''P'' <math>\scripstylescriptstyle\lor</math> ''Q'', waar <math>\scripstylescriptstyle\lor</math> de [[logische disjunctie]] is.