PyQdeck LogoPyQdeckSubjects
Back to the 2022 paper

Module 3: Propositional Logic & Proof Techniques.

20227m

Write short notes on the following:

(i) Forward proof
(ii) Disjunctive and conjunctive normal form
(iii) Fundamental theorem of arithmetic

This question covers topics from different modules:

  • (i) Forward proof: This falls under Module 3: Propositional Logic & Proof Techniques.
  • (ii) Disjunctive and conjunctive normal form: This also falls under Module 3: Propositional Logic & Proof Techniques, as these are concepts in propositional logic.
  • (iii) Fundamental theorem of arithmetic: This is a concept from number theory, which is typically covered in Module 2: Mathematical Induction & Counting Techniques (as number theory is often grouped with induction and counting in discrete mathematics courses).
Search GoogleAsk AI

Similar questions

Artificial intelligenceWhat are the two basic types of inference? (i) Reduction to propositional logic, manipulate rules directly (ii) Reduction to propositional logic, apply modus ponen (iii) Apply modus ponen, manipulate rules directly (iv) Convert every rule of horn clause, reduction to propositional logic20202mArtificial intelligenceWrite down the difference between Forward reasoning and Backward reasoning.20197mArtificial intelligencePropositional logic cannot express which of the following? (i) True/false statements (ii) Compound statements (iii) Logical connectives (iv) Variables and functions20242mArtificial intelligenceWhat are not represented by using propositional logic? (i) Objects (ii) Relations (iii) Both objects and relations (iv) None of the above20202m
PreviousUse mathematical induction to prove this formula for the sum of a finite number of terms of a geometric progression with initial term a and common ratio r: \sum_{j=0}^{n} ar^j = a + ar + ar^2 + \dots + ar^n = \frac{ar^{n+1} - a}{r-1} when $r e 1 where n$ is a non-negative integer.NextAn odd number of people stand in a yard at mutually distinct distances. At the same time each person throws a pie at their nearest neighbour, hitting this person. Use mathematical induction to show that there is at least one survivor, that is, at least one person who is not hit by a pie.