10/20/21, 10:30 AM Microsoft Forms 10/20/21, 10:30 AM Microsoft Forms

6. ____ proposition make assertion about one or two classes.

Respondent

 2 Anonymous 
20:42 
Singular

Time to complete General

1. Name 7. The alphabet 'm' is ____

Individual constant
Dhara Chheda

Predicate constant

2. SAP ID
8. Symbolise the given statement: Fairies doesn't exist. 
40101200172
~(∃x) Fx

  (∃x) ~ Fx

3. Truth table method is a decision procedure

9. The process of ………. helps to derive a singular proposition

True

Instantiation
False

Quantification

4. If both, the antecedent and consequent of a given proposition are 'False', the
disjunct will be ____
10. A predicate constant stands for ………. property.

False

any
True

specific

5. _____ method is based on the principle of reductio-ad-absurdum

11. A negative statement is false when its component statement is true
Predicate Logic

True
Shorter Truth Table

False

https://forms.office.com/Pages/DesignPage.aspx?auth_pvr=WindowsLiveId&auth_upn=shahjai1709%40gmail.com&lang=en-US&origin=OfficeDo… 1/6 https://forms.office.com/Pages/DesignPage.aspx?auth_pvr=WindowsLiveId&auth_upn=shahjai1709%40gmail.com&lang=en-US&origin=OfficeDo… 2/6

10/20/21, 10:30 AM Microsoft Forms 10/20/21, 10:30 AM Microsoft Forms

12. Truth table method is inconvenient than shorter truth table method.
18. Bound variable is a sole constituent of _____
True
Proposition

False
Propositional Function

13. Question
19. Term towards the left of a given proposition is known as _____
Option 1
Antecedent

Option 2
Antedecent

14. ____ denotes 'Particular affirmative'.

20. ____ denotes 'Predicate variable'.
A
Φ

I
x

15. If the consequent is true then the implicative statement must be true
21. Mona praised her daughter Reema as to how fantastic she looked in her
birthday party. 

False

True
She exclaimed: Reema is fantastic! In logical terms, taking her appraisal into
consideration, which type of proposition did the former adhere to?

Affirmative

16. Either y is a businessman or a driver can be symbolised as _____ Universal affirmative

By ⊃ Dy

By V Dy
22. Shama and Sophia are maternal aunts to Micky. The later lives in America. 

This statement, if decorated with symbols stand as:

Am
17. _____ can be interpreted
Ma
Proposition 

Shorter truth table

https://forms.office.com/Pages/DesignPage.aspx?auth_pvr=WindowsLiveId&auth_upn=shahjai1709%40gmail.com&lang=en-US&origin=OfficeDo… 3/6 https://forms.office.com/Pages/DesignPage.aspx?auth_pvr=WindowsLiveId&auth_upn=shahjai1709%40gmail.com&lang=en-US&origin=OfficeDo… 4/6
10/20/21, 10:30 AM Microsoft Forms 10/20/21, 10:30 AM Microsoft Forms

23. ~ is a ______ connective

29. Shorter Truth Table method is ____
Negative
Infinite

Monadic
Mechanical

24. The method used to prove validity of arguments is called _____

30. ____ is a symbol which stands for the particular property/attribute
Universal Instantiation
Predicate Constant

Quantification Deduction
Predicate Variable

25. Equivalency denotes _____

31. Truth table is based on the principle of reductio-ad-absurdum
FTF
False

TFF
True

26. _____ is a Universal Quantifier.

32. ____ is neither true nor false.
X
Proposition

Y
Propositional function

27. Symbolise: There are elephants.

~(∃x) Ex

~Ex

28. ____ used the terminology of 'Good' and 'Bad' reasoning to define logic.

I.M Copi

Aristotle

https://forms.office.com/Pages/DesignPage.aspx?auth_pvr=WindowsLiveId&auth_upn=shahjai1709%40gmail.com&lang=en-US&origin=OfficeDo… 5/6 https://forms.office.com/Pages/DesignPage.aspx?auth_pvr=WindowsLiveId&auth_upn=shahjai1709%40gmail.com&lang=en-US&origin=OfficeDo… 6/6