Discrete Structure208210 marksQuantifiers and predicate logic
Why do we need quantifiers? List any three rules of inferences. Prove that 2sqrt2 is irrational using proof by contradiction. [2+3+5]
Why do we need quantifiers? List any three rules of inferences. Prove that $2\sqrt{2}$ is irrational using proof by contradiction. [2+3+5]
In propositional logic, we can only deal with specific propositions (true or false statements). However, many mathematical and logical statements involve variables and express properties over a range of objects. Quantifiers allow us to express such statements precisely. Reasons we need quantifier...