Your school name
2nd Year Computer Chapter 2 Test2nd Year · Computer · Punjab (PTB)
Q1. Multiple choice questions (Attempt all · 10 × 1 = 10)
The statement 2 + 3 = 5 evaluates to:
Words used to connect propositions are called:
Quantifiers in library system modelling allow describing:
Asking simple questions helps in:
The first and most important step in problem solving is:
Cooking a recipe uses:
In predicate logic, statements contain predicates and:
Predicate logic helps solve real-world problems by representing knowledge:
Computational thinking is a way of thinking to solve problems clearly and:
Computational thinking involves thinking like a:
Q2. Short questions (Attempt any 6 of 8 · 6 × 2 = 12)
Why do quantifiers make predicate logic more powerful than propositional logic?
How do computers make use of deduction?
When is a proposition considered unsatisfiable?
What is predicate logic?
How does logical reasoning assist in system management and decision-making?
Differenciate Between Propositional and Predicate Logic.
How do quantifiers help represent clearly and precisely?
What do variables represent in predicate logic?
Q3. Long questions (Attempt any 2 of 3 · 2 × 4 = 8)
What is propositional satisfiability? Explain satisfiable and unsatisfiable propositions with examples.
Describe the steps involved in problem solving using computational thinking. Explain decomposition with an example.
Explain the core concepts of predicate logic, defining predicates and variables, and describing how they combine to represent detailed statements, properties, and relationships.