Cálculo Proposicional, Condicional.

Abstract

In this work we present the last of the three most important propositions in propositional calculus which is the negation of a proposition, the negation is widely used in switching circuits.