Competitive Exams: Philosphy MCQs (PracticeTest 20 of 90)

Match logical equivalents of the formulae in ListI and ListII and select the correct answer using the codes given below:
ListI ListII 
Formula (~ p ~ q)

Formula (~ p~ q)

Formula ~ (p. ~ q)

Formula ~ (~ p~ q)

Formula ~ (p q)

Formula ~ (pq)

Formula ~ pq

Formula (p. q)
 A
 B
 C
 D

 3
 1
 4
 2

 2
 3
 4
 1

 2
 1
 3
 4

 1
 2
 3
 4


Which one of the following sentences is the correct rendering of the symbolic sentence ‘[ (PQ. R) ][S (TU) ]’

If either plums or apricots are sweet and grapes are sour, then I'll have a glass of orange juice and either buy almonds or cashewnuts

If either plums and apricots are sweet or grapes are sour, then I'll have a glass of orange juice and either buy almonds or cashewnuts

If either plums are sweet or apricots and grapes are sour, then I'll have a glass of orange juice and buy almonds or cashewnuts

If either plums are sweet or apricots and grapes are sour, then I'll have a glass of orange juice or buy almonds and cashewnuts


Which one of the following statements will have a different symbolization?

The horse wins the race only if the horse is fast

That the horse is fast is a sufficient condition for the horse to win the race

That the horse is fast is a necessary condition for the horse to win the race

If the horse wins the race, the horse is fast


Consider the following equivalents:

~~ (~ p~ q) ~ (p ~~ q)

[ (pq)  (qp) ~ (~ pq). ~ (~ qp) ]

(pq) ~ (~~ p ~ q)

 (p ~ q) ~~ (~ p~~ q)
The correct set of equivalents would be

1 and 2

1 and 3

2 and 3

2 and 4


Which one of the following is equivalent to p?

(pqr) (pq~ r). (p~ qr). (p~ q~ r).

(pq) (pr). (qr). (~ pr).

p (~ pq) (qp).

p (~ p q) (q (~ q. p). )


Consider the following tautologies:

~ (PQ)  (P~ Q)

(QP) ~ (PQ)

~ (PQ)  (QP)

(P~ Q) ~ (QQ)
Which of the above tautologies are correct?

1 and 2

2 and 3

1 and 3

2 and 4


Which one of the following is a contraction?

( (pq) p) ~ p

( (pq) r)  (p~ q)

~ q (pq).

(p ~ q)  (~ pq)


Consider the following proof of argument:

(AB) C

(CB) A (DE)

AxD/DE

A

AB

C

CB

A (DE)

DE
Which set of rules of inference is involved in the above

Material Implication, Hypothetical Syllogism and Simplification

Modus Ponens, Simplifiation and Disjuctive Syllogism

Simplification, Addition and Modus Ponens

Simplification, Hypothetical Syllogism and Addition


From which one of the following is formally derivable?

1 (pq). (rs). 2. qr 3. ~ r

1 (pq). (rs). 2. p ~ q 3. rp

1 (pq). (rs). 2. p (sq) 3. ~ q

1 (pq). (r. s). 2. q (sp) 3. q


The argument A/B~ B is proved in the following way:

A

~ B~ B

~ B ~~ B

B ~ B

B~ B
The steps 1 to 5 constitute

A conditional proof

an indirect proof

a proof by transformation

no proof
