ch1P4 - SCSI1013 Discrete Structures CHAPTER 1 Quantifiers...

Info icon This preview shows pages 1–10. Sign up to view the full content.

View Full Document Right Arrow Icon
CHAPTER 1 Quantifiers & Proof Technique SCSI1013: Discrete Structures 2014/2015-Sem.1
Image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Most of the statements in mathematics and computer science are not described properly by the propositions. Since most of the statements in mathematics and computer science use variables , the system of logic must be extended to include statements with the variables . QUANTIFIERS
Image of page 2