Preparing your PDF
Loading PDF viewer...
Logic and Proof Methods
Semester
Subject
💡 Jump to Important Questions ↓
Important Questions
Important Questions
Logic and Proof Methods
Asked in 2082Long Question2+3+5 Marks
1.
Why do we need quantifiers? List any three rules of inferences. Prove that is irrational using prove by contradiction. [2+3+5]
Asked in 2081Short Question5 Marks
2.
Define proposition. Convert the following sentences to predicate: (a) Some kind hearted peoples do still exist. (b) Student who study hard and do the homework get good marks in exam. [5]
Asked in 2080.1Short Question5 Marks
3.
List any five rules of inferences. [5]
Asked in 2080.1Short Question5 Marks
4.
List the negations of following statements: (a) He has passed the exam. (b) All dogs are loyal. (c) Some medicine has side effect. (d) If you study then you will pass the exam. (e) Open the door. [5]
Asked in 2079Short Question5 Marks
5.
Show that the sum of two even numbers is even using direct proof. [5]
Asked in 2079Long Question10 Marks
6.
Give any four examples that are not propositions. Assume the premises, all over smart persons are stupid, children of stupid persons are naughty, John is over smart, Sam is children of John. Using rules of inferences, show that Sam is naughty. [10]
Asked in 2078Short Question5 Marks
7.
What is tautology? Show is a tautology. [5]
Asked in 2078Long Question10 Marks
8.
Explain direct proof, indirect proof, and proof by contradiction. Use direct proof to show that 'If n is an odd integer, then n' is an odd integer'. Also use indirect proof to show that 'If n is an integer and n' then n is odd'. [10]
ModelShort Question5 Marks
9.
What direct proof? Give a direct proof of the theorem "If n is an odd integer, then is an odd integer." [5]
ModelShort Question5 Marks
10.
What do you mean by converse, inverse, and contrapositive? Show that the sentences "if it is hot today then today is Sunday" and "if it is not Sunday then today is not hot" are logically equivalent. [5]