Abstract
In boolean logic, logical formulae are usually reduced to standardised (or normalised) forms, which are more appropriate for automated theorem proving. Such an example are the disjunctive normal form (d.n.f), represented by conjunctive clauses connected by the disjunction operator (OR, \(\vee \)), and the conjunctive normal form (c.n.f), represented by disjunctive clauses connected by the conjunction operator (AND, \(\wedge \)). In this Chapter we present the formal definition and derivation of d.n.f and c.n.f, along with some deduction rules. We then present some popular arguments such as the proof by contradiction, the proof by induction and the pigeonhole principle.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2013 The Author(s)
About this chapter
Cite this chapter
Bagdasar, O. (2013). Normal Forms, Proof and Argument. In: Concise Computer Mathematics. SpringerBriefs in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-01751-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-01751-8_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-01750-1
Online ISBN: 978-3-319-01751-8
eBook Packages: Computer ScienceComputer Science (R0)