Formal Notation
The negation of conjunction rule may be written in sequent notation:
The negation of disjunction rule may be written as:
In rule form: negation of conjunction
and negation of disjunction
and expressed as a truth-functional tautology or theorem of propositional logic:
where, and are propositions expressed in some formal system.
Read more about this topic: De Morgan's Laws
Famous quotes containing the word formal:
“Good gentlemen, look fresh and merrily.
Let not our looks put on our purposes,
But bear it as our Roman actors do,
With untired spirits and formal constancy.”
—William Shakespeare (1564–1616)