Logical Deduction
Logical Deduction
1. LOGIC
The word 'Logie'is derived from the
pressing thought' Greek noun logos'
nGIC the 'seienee of
Thus, LOG i8 meaning both thought and 'the word
aalogie
to be8olved
are thought as expressed in
as
g truth
per the
statementa
of the sta information given without any ncern means that the que language', This
i.e. conelusion conc of the formal validity
ith this unique
characteristic, the
should follow directly from the statements given
andidates to follov
low the rules and Logie Tost becomes
wmind for all types of reasoningwork as per the inatructions without
an instrument of
teaching the
the 8ame. practices
ut and teaches how to
an error. Thus, it prepares
detect and avoid
mistakes in
LOGICAL REASONING
In Logic, categorical statement is termed
any
as the
AProposition categorical
(or a
Proposition.
phole of, one set of objects-the statement)
set
is a statement
that asserts that either
statementeither included isidentified by the subject term the sentence
a
part of, or the
in, is in
expressing
predicate term in that
sentence. excluded from, another set-the set
or
identified
that
which is affirmed or
the
denied about the
predicate is part of the proposition denoting that
Copula: The
subject.
copula is that part of the
proposition which denotes the relation
the
subject and the predicate.
between
VRmethting
Mihe rmareative uality,
qua while those which deny the inclusionol
about the inclusion of the whole
part one in or a
said of
have
the whole or a part of one set in the
set the other are to
all embereesaid
to v
have
e a negative quality. Also, a term is distributed in a proposition if it refers
the set of term. it is said to be
on the above objects denoted by that
propositions can be classified into four types
Otherwise, undistributed
facts,
Logice Reas ing
(denoted by A): t
distributes anly the o
. Universal Affirmative Proposition with the subject.
while maintaining the vact
i.e. the predicate is not interchangeable
of the proposition eg,
validity
All snakes are reptiles snakes
cannot say 'All reptiles
are
we
This18 proposition A since
E) It distributes both the subiect
2. Universal Negative Proposition fdenoted by
: ..
term i s denied to
the entire clase.
the predicate i.e. an entire class of predicate the
subject term, as in the proposition. eg,
No boy is intelligent.
(denoted by D: lt distributes neither the
subie
3. Particular Affirmative Proposition
nor the predicate e.g,
Some men are foolish.
for all but only for s o m e m e n and similarly the
Here, the subject term 'men' is used not both a r e undistribued
predicate term foolish' is affirmed for a part subject class. So,
of
It distributes the
predicate.
4. Particular Negative Proposition (denoted by 0):
only
eg
is distributed.
These facts can be summarized as follows:
Distributed
Statement Form Quantity Quality
(A):AllS is P. Universal Affirmative S only
Both S and P
(E)- No S is P. Universal Negative
Neither S nor P
(1): Some S is P Particula Affirmative
(0): Some S is not P Particular Negative P only
LOGICAL DEDUCTION
The phenomenon of derivingaconclusion from a single proposition or a set of given propositions,
i skrnounas logical deduetion. The given propositions are also referred to as the premise
Two Inferential Processes of Deduction:
L Immediate Deductive Inference:
Heresconclusion is deduced from one of the given propositions,
ways
term
predicate term i.e. the subject term of the premise becomes the predicate
conclusion and the predicate term of the premise becomes the subject of the con
term
second premise containing the middle term 'dogs' as the
subject is the major premi
andt h
Sincet h e
'dogs'premise
major premise 1s particular and the minor
as the
predicate is the
is negative, so minor
oremise
pr
no conciusio
n
lows
ethe middle term is distributed twice, the conclusion
x e m p l e .
Statements: 1. All fans are chairs.
cannot be universal.
2. No tables are fans.
Conclusions: 1. No tables are chairs.
2. Some tables are chairs.
Mare the first premise an A proposition and so, the middle term 'fans'
is
ctrbuted. The second premise is an E forming the subject
proposition and so, the middle term fans' forming
ke predicate
the
i8 distributed. Since the middle term is
distributed twice, so the conclusion
eannot be universal
[Link] one premise is negative, the conclusion must be negative.
Sxample. Statements: 1. All grasses are trees.
2. No tree is shrub.
Conclusions: 1. No grasses are shrubs.
2. Some shrubs are grasses.
Since one premise is negative, the conclusion must be negative. So, conclusion 2 cannot follow.
7. Ifone premise is particular, the conclusion must be particular.
Bxample Statements: 1. Some boys are thieves.
2. All thieves are dacoits.
Conclusions: 1. Some boys are dacoits.
2. All dacoits are boys.
Sinoe one premise is particular, the conclusion must be particular. So, conclusion 2 cannot
follow
8.f both the premises are affirmative, the conclusion must be affirmative.
Example. Statements: 1. All women are mothers.
2. All mothers are sisters
Conclusions: 1. All women are sisters.
2. Some women are not sisters.
both the premises are affirmative, the conclusion must be affirmative. So, conclusion 2
annot follow.
fboth the premises are universal, the conclusion must be universal.
om
plementary pair : Apair ofcontradictory statements i.e. a pair of statements such that
e 18 true, the other is false and when no definite conclusion can be drawn, either of them
und to follow, is called a complementary pair. E and I-type propositions together formm a
tomp
ementary pair and usually either of them follows, in a case where we cannot arrive at a
t e conchsion, using the rules of syllogism.
dy the various possible cases and draw all possible inferences in each case, along
verification through Venn diagrams.
Case
A l l men are boys. All boys are students.
hediate
the c Deductive Inferences
omes e of first premise i.e. 'Some boys are men' and the converse of second premise i.e
SEadents are boys' both hold.
Logical Reasoning
Mediate Deductive Inferences:
the conclusion must-be t o i
and affirmative, al
middle term. So, it follows t
universal
both the premises a r e
Since contain the
conclusion should not Some s t u d e n t s a r e men' also h Al
affhrmative. Also, the conclusion i.e. holds
men a r e students'. The converse of this
Inferences
Venn diagram
a r e men.
1. Some boys
Students
2. Some students
are boys.
Boys 3. All men are students
Men
4. Some students
a r e men.
The converse of the first premise i.e. Some players are writers' and the convere
premise i.e. Some musicians are players', both hold.
Deductive Inferences:
one premise is particu
nce term. So, it f the conclusion
d d l e
So, follows that Some writers aremust be par
articular and should not contain the
Some
musicians are
writers' also holds. musicians'. The converse of this
concu
Venn diagram
Inferences
Musicians [Link] are writers.
2. Some musicians
Players are players.
3. Some writers
Writers are musicians.
4. Some musicians are writers.
Case6. All boxes are toys. Some boxes
Ipmediate Deductive Inferences
are
clips.
he converse of the first premise i.e. 'Some
Some clips are boxes', both hold. toys are boxes' and the converse of the
second premise
Mediate Deductive Inferences:
Sipce one premise is particular, the
concllusion must be
middle term. So, it follows that 'Some particular and should not contain the
toys are clips'. The converse of this conclusion i.e. 'Some
dips are toys also holds
Venn diagram
Inferences
1. Some
Toys toys are boxes.
Boxes 2 Some clips are boxes.
3. Some toys are clips.
Clips Some clips are toys.
Case 6. All buses are vans. Some cycles are vans.
inmediateDeductive Inferences:
e converse of the first premise i.e. "Some vans are buses' and the, converse of the
etIse i.e. 'Some vans are cycles', both hold. second
Bediate Deductive Inferences:
tpremise, being an A-type proposition, distributes subject only and the second premise,
Deing an
a -type proposition, distributes neither subject hor predicate. So, the middle term
Vans' hot distributed even once in the premises. Hence, no definite conclusion can be drawn.
Venn diagram Inferences
1. Some vans are buses.
Vans
Vans 2. Some vans are cycles.
t e Deduetive Inferencea:
cameras are radios' and the converse of the second
first premise i.e. 'Some
ot thestatues
s e 6. Some are cameras', both hold.
ensoning
Mediate Deductive Inferences: follows.
conclusion
no
definite
are particular,
Since both premises
Inferences
Venn diagram Some cameras are radios.
Cameras Cameras
Radiog 2 Some statues are cameras.
3. No cake is pastry.
1. No ring is coin.
Coins Rings
Rings
2. Some bangles are rings.
or
3. Some bangles are not coins.
Coins
Bangles agles' or No
pair
9
10. Some lamps are candles. No candle is bulb.
Immeddiate ctive Inferences
rse of the first premise i.e. Some candles
he ce, No bulb is candle', both hold.
are lamps' and the converse of the second
prem
Deductive Inferences:
ediate
ne premise is
particular and the other negative, the conclusion must be
i.e. O-type. So, it follows that 'Some lamps
Since
negativ
are not bulbs'. particular
Venn diagram
Inferences
1. Some candles
Candles Lamps
are lamps.
Candles 2. No bulb is candle.
TYPE1:TWO-PREMISE ARGUMENTS
This is the simplest type of problems on logic and we proceed as discussed in the above cases,
to arrive at logically valid conclusions.
EXERCISE 1A
given below two statements
Directions (Questions 1 to 52): In each question You have to
are
L. All (PGDBMmansio2002ns
5. Statements temples are water
Conclusions:I. All water is temple.
a r e cats.
Conclusions I. All
kings are beautiful. II. All queens are kings.
19. Statements : All men are married. Some men are educated. (R.R.B. 2005)
Conclusions I. Some married are educated. II. Some educated are mared
20. Statements Some dedicated souls are
angels. All social workers are angel
Conclusions I. Some dedicated souls are social workers.
II. Some social workers are (Bank P.O. 2002
dedicated souls.
21. Statements : All trucks fly. Some scooters (NIMAT, 2005
fly.
Conclusions I. All trucks are
scooters. 1. Some scooters do not 1
22. Statements :Some swords are
sharp. All swords are rusty.
Conclusions . Some rusty things are sharp. (M.A.T 2002)
II. Some rusty
things are not sharp.
Logue
11
:Some adults are boys. Some
23. S t a t e m e n t s
boys are old. (G.B.O. 2006)
ConclasionsI Some adults are not old. II Some boys are not old.
Statements Some books are tables. Some tables are mirrors.
Conclusions: I. Some mirrors are books. II No book is mirror
(Bank Recruitment, 2005)
af Statements Some dreams nights. Some nights are
are
days.
Conclusions I. All days are either nights or dreams:
II. Some days are nights. (R.B.I 2003)
96. Statements Some papers are pens. Some pencils are pens. (M.B.A. 2004)
Conclusions I. Some pens are pencils. II. Some pens are
papers.
7. Statements:Some doctors are fools. Some fools are rich. (M.A.T. 2001)
Conclusions: I. Some doctors are rich. II. Some rich are doctors.
28. Statements: All fish are tortoise. No tortoise is a crocodile (M.A.T. 2003)
Conclusions: I No crocodile is a fish. II. No fish is a crocodile.
29. StatementsAll windows are doors. No door is wall. (M.A.T. 1999)
Conclusions I. No window is wall II. No w all is door.
30. Statements: All roads are poles. No pole is a house. (B.T.M. 2005)
Conclusions I. Some roads are houses. II. Some houses are poles.
31. Statements All flowers are trees. No fruit is tree. (Bank Recruitment, 2005)
Conclusions I No fruit is flower. I. Some trees are flowers.
32. Statements All mangoes are golden in colour. No golden-coloured things are cheap.
Conclusions I. All mangoes are cheap.
II. Golden-coloured mangoes are not cheap. (IA.M. 2003)
33. Statements : All young scientists are open-minded. No open-minded men are
superstitious.
Conclusions: I. No scientist is superstitious.
II. No young people are superstitious.
34. Statements No gentleman is [Link] gentlemen are rich.
Conclusions: I. No poor manis rich. II. No rich man is poor.
(Hotel Management, 2003)
35. Statements : No magazine is cap. All caps are cameras.
Conclusions I. No camera is magazine. II. Some cameras aremagazines.
86. Statements Some desks are caps. No cap is red. (A.T.M.A. 2004)
Conclusions I. Some caps are desks. II. No desk is red.
8T. Statements Some books are pens. No pen is pencil.
ConclusionsI. Some books are pencils. II. No book is pencil.
8
Statements
Conclusions
: No women teacher can play. Some women teachers are athletes.
6. (d):Since the middle term 'cats' is not distributed even once in the
conclusion follows. premises, no de
7. (b):Since the middle term 'chalks' is not distributed even once in the te
premises, no de
conclusion tollows. However, II is the converse of the first premise and so it n
8, (d) :Since the middle term
'good athletes' is distributed twice in the the
conclusion must be particular and should not contain the
middle term.
premiselws
5o
that 'Some of those who win, eat well. 1
9. (e):Every' is equivalent to "All. Thus, since both the premises and
45. C):The dats does not mention whether all intelligent girls are married to båreaucr
So, either I or II may follow.
17
Lagnc
(h):Since both the premises are universal and one premise is negative, the conclusion
46. (e
must be universal negative and should not contain the middle term. So, only II follows,
. (a): Since both the premises are universal and affirmative, the conclusion must be
47.
universal affirmative and should not contain the middle term. So, only I tollows.
(a) :Since one premise is particular, the conclusion must be particular and should not
48. (a)
contain the middle term. So, it follows that 'Some heavy things are grey in colour.
I is a cumulative result of this conclusion and the first premise. Thus, only I holds
49. (0) : Since both the premises are universal and one premise is negative, the conclusion
must be universal negative and should not contain the middle term. So, only I follows.
holds. no definite
even once in the premises,
56. (d):Since the middle term 'trains' is not distributed
of the second premise while IV is the
conclusion follows. However, III is the converse
both of them hold.
converse of the first premise. So,
and should not
57. (a):Since one premise is particular, the
conclusion must be particular
follows that 'Some bottles a r e cups'.
Thus, I follows.
contain the middle term. So, it
holds.
second premise and so it also
II is the c o n v e r s e of the the conclusion must be
and the other negative,
68. (c) :Since one premise is particular middle term. Thus, III follows. I
is
should not contain the
particular negative and
and so it also holds.
the c o n v e r s e of the first premise conclusion follows. However, I
no definite
a r e particukar,
both the premises Thus, either
9. (d):Since the extreme terms and form a complementary pair.
and III involve only
I or III follows. the conciusion must
one premise is negative,
premises are universal and
o0.
(d):Since both middle term. So, it follows that
and should not contain the
be universal negative converse of this
conclusion and so
Thus, IlI follows. I is the
share is equity. holds.
No first premise and so it also
a n
the c o n v e r s e of the
it also holds. II is
definite conclusion follows.
no
a r e particular,
O(a):Since both the premises negative, the
conclusion must be
62. (c):Since o n e premise is particular and the other the
term. So, II follows. III is
and should not contain the middle
particular negative
and thus it also holds.
converse of the first premise follows. However II
a r e particular,
no definite conclusion
C ) S i n c e both the premises III or IV follows.
and IV form a complementary
pair. Thus, either However, I
conclusion follows.
no definite
a r e particular,
64
a): Since both the premises terms and form a complementary pair.
So, e i t h e r I
extreme of the
and IlI involve only the first premise while IV is the c o n v e r s e
of the
or llI follows. II is the
converse