Home › AKTU PYQ › Discrete Structures & Theory of Logic › Important Questions › Unit 3

Discrete Structures & Theory of Logic Unit 3 – Theory of Logic: important questions for AKTU

Unit 3 (Theory of Logic) questions that AKTU repeats most often. This unit carries about 38 marks per paper. Start with the repeated questions, then the most asked topics.

Most repeated Unit 3 questions

  • Test the validity of the following argument. “If there was a ball game, then traveling was difficult. If they arrived on time, then traveling was not difficult. They arrived on time. Therefore, There was no ball game.” (7 marks, 2024, Theory of Inference) – also asked in 2020, 2023
  • Prove the validity of the following argument. If Mary runs for office, She will be elected. If Mary attends the meeting, she will run for office. Either Mary will attend the meeting or she will go to India. But Mary cannot go to India. “Thus Mary will be elected”. (10 marks, 2023, Theory of Inference) – also asked in 2020, 2024
  • Define Modular Lattice. Justify that if ‘a’ and ‘b’ are the elements in a bounded distributive lattice and if ‘a’ has complement a′. then I) a ˅ (a′˄ b)=a˅ b II ) a˄ (a′˅ b)=a˄ b (10 marks, 2022, Propositional Logic) – also asked in 2021, 2020

Most important Unit 3 topic

  • Propositional Logic (Unit 3: Theory of Logic) – asked 19 times in 2020, 2021, 2022, 2023, 2026

Most asked Unit 3 topics

  • Propositional Logic – asked 19 times
  • Theory of Inference – asked 13 times
  • Predicate Logic – asked 5 times

More Unit 3 previous year questions

  • Prove that the statement “if n is an integer, then n2-n+4! Is a prime number” is false. (7 marks, 2026, Theory of Inference)
  • Explain the following terms with suitable example: (i) Converse (ii) Disjunction (iii) Conjunction (7 marks, 2026, Propositional Logic)
  • Translate the following statements in symbolic form: (i) The sum of two positive integer is always positive. (ii) Everyone is loved by someone. (iii) Some people are not admired by everyone. (iv) If a person is female and is a parent, then this person is someone’s mother. (7 marks, 2026, Predicate Logic)
  • What is meant by an existential quantifier? Explain it with a simple statement. (2 marks, 2026, Predicate Logic)
  • Analyse the argument's validity: Premises: If a person is happy, they smile. John is smiling. Conclusion: John is happy. (7 marks, 2025, Theory of Inference)

Unit 3 syllabus topics

  • Propositional Logic
  • Theory of Inference
  • Predicate Logic