Discrete Mathematics [electronic resource] : 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 Taylor & Francis)
Main Author:	Garnier, Rowan
Other Authors:	Taylor, John
Format:	Electronic eBook
Language:	English
Published:	Hoboken : CRC Press, 2009.
Edition:	3rd ed.
Subjects:	Computer science > Mathematics.