Discrete Mathematics : Proofs, Structures and Applications, Third Edition.

Logic Propositions and Truth Values Logical Connectives and Truth Tables Tautologies and Contradictions Logical Equivalence and Logical Implication The Algebra of Propositions Arguments Formal Proof of the Validity of Arguments Predicate Logic Arguments in Predicate Logic Mathematical Proof The Natu...

Full description

Bibliographic Details

Online Access:	Full Text (via ProQuest)
Main Author:	Garnier, Rowan
Other Authors:	Taylor, John
Format:	eBook
Language:	English
Published:	Hoboken : CRC Press, 2009.
Edition:	3rd ed.
Subjects:	Computer science > Mathematics.