Krishna Jain
Krishna Jain
Logic
SEMESTER I
PHILOSOPHY
Editorial Team
Content : Dr. Bhaskar Bhattacharyya, Dr. Tejasha Kalita, KKHSOU
Language : Dr. Bhaskar Bhattacharyya, KKHSOU
Structure, Format & Graphics : Dr. Tejasha Kalita, KKHSOU
August, 2018
TThis Self Learning Material (SLM) of the Krishna Kanta Handiqui State Open Universityis
made available under a Creative Commons Attribution-Non Commercial -Share Alike 4.0 License
(international): http://creativecommons.org/licenses/by-nc-sa/4.0/
Printed and published by Registrar on behalf of the Krishna Kanta Handiqui State Open University.
The University acknowledges with thanks the financial support provided by the
Distance Education Bureau, UGC for the preparation of this study material.
CONTENTS
This course deals with Logic. Logic is an important branch of philosophy. The word 'logic' is
derived from the Greek word 'logos'. It means thought or reason or law. Logic is defined as the science
of reasoning. This definition is not accepted as the real definition of logic because reasoning implies a
special kind of inferring or inference. Again, we can define logic as the study of the methods and principles
used in distinguishing correct from incorrect arguments. This helps us to make a distinction between
correct and incorrect argument. That is why; it is clear that logic is a tool or strategy by which we can find
out the distinction between good reasoning and bad reasoning. The study of logic, therefore, enhances
our reasoning power to testify the arguments, whether they are valid or invalid. It also helps us in our
domestic discourse to argue systematically with others.
This course consists of fifteen units. The first unit starts with "Fundamental Ideas of Logic". The
issues covered in this unit are- Logic: what it is, Nature of argument, Kinds of argument: Inductive and
Deductive, Logic and Deductive argument, Argument and argument form, and Truth and Validity.
The second unit is 'Symbolic Logic and Traditional Logic'. The concepts included in this unit
are- Nature of Symbolic Logic, Classical Logic and Symbolic Logic, Development of Symbolic Logic,
Characteristics of Symbolic Logic, and functions and the Importance of the Use of Symbols in Symbolic
Logic
The third unit is 'Truth Functions, Inter-Definitions of Logical Constants'. The issues covered
in this are- Definition of Truth Function, Basic Truth Functions, Negative or Contradictory function,
Conjunctive function, Disjunctive function, Implicative or Conditional function, Equivalence or Biconditional
function, Alternative function, Stroke Function, and Inter- definitions of logical constants
The fourth unit is 'Definitions of Connectives and Symbolization of Everyday Language'. It
discusses the concepts, which are- Meaning of connective, Definition of connectives, Not/ It is not the
case that (Negation), And (Conjunction), Either-or (Disjunction), If-then (Material Implication), If and only
if (Equivalence of Biconditional), Symbolization of everyday language, Two kinds of statements,
Symbolization of Simple statements, Symbolization of Simple statements, and Complex Symbolizations
The fifth unit is 'Construction of Truth Table'. The concepts covered in this unit are: Construction
of Truth Tables, Truth Table for Statement, Characterization of Statement forms as Tautologies,
Contradictory and Contingent, Truth Table for Arguments, and To Decide Logical Equivalences
The Sixth unit is 'Determination of Validity and Invalidity of Arguments'. The issues included
in this unit are: Validity of arguments, Invalidity of arguments, Determination of validity and invalidity of
arguments-direct truth table method, Indirect truth table method, Formal proof of validity, Conditional
proof, and Indirect proof
The seventh unit is "Formal Proof of Validity and Conditional Proof". After going through this
unit, you will be able to get knowledge of the Method of Formal Proof of Validity, The Rules of Inference,
The Rules of Replacement, and The Rule of Conditional Proof.
The name of the eighth unit is 'Indirect Proof and Strengthened Rule of Conditional Proof'.
The issues included in this unit are: Indirect Proof, What is a logical method?, The use of Indirect Proof
in proposition, The use of indirect proof in validity of argument, The Strengthened Rule of Conditional
Proof, Types of Conditional Proof, Ordinary Conditional Proof (OCP), Strengthened Conditional Proof
(SCP), and The concept of the scope of the assumption
The name of the ninth unit is 'Singular Proposition and General Proposition'. After going through
this unit you will be able to get knowledge of Singular proposition, General proposition, and the concept
of Traditional subject-predicate propositions
The tenth unit is "Quantification and Rules of Quantification". The concepts included in this
unit are: Universal and existential quantifiers, Modern square of opposition, Symbolization of four
categorical statements with quantifiers, Symbolization of universal and existential propositions,
Symbolization of propositions by the process of instantiation, Rules of quantification, and Proving validity.
The elevenths unit is "Set Theory". The issues included in this unit are- Definition of set, Set
membership, Set inclusion, Empty set, Operations on sets, Union of sets, Intersection of sets, Difference
of sets, Complement of set, Laws of operations on set, Domain of individuals, and Using set notation for
logical propositions (categorical propositions)
The twelfth unit is "Membership, Inclusion, the Empty Set". The concepts covered in this unit
are- The concept of membership, the concept of inclusion, and the concept of empty set.
The thirteenth unit is "Operation on Sets, Domains of Individuals". This unit provides us the
knowledge of Operation on sets, Union of sets, Intersection of sets, Difference of sets, and Domain of
individuals
The fourteenth unit is "Translating everyday language". The concepts covered in this unit are-
Symbolization of ordinary language, Symbolizing Propositions of Predicate Logic, and
Symbolization of Categorical Propositions by Using Set Notation:
The fifteenth unit is "Venn Diagram". The concepts included in this unit are:
Categorical proposition and standard form categorical proposition, Classes and relation,
The four standard form categorical propositions and their class relations, Distribution of terms,
Venn diagram, Use of Venn diagram, History, Aristotelian and Boolean standpoint, and
Symbolism and diagrams for standard form categorical propositions
While going through this course you will come across some boxes which are put on the left side
or right side of the text. These boxes will give us the meanings of some words and concepts within the
text. Apart from this, there will be some broad and short questions included under Activity and Check
Your Progress in every unit. Activities will increase our thinking capacity because questions put in Activity
are not directly derived from the text. But answers to the short questions are put in the section Answers
to Check Your Progress. Besides, there are some text-related questions which are put in Model Questions.
These questions will help you in selecting and mastering probable topics for the examination so that you
can prepare for the examination with confidence.
Fundamental Ideas of Logic Unit 1
UNIT STRUCTURE
1.2 INTRODUCTION
Argument and argument forms, truth and validity are the fundamental
notions of logic. A proposition is the statement which is either true or false.
As for instance, Manmohan Sing is the present Prime Minister of India,
Sachin Tendulkar is one of the best cricketers of the world and Men are
four-footed animals etc. are the examples of propositions. The first two
propositions are true, while the third one is false, because we know that
men are not four-footed animals.
Logic 9
Unit 1 Fundamental Ideas of Logic
The word 'logic' is derived from the Greek word 'logos'. It means
thought or reason or law. Logic is defined as the science of reasoning. This
definition is not accepted as the real definition of logic because reasoning
implies a special kind of inferring or inference. In inference we proceed
from known to unknown. Just as we can draw the conclusion that 'there is
fire in the hill' which is derived from the premise that 'there is smoke in the
hill'. But the important issue is that logic does not include the act of inferring
or inference within the subject matter of logic.
Again we can define logic as the study of the methods and principles
used in distinguishing correct from incorrect arguments. This helps us to
10 Logic
Fundamental Ideas of Logic Unit 1
Logic 11
Unit 1 Fundamental Ideas of Logic
12 Logic
Fundamental Ideas of Logic Unit 1
Logic 13
Unit 1 Fundamental Ideas of Logic
14 Logic
Fundamental Ideas of Logic Unit 1
premises like 'Pinky is a baby and it cries', 'John is a baby and it cries',
'Paul is a baby and it cries' etc. So, in inductive argument we derive a
.
conclusion
. . from particular premises. The argument is true because the
premises provide some grounds or evidence for the truth of the conclusion.
On the other hand inductive argument will be false when its premises do
not provide some support or evidence for the truth of the conclusion.
Logic 15
Unit 1 Fundamental Ideas of Logic
terms of the above argument and the letter 'a' for the proper name then we
get the argument form-
All S are P
a is S
a is P
Here, this argument form is valid. Therefore, any argument with
any subject matter will be valid only if conforms with the form of the argument
as mentioned above.
B. If P then Q
P
Q
16 Logic
Fundamental Ideas of Logic Unit 1
Truth and falsity, validity and invalidity are the fundamental notions
of logic. A proposition is true when it corresponds to reality. As for instance,
'Grass is green' is a true proposition because we see that grass is green in
reality. We nowhere see that grass is white. On the other hand the
proposition 'All animals are immortal' is a false proposition because we
never perceive immortal animals.
On the other hand in case of argument we use the terms 'valid' or
'invalid'. A deductive argument is valid when the conclusion is necessarily
derived from the premises. So, the term validity is not applied in case of
propositions. In a valid argument, the propositions which are considered
as premises may be true or false. Therefore, a valid argument can have
true premises or false premises. If the conclusion in an argument is false,
still the argument can be valid, because the premises may imply the
conclusion. Again in a valid argument there can be false premises, yet the
argument can be valid provided the conclusion follows from the premises.
Truth and falsity are the attributes of propositions and validity and invalidity
are the attributes of arguments.
The relations between true or false propositions and validity or
invalidity of arguments are complex. We generally notice this relationship
in deductive logic. An argument may be valid in spite of the fact that premises
are false. Again an argument may be valid even when its conclusion and
one or its premises are false. The validity or invalidity of argument depends
only upon the relationship of the premises and the conclusion.
We can take some examples in order to show that a valid argument
can have false premises and an invalid argument can have true premises.
A. All dogs are cats
All cats are horses
All dogs are horses
Logic 17
Unit 1 Fundamental Ideas of Logic
This argument shows the premises are false but the argument is valid.
B. All dogs are animals
All cats are animals
All cats are dogs
This argument is invalid, although premises are true.
18 Logic
Fundamental Ideas of Logic Unit 1
ACTIVITY: 1.1
Do you find any relationship between truth and
falsity of propositions and validity and invalidity of
arguments? Discuss
Ans ………………………………………………………………….....
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
Logic 19
Unit 1 Fundamental Ideas of Logic
20 Logic
Fundamental Ideas of Logic Unit 1
Ans to Q No 1:
a) Ans: True
b) Ans: False
c) Ans: False
d) Ans: True
e) Ans: False
f) Ans: True
g) Ans: True
Ans to Q No 2:
a) Ans : An argument implies a logical relation between premise and
conclusion.
b) Ans : All Philosophers are rationalists
Radhakrishnan is a philosopher
Radhakrishnan is a rationalist
c) Ans : Logic is the study of the methods and principles used in
distinguishing correct from incorrect arguments.
d) Ans : Conclusion is that proposition which is drawn from the
premises.
e) Ans : Premises are those propositions from which conclusions are
derived.
Ans to Q No 3:
a) Ans: Inductive and deductive argument
b) Ans: Inductive argument is that argument in which the conclusion is
drawn with probability from particular premises
c) Ans: Deductive argument is that argument in which the conclusion
is necessarily derived from premises.
Logic 21
Unit 1 Fundamental Ideas of Logic
A. Objective Questions
Q 1: What is logic?
Q 2: Give an example of valid argument
Q 3: What are the three laws of thought?
Q 4: What are the kinds of arguments?
Q 5: Define inductive argument
Q 6: Give an example of deductive argument.
Q 7: What is the other name of deductive logic?
Q 8: What do you mean by argument form?
Q 9: What are three fundamental laws of thought?
B. Short Questions
Q 1: What is the nature of valid argument? Briefly explain
Q 2: Write short notes on Argument
Q 3: Write short notes on Argument form.
Q 4: Write short notes on Laws of thought
Q 3: Distinguish between truth and validity
Q 4: Distinguish between Deductive and inductive argument
22 Logic
Fundamental Ideas of Logic Unit 1
C. Long Questions
Q 1: What is logic? Discuss the different definitions of logic and state
which one you do accept more.
Q 2: What is argument? Explain the nature of argument with suitable
examples.
Q 3: Do you find any relationship between truth and falsity and validity
and invalidity of arguments? Illustrate with suitable examples.
Q 4: Are truth and validity the fundamental concepts in logic? What do
you think? Discuss with suitable examples.
Q 5: What do you mean by the nature of argument? Explain the distinction
between argument and argument form with suitable examples.
Q 6: Is there any relation between logic and deductive argument?
Discuss.
Logic 23
Unit 2 Symbolic Logic and Traditional Logic
UNIT STRUCTURE
2.2 INTRODUCTION
This unit will familiarize you with different concepts of symbolic logic,
and also will introduce you with different specialized technical symbols
24 Logic
Symbolic Logic and Traditional Logic Unit 2
(variables), which help to fulfill the aim of logic. (The aim of Logic is to
express the form of the argument and to determine their validity and
invalidity).The different concepts are:
Concept of classical logic in philosophy
Nature and characteristics of symbolic logic
Different stages of development in symbolic logic
The relation between symbolic logic and classical logic
Functions and the importance of the use of symbols in symbolic
logic
Logic 25
Unit 2 Symbolic Logic and Traditional Logic
LET US KNOW
26 Logic
Symbolic Logic and Traditional Logic Unit 2
28 Logic
Symbolic Logic and Traditional Logic Unit 2
applied to modern logic but it was not the case that symbols were used for
the first time by only modern logicians. Aristotle for the first time made use
of the symbols namely ‘variables’ but the use of variables in classical logic
was limited to syllogistic inferences only, which helped to express the form
of the arguments only. Modern logic grows out of traditional logic itself, and
does not contradict traditional logic. The implicit principles and techniques
in the classical logic are made more explicit in symbolic logic in the light of
modern mathematical development. Thus, it can be said that modern
symbolic logic is a developed form of classical logic. So, Basson and
O’Connor remarks- ‘Classical Logic is related to Symbolic Logic as embryo
to adult organism’ (Introduction to Symbolic Logic, p.3) Thus, the
difference between classical logic and modern logic is only that of
different stages of development.
LET US KNOW
ACTIVITY: 2.1
Ans ………………………………………………………………….....
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
Logic 29
Unit 2 Symbolic Logic and Traditional Logic
.
. .
CHECK YOUR PROGRESS
30 Logic
Symbolic Logic and Traditional Logic Unit 2
logic. The most important worker in this field in the second half of 19th
century was Leibnitz, who has brought about revolutionary developments
in the traditional logic by using mathematical techniques and methods in
logic. Leibnitz developed logic into a full-fledged mathematical language.
In his book, “Dissertio de Arte Combinatoria” he has given the hint to develop
a universal scientific language through some fundamental ideographic
notation as well as by developing a calculus of reasoning, all problems
arising out of the universal language can be solved.
Modern logic is said to be a joint venture between mathematics and
philosophy. Because after Leibniz the foundation father of symbolic logic
includes George Boole, Augustus-De-Morgan, W.S. Jevons, Giuseppe
Peano, Gottlob Frege, C.S.Peirce, Russell etc. In the middle of the George Boole (1815-
nineteenth century the two English Mathematicians George Boole and 1864):-A British
Augustus De Morgan presented a systematic mathematical way to logic. mathematician born in
Lincoln, England.
Augustus de Morgan attempted to extend the sphere of formal logic,
specially of the doctrine of the syllogism, by taking into account other kinds
of relations between the terms of a proposition than those commonly
expressed by the copula ‘is’ or ‘are’. He pointed out that the copula in any
case has several different meanings, for it expresses sometimes the identity
of objects having different names, or one concept has the same content as
Augustus de
another. The actual character of a relationship must be determined in each
Morgan (1806-
case by knowledge of the relevant facts. Symbols can only be used to 1871):- He was an
express such knowledge, not as a substitute for it. Thus, the foundation of English
the logic of relations was laid by Augustus De Morgan. W.S.Jevons mathematician and
logician born in India.
elaborately simplified and discussed the Algebra of Classes with him.
The first moderately successful attempt to construct an algebraic
or quasi-algebraic logic (Symbolic Logic) was made by George Boole. He
published two important contributions to the subject, namely, “The
Mathematical Analysis of Logic, Being an Essay Towards a Calculus of
Deductive Reasoning (1847), and “An Investigation of the Laws of Thought
on which are founded the Mathematical Theories of Logic and Probability
(1854). A very remarkable contribution of Boole had proved him as the
Logic 31
Unit 2 Symbolic Logic and Traditional Logic
LET US KNOW
32 Logic
Symbolic Logic and Traditional Logic Unit 2
(Where “0” means “different from, or more than, nothing”). But the four
traditional types of propositions were not sufficient for a calculus; he regarded
it as a legitimate convention for the purpose of his calculus.
The most important contributions towards symbolic logic during the
past sixty years have been made by mathematicians. There are a few Leibnitz (1646-1716):-
European Scientists started their research on the foundations of An eminent
Mathematics. They are Gottlob Frege, Guiseppe Peano, Bertrand Russell mathematician and
philosopher, born at
and A.N.Whitehead. Russell and Whitehead had explained their method in
Leipzig in Germany. He
the form of “Mathematical Logic”, “Symbolic Logic” and “Logistics” etc. wrote the famous book,
Symbolic logic and Mathematics are said to be closely related with each ‘New Essays
other by the use of logical reasoning or arguments in terms of mathematical Concerning the
Human
principles as well as the extensive use of symbols.
Understanding’.
The most significant development in symbolic logic was made by
the German mathematician Gottlob Frege who formulated predicate calculus
and is regarded as the second founder of modern symbolic logic after Boole.
The works taken up by Frege and Peano were carried on by the two
philosophers A.N.Whitehead and Bertrand Russell. They brought out a work
A priori: A priori means
on mathematical logic, entitled in Principia Mathematica. In their works a
knowledge that we gain
system of symbolic logic is elaborated and made to serve as the foundation
through intellect without
of the whole of mathematics and this whole of mathematics with all its experience.
intricacies can be deduced to logic. Russell by his work Principia
Mathematica made revolutionary change in logic. Another important
philosopher Augustus De Morgan introduced symbols for relations and
quantifies predicates. After Principia Mathematica a large number of logical
systems of symbolic logic have been developed by different logicians and
mathematicians who made a significant contribution to symbolic logic. The
first important name in the development of logic from its traditional classical
form into its modern symbolic form is G.H.Poh.
Thus, the development of classical logic made modern Logic to
develop as a powerful human apparatus. Cohen and Nagel said that
classical logic is related to symbolic logic as ‘‘embryo to adult organism’’.
Thus the contributions of these mathematicians and philosophers have so
Logic 33
Unit 2 Symbolic Logic and Traditional Logic
ACTIVITY: 2.1
Do you find any remarkable contribution of
George Boole which had proved him as the founder
father of symbolic logic? Discuss
Ans ………………………………………………………………….....
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
Do you accept that the reformation of logic by the use of
different symbols establishes a universal scientific
language? Discuss
Ans ………………………………………………………………….....
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
34 Logic
Symbolic Logic and Traditional Logic Unit 2
Logic 35
Unit 2 Symbolic Logic and Traditional Logic
.
. . CHECK YOUR PROGRESS
36 Logic
Symbolic Logic and Traditional Logic Unit 2
Logic 37
Unit 2 Symbolic Logic and Traditional Logic
38 Logic
Symbolic Logic and Traditional Logic Unit 2
led the logicians to invent some artificial symbolism which are free
from the defects of ordinary language. Modern logic fulfills their
investigations by the introduction of many more special symbols
and symbolism which has become a powerful device (tool) for
analysis and deductions through the development of its own
technical language. Special symbols are much better adapted to
the actual drawing of inferences than ordinary languages. The use
of inferences and the evaluation of arguments are greatly facilitated
by the adoption of a special logical notation. Thus, Alfred North
Whitehead says: “…..by the aid of symbolism, we can make
transitions in reasoning almost mechanically by the eye, which
otherwise would call into play the higher faculties of the
brain.”(A.N. Whitehead, An Introduction To Mathematics, Oxford
University Press, Oxford, England, 1911)
ACTIVITY: 2.3
Ans ………………………………………………………………….....
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
Logic 39
Unit 2 Symbolic Logic and Traditional Logic
40 Logic
Symbolic Logic and Traditional Logic Unit 2
Logic 41
Unit 2 Symbolic Logic and Traditional Logic
Ans to Q No 1:
(a) True
(b) True
(c) True
(d) True
(e) True
(f) True
Ans to Q No 2: Aristotle
Ans to Q No 3:
a) Classical logic has a long history whereas symbolic logic has a
very short history.
b) In classical logic symbols were used to a limited extent where as in
symbolic logic symbols are used extensively.
Ans to Q No 4: Classical logic or Aristotelian logic or traditional logic
Ans to Q No 5:
a) The application of ideograms
b) The application of deductive method
c) The application of variables
Ans to Q No 6: Bertrand Russell and R.N. Whitehead
Ans to Q No 7: George Boole, G. Peano
Ans to Q No 8: Leibnitz
Ans to Q No 9:
(a) True
(b) False
(c) False
(d) True
Ans to Q No 10: The main function of logic is to provide methods of testing
the validity and invalidity of arguments.
Ans to Q No 11: Variables and Constants
Ans to Q No 12: Symbolic logic is a developed, refined and mature branch
of study which is based on the concepts and techniques used in
42 Logic
Symbolic Logic and Traditional Logic Unit 2
Logic 43
Unit 3 Truth Functions, Interdefinitions of Logical Constants
UNIT STRUCTURE
3.2 INTRODUCTION
44 Logic
Truth Functions, Interdefinitions of Logical Constants Unit 3
Logic 45
Unit 3 Truth Functions, Interdefinitions of Logical Constants
46 Logic
Truth Functions, Interdefinitions of Logical Constants Unit 3
Logic 47
Unit 3 Truth Functions, Interdefinitions of Logical Constants
48 Logic
Truth Functions, Interdefinitions of Logical Constants Unit 3
Example 2
If you take the medicine (p), then you will recover speedily (q).
You take the medicine (p)
Therefore you will recover speedily (q).
The above argument can also be symbolically represented by the
variables, 'p and 'q' in the following way:
pq
p
q
We can see that in example 1 'p' stands for 'you read hard' and in
example 2 'p' stands for 'you take the medicine'. Again, in example no. 1 'q'
stands for 'you will pass in the examination' and in example no. 2 'q' stands
for 'you will recover speedily'. This shows that the variables remain same
although the propositions standing for the variables vary.
The following are the basic truth functions with their symbolic
representations
Truth function Symbolic representation
a) Negative or Contradictory function ~p
b) Conjunctive function p •q
c) Disjunctive function pvq
d) Implicative function pq
e) Equivalence or biconditional function pq
Apart from these five basic truth functions there is another truth
function, namely, Alternative
truth function.
Logic 49
Unit 3 Truth Functions, Interdefinitions of Logical Constants
P ~P
T F
F T
3.5.2Conjunctive function
50 Logic
Truth Functions, Interdefinitions of Logical Constants Unit 3
2. If the left conjunct is true and the right conjunct is false, then the
conjunction as a whole is false.
3. If the left conjunct is false and the right conjunct is true, then the
conjunction as a whole is false.
4. If the left conjunct is false and the right conjunct is false, then the
conjunction as a whole is false.
From the above conditions the following general rule may be extracted:
A conjunctive function is true when all its conjuncts are true. A
conjunctive function is false if one of the conjuncts is false.
By following the definitions of truth operators or logical connectives
we can construct a truth table for conjunctive truth function:
p q p • q
T T T
T F F
F T F
F F F
The truth values under the logical connective 'o' exhibit all the
possible truth values of the compound structure 'p o q'.
Conjunctive function has got another important characteristic which
is expressible in terms of some 'mathematical jargon'. Conjunctive function
can be commutative, associative and idempotent. These three properties
can be symbolically represented in the following way:
(p • q) (q • p) Commutative property
p • (q • r) (p • q) • r Associative property
( p • p) p Idempotent property
both the disjuncts can be true, while exclusive disjunction rules out this
possibility and declares that only one or the other, not both of the disjuncts
is true. For example, 'Bertrand Russell is either a logician or he is a
mathematician' is a disjunctive proposition. The symbolic representation of
this proposition will be: 'p v q' (Here, 'p' stands for 'Bertrand Russell is a
logician' and 'q' stands for 'Bertrand Russell is a mathematician').
The constituents of a disjunctive proposition 'p' and 'q' are called
disjuncts. Variable 'p' is called 'left conjunct' and variable 'q' is called 'right
conjunct'. The truth value of a conjunctive function is calculated according
to the following rule covering all possible cases:
1. If the left disjunct is true and the right disjunct is true, then the
disjunction as a whole is true.
2. If the left disjunct is true and the right disjunct is false, then the
disjunction as a whole is true.
3. If the left disjunct is false and the right disjunct is true, then the
disjunction as a whole is true.
4. If both left disjunct and right disjunct are false, then the disjunction
as a whole is false.
From the above conditions the following general rule may be extracted:
A disjunctive function is true when at least one of the disjuncts
is true. When all the disjuncts are false, the disjunctive function is
false.
By following the definitions of truth operators or logical connectives
we can construct a truth table for disjunctive truth function:
p q p v q
T T T
T F T
F T T
F F F
52 Logic
Truth Functions, Interdefinitions of Logical Constants Unit 3
The truth values under the logical connective 'v' contain all the
possible truth values of the compound structure 'p v q'.
Just as conjunctive function, disjunctive function also has certain
mathematical properties. Disjunctive function has commutative, associative
and idempotent properties.
These properties can be symbolically represented in the following
way:
(p v q) (q v p) Commutative property
p v (q v r) (p v q) v r Associative property
( p v p) p Idempotent property
Logic 53
Unit 3 Truth Functions, Interdefinitions of Logical Constants
T T T
T F F
F T T
F F T
54 Logic
Truth Functions, Interdefinitions of Logical Constants Unit 3
2. If the left constituent is true and the right constituent is false, then
the biconditional function as a whole is false.
3. If the left constituent is false and the right constituent is true, then
the biconditional function as a whole is false.
4. If both the constituents are false, then the biconditional function as
a whole is true.
From the above conditions the following general rule may be
extracted:
A biconditional function is true when both the constituent
propositions have the same truth value. A biconditional function is
false when one constituent proposition is true and the other
constituent proposition is false.
By following the definitions of truth operators or logical connectives
we can construct a truth table for biconditional truth function:
p q p = q
T T T
T F F
F T F
F F T
Logic 55
Unit 3 Truth Functions, Interdefinitions of Logical Constants
.
. .
CHECK YOUR PROGRESS
ACTIVITY: 3.2
Ans ………………………………………………………………….....
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
56 Logic
Truth Functions, Interdefinitions of Logical Constants Unit 3
Logic 57
Unit 3 Truth Functions, Interdefinitions of Logical Constants
p q p ^ q
T T F
T F T
F T T
F F F
58 Logic
Truth Functions, Interdefinitions of Logical Constants Unit 3
p q p • q
T T T
T F F
F T F
F F F
.
. .
CHECK YOUR PROGRESS
Logic 59
Unit 3 Truth Functions, Interdefinitions of Logical Constants
60 Logic
Truth Functions, Interdefinitions of Logical Constants Unit 3
(I) p • q ( p v q)
___________________________
T T T T T F T F F T
T FF T F FT T T F
F FT T F T F T F T
F FF T F T F T T F
(ii) p • q ( p q )
________________________________
T T T T T T F F T
T F F T F T T T F
F F T T F F T F T
F F F T F F T T F
Logic 61
Unit 3 Truth Functions, Interdefinitions of Logical Constants
(ii) p v q p q
______________________________
T T T T F T T T
T T F T F T T F
F T T T T F T T
F F F T T F F F
3. The logical constant 'if-then'/''[implication or material conditional]
can be defined in terms of the logical constants 'not'/ ' '
[contradiction] and 'or'/'v' [disjunction]. Again, the logical constant
'if-then'/' '[implication or material conditional] can be defined in terms
of the logical constants 'not'/ ' ' [contradiction] and 'and'/ ' • '
[conjunction].
The following are the inter-definitions:
(i) '' and 'v' as
p q = df pvq
(ii) '' and '•' as
p q = df (p • q )
With the help of truth table, the above inter-definitions can be shown
to be logically equivalent. The following are the truth tables for these inter-
definitions:
(i) p q p v q
_______________________
T T T T F T T T
T F F T F T F F
F T T T T F T T
F T T T T F T F
(ii) p q ( p • q)
____________________________
T T T T T T F F T
T F F T F T T T F
F T T T T F F F T
F T T T T F F T F
62 Logic
Truth Functions, Interdefinitions of Logical Constants Unit 3
4. The logical constant 'if and only if'/ '' [bi-conditional] can be defined
in terms of the logical constants 'if-then'/''[implication or material
conditional] and 'and'/ '•' [conjunction]. The logical constant 'if and
only if'/ '' [bi-conditional] can be defined in terms of the logical
constants 'and'/ '•' [conjunction], 'not'/ '' [contradiction] and 'or'/'v'
[disjunction].
The following are the inter-definitions:
(i) (p q) = df ( p q ) • ( q p )
(iii)(p q) = df ( p • q ) v ( p • q)
The above inter-definitions can be shown to be logically equivalent by
means of truth table. The following are the truth tables for these inter-
definitions:
(i) (p q) ( p q) • (q p)
____________________________________
T T T T T T T T T T T
T F F T T F F F F T T
F F T T F T T F T F F
F T T T F T F T F T F
(ii) (p q) ( p • q) v ( p • q)
_________________________________________
T T T T T T T T F T F F T
T F F T T F F F F T F T F
F F T T F F T F T F F F T
F T F T F F F T T F T T F
[The expression '= df' which is used in all above inter-definitions
mean 'is equivalent to by definition'. Let us take the following example to
illustrate this point. The proposition 'Russell is both mathematician and
philosopher' is equivalent to the proposition-'It is false that either Russell is
not intelligent or Russell is not honest'. This means that these two
propositions are logically equivalent (). Therefore the symbolic expression
of this equivalent expression is either '(p o q) df ( p v q)' or '( p o q)
( p v q)'. ]
Logic 63
Unit 3 Truth Functions, Interdefinitions of Logical Constants
.
. .
CHECK YOUR PROGRESS
Logic 65
Unit 3 Truth Functions, Interdefinitions of Logical Constants
Ans. to Q. No. 1:
a) True
b) False
c) True
Ans. to Q. No.2: A truth function can be defined as any compound
expression whose truth value is completely determined by the truth
value of its constituent simple propositions. For example: Saul Kripke
is a logician and Bertrand Russell is a mathematician. The compound
expression can be symbolically represented in the following way:
p•q.
Ans. to Q. 3:
a) True
b) True
c) True
Ans. to Q. 4: A conjunctive function is false if one of the conjuncts is false.
Ans. to Q. 5: If both left disjunct and right disjunct are false, then the
disjunction as a whole is false.
Ans. to Q. 6: If the antecedent is true and the consequent is false, then the
conditional function as a whole is false.
Ans. to Q. 7: If both the constituents are of same value, then the bi-
conditional function is true. This means that if both the constituents
66 Logic
Truth Functions, Interdefinitions of Logical Constants Unit 3
Logic 67
Unit 3 Truth Functions, Interdefinitions of Logical Constants
68 Logic
Definition of Connectives and Symbolization of Everyday Language Unit 4
UNIT STRUCTURE
Logic 69
Unit 4 Definition of Connectives and Symbolization of Everyday Language
4.2 INTRODUCTION
70 Logic
Definition of Connectives and Symbolization of Everyday Language Unit 4
The following points will give you the idea about the nature of the
logical connectives
Logic 71
Unit 4 Definition of Connectives and Symbolization of Everyday Language
T F
F T
72 Logic
Definition of Connectives and Symbolization of Everyday Language Unit 4
Sentences Symbolization
Example 1: Frege is a logician, and Amartya Sen is an economist F•E
Example 2: Frege is a logician, but Amartya Sen is an economist F•E
Example 3: Frege is a logician; however Amartya Sen is an economist F • E
Example 4: Frege and Amartya Sen are thinkers F•E
Note that example 4 is equivalent to the meaning to 'Frege is a
thinker and Amartya Sen is a Thinker'. In order to translate such a statement
as a conjunction of two simple statements, the original statement must be
equivalent to a compound statement in English. The statement 'Ananya
and Adwita are friends' cannot be said to be equivalent in meaning to 'Ananya
is a friend and Dvita is a friend'. Hence, the statement 'Ananya is a friend
and Advita is a friend' cannot be translated as 'A o D'.
• A conjunction is true only when both the conjuncts are true; it is
false in every other case. If p and q are any true conjuncts, then
the truth condition for 'p o q' will be:
p Q p • q
T T T
T F F
F T F
F F F
Logic 73
Unit 4 Definition of Connectives and Symbolization of Everyday Language
• There are two senses of the word 'or' in English language: one
is the inclusive sense and the other is the exclusive sense. The
following is the difference between these two senses of the word
'or':
Either-or: (Inclusive sense)
• The inclusive sense of 'or' suggests that it is possible for both
the disjuncts to be true at the same time.
• Let us take an example:
Frege is either a logician or a musician. This means that Frege
can both be a logician and a musician at the same time.
Either-or: (Exclusive sense)
• The exclusive sense of 'or' suggests that it is not possible for
both the disjuncts to be true at the same time.
• Let us take an example:
Frege is either literate or an illiterate person. This means
that Frege cannot both be a literate and illiterate person at the
same time.
• Disjunction in propositional logic represented by 'v' is not an
exclusive 'or'. It is an inclusive 'or'.
• In propositional logic 'wedge' is placed between two propositions.
Wedge is a symbolic representation of the word 'or' taken in an
inclusive sense. Let us take the following example:
Sentences Symbolization
Example 1: Either I shall call him up or I shall write to him. CVW
Example 2: I shall not call him up unless some emergency pops up. ~ CVE
Note in example 2 that if two propositions are connected by 'unless'
then also disjunctive can be used.
• disjunction is true when either of the disjuncts is true and also
when both the disjuncts are true; and is false when both the
disjuncts are false. If p and q are any true disjuncts, then the
truth condition for (p v q) will be:
74 Logic
Definition of Connectives and Symbolization of Everyday Language Unit 4
p q p v q
T T T
T F T
F T T
F F F
Logic 75
Unit 4 Definition of Connectives and Symbolization of Everyday Language
T T T
T F F
F T F
F F T
76 Logic
Definition of Connectives and Symbolization of Everyday Language Unit 4
ACTIVITY: 4.1
Ans ………………………………………………………………….....
………………………………………………………………….............
………………………………………………………………….............
There are two-fold tasks in the elementary symbolic logic for the
beginners. They are the following:
1. Symbolization of propositions and arguments stated in ordinary
language. It is very necessary to learn how to symbolize English
sentences in logic because symbolization will be incorrect unless
punctuation marks are put correctly. If we wrongly symbolize an
English sentence, the logical structure of the sentence will become
wrong.
Logic 77
Unit 4 Definition of Connectives and Symbolization of Everyday Language
78 Logic
Definition of Connectives and Symbolization of Everyday Language Unit 4
Logic 79
Unit 4 Definition of Connectives and Symbolization of Everyday Language
a. Simple statements
b. Compound statements
80 Logic
Definition of Connectives and Symbolization of Everyday Language Unit 4
Logic 81
Unit 4 Definition of Connectives and Symbolization of Everyday Language
82 Logic
Definition of Connectives and Symbolization of Everyday Language Unit 4
Logic 83
Unit 4 Definition of Connectives and Symbolization of Everyday Language
Q 4. What are the two kinds of statements which are taken into
consideration for symbolization in propositional logic?
..............................................................................................
..............................................................................................
84 Logic
Definition of Connectives and Symbolization of Everyday Language Unit 4
Ans. to Q. No. 1:
a) True b) False
Ans. to Q. No.2: There are five connectives used in propositional logic.
They are the following: Not, And, Or, If-then, If and only if.
Ans. to Q. No. 3:
a) False
b) True
c) False
d) True
Logic 85
Unit 4 Definition of Connectives and Symbolization of Everyday Language
Ans. to Q. No. 4: The following are the two kinds of statements taken into
consideration for symbolization in propositional logic: simple
statement and compound statement.
86 Logic
Definition of Connectives and Symbolization of Everyday Language Unit 4
Logic 87
Unit 5 Construction of Truth Table
UNIT STRUCTURE
5.2 INTRODUCTION
This unit introduces you to the truth table method and how to
construct it. In symbolic logic the truth table method is used to determine
88 Logic
Construction of Truth Table Unit 5
Logic 89
Unit 5 Construction of Truth Table
F T F
F F F
In the above truth table as there are two variable, 'p' and 'q' so, we
have four possible combinations of truth values i.e. 'TT', 'TF', 'FT', 'FF'.
From the above table it is clear that a conjunctive function is true only
under 'TT' combination. Again, under the combinations 'TF', 'FT', and 'FF' a
conjunctive function is false. Hence, it may be concluded that a conjunctive
function is true if and only if both the conjuncts are true, otherwise it is
false.
Again, when two statements are combined disjunctively by using
the word 'or' between them then it is called a disjunctive statement.
Symbolically disjunctive statement is expressed as 'p v q' i.e. "either p or
q". In Latin, the word 'vel' expresses the inclusive sense of the word 'or'.
The symbol 'v' called as 'wedge' is a truth-functional connective and can be
expressed by the following truth table:
p q pvq
T T T
T F T
F T T
F F F
From the above table it is clear that a disjunctive function is true
under three combinations. These are 'TT', 'TF', and 'FT'. Again, it is false
only under the combination 'FF'. Hence, we may conclude that a disjunctive
function is true if and only if one of its disjuncts is true. It is false if both the
disjuncts are false.
In propositional logic if two statements are connected conditionally
then it is called as an implicative or conditional statement. Symbolically an
implicative statement is expressed as 'p Ͻ q', i.e. "if p then q". Here the
symbol '?' is defined as 'horseshoe'. The truth table of an implicative
statement can be defined as follows: Ͻ
90 Logic
Construction of Truth Table Unit 5
p q pϽ q
T T T
T F F
F T T
F F T
The above table shows that the function 'p Ͻ q' is true under the
combinations 'TT', 'FT' and 'FF'. It is false only under the combination 'TF'.
Thus, it can be concluded that a conditional function will be false if and only
if its antecedent is true and consequent is false. Apart from this one condition
in all the cases it is true.
Followed by the conditional statement we have another statement
which is called the bio-conditional statement. Two statements are said to
be materially equivalent when they have the same truth value. Thus, a
bioconditional statement is symbolized as 'p q'. Hence the three-bar
symbol may be read as 'if and only if'. The truth table of a bioconditional
statement is as follows:
p q pq
T T T
T F F
F T F
F F T
By following the above table it can be said that a bio-conditional
function is true under the combinations of 'TT' and 'FF'. Again, it is false
under the combinations of TF' and 'FT'. From this consideration it can be
concluded that a bio-conditional function will be true if its components have
same truth values and false if its components contain different truth values.
As per the rule of symbolization we use the symbol '~' called a curl is used
to symbolize a negative function. Symbolically a negative function is
expressed as '~ p'. Let 'p' be a true statement, then its negation '~ p' will be
false. Again, if 'p' is false, then '~p' is true. This can be shown in the truth
table as follows:
Logic 91
Unit 5 Construction of Truth Table
~p
p ~p
T F
F T
In the above table 'p' and '~p' are contradictory. So, they have
different truth values. In negative function a sentence of the form 'p' is true
if its contradiction is false and false if its contradiction is true.
92 Logic
Construction of Truth Table Unit 5
T T F T T T F F
T F T T F F F T
T F F T F F F F
F T T F F T F T
F T F F F T F F
F F T F F F F T
F F F F F F F F
In the above truth table the combinations of the truth values under
each of the column for the variables are not similar. Half of the numbers of
truth values in the first column under the variable 'p' shall be 'T' (true) and
other half shall be 'F' (false). Likewise, in the second column, under the
variable ' q ' one fourth of the number of values shall be 'T' which should be
written first to be followed by equal numbers of 'F's, which again should be
followed by equal number of 'T's and equal number of 'F's. In the third
column under the variable ' r ' one eight of the number of values shall be 'T'
to be followed by 'F' then 'T' then 'F', whose numbers are the same as that
of the first group of 'T's. In the above table the column under the disjunction
i. e. 'v' is the answering column. So, to figure out the truth value of the
disjunction, first we need to determine the truth values of ( p . q ) by applying
the conjunctive truth table method. After determining the truth values of ( p
. q ) in the final step we need to compare the truth values with the truth
values of the column under the variable ' r ' which is connected through the
disjunct 'v'. Thus, finally by applying the disjunctive truth table method we
can find out the truth values of a statement in propositional logic.
ACTIVITY: 5.1
1. (p v q) . r
Ans:
2. ~ (p . q) r
Ans:
Logic 93
Unit 5 Construction of Truth Table
94 Logic
Construction of Truth Table Unit 5
ACTIVITY: 5.2
2. (s h) (~h • s)
Ans:
Logic 95
Unit 5 Construction of Truth Table
96 Logic
Construction of Truth Table Unit 5
Logic 97
Unit 5 Construction of Truth Table
After completing the truth table, we check each row of the four final
columns, looking for rows with true premises but a false conclusion. But,
we do not find any. So the above argument is valid argument.
ACTIVITY: 5.3
Determine the validity or invalidity of the following
argument by applying the truth table method:
98 Logic
Construction of Truth Table Unit 5
1. p q and 2. ~ q ~p
To see whether both of the statements are logically equivalent or
not first we need to construct truth tables for each statement.
p q ~q ~p
TTT F T F
TFF T F F
FTT F T T
FTF T T T
After completing both the truth tables, it has been seen that the two
main (or final) columns are identical to each other. This shows that the two
statements are logically equivalent.
ACTIVITY: 5.4
1. p • ~ q
q V ~p
Ans:
2. ~(p q)
~q • ~ p
Ans:
In symbolic logic the truth table method is used to find out truth or falsity
of a statement.
In truth table method the number of rows increases in the geometrical
succession as the number of variable increases.
There are five truth table methods they are: conjunctive disjunctive,
conditional, bio-conditional and negative. By following these five truth
Logic 99
Unit 5 Construction of Truth Table
table methods we can find out the truth values of statements and
arguments.
On the basis of truth table method we can find out whether a compound
expression is tautology, contradictory or contingent.
We can also use the truth table method in order to test the validity or
invalidity of an argument.
The truth table method also can be used to find out whether two
statements are logically equivalent or not.
Ans to Q No 1:
(a) False
(b) False
(c) True
(d) True
Ans to Q No 2:
(a) curl
(b) true
Ans to Q No 5: In a truth table of a contingent statement if in its final
column all the truth values are found as the mixture of both truth
and false then it is called as contingent statement.
Ans to Q No 6: In a truth table of a tautological statement in its final column
all its truth values are found as true on the other hand in a
100 Logic
Construction of Truth Table Unit 5
contradictory statement in its final column all the truth values are
found as false.
Ans to Q No 7:
(a) False
(b) Tautological statement
Ans to Q No 8:
(a) valid
(b) does not
Logic 101
Unit 5 Construction of Truth Table
(b) p v p
P
p.q
(c) (p q) . (r s)
Pvr
qvs
(d) (p v q) (p . q)
~ (p v q)
~ (p . q)
(e) p (q r)
p q
p r
Q. 14: Use the truth table method to characterize the following statement
forms as tautologous, contradictory or contingent.
(a) p ~ p
(b) ( p ~p) . (~p p)
(c) p (p p)
(d) (~p . q) . (q p)
(e) (p . q) p
(f) [(p q) p] p
102 Logic
Determination of Validity and Invalidity of Arguments Unit 6
UNIT STRUCTURE
6.2 INTRODUCTION
Logic 103
Unit 6 Determination of Validity and Invalidity of Arguments
the conclusion follows with logical necessity from the premises, one says
that the argument is valid. Consequently validity can never apply to any
single proposition by itself, as the needed relation can not possibly be found
within any one proposition.
Validity of an argument depends on the form of an argument. An
argument is valid if and only if its form is valid. But form has nothing to do
with subject matter. It follows that what an argument says, its contents, is
irrelevant to its validity. So validity and invalidity are formal notions that are
applied to formal reasoning and formal logic. However a valid argument
can never have true premises and a false conclusion. The basic feature of
a good deductive argument is known as validity.
According to W.E. Johnson, valid argument must fulfill two conditions
viz. the constitutive condition and the epistemic condition. The constitutive
conditions are a) the premises must be true and b) the premises must
imply the conclusion. The epistemic conditions are a) the premises should
be known to be true and b) the premises should be known to imply the
conclusion. For e.g.
1. All army jawans are Indians
Bahadur is an army jawan
Therefore Bahadur is an Indian.
2. Either he is a student or a teacher
He is not a student
Therefore he is a teacher.
So the validity of an argument is determined independently of the
truth of the premises of the argument.
104 Logic
Determination of Validity and Invalidity of Arguments Unit 6
Logic 105
Unit 6 Determination of Validity and Invalidity of Arguments
Ram is mortal
Ram is mortal.
106 Logic
Determination of Validity and Invalidity of Arguments Unit 6
Logic 107
Unit 6 Determination of Validity and Invalidity of Arguments
not identical as invalidity refers to form and falsity refers to content. Logicians
are concerned with validity or invalidity of arguments. A. Wolf points out
that logic studies the conditions of valid inference and this involves the
relations between inference and premises.
108 Logic
Determination of Validity and Invalidity of Arguments Unit 6
Logic 109
Unit 6 Determination of Validity and Invalidity of Arguments
constructing a truth table five basic truth functions are necessary with tabular
representation. These are conjunctive function, implicative function,
disjunctive function, negative function and equivalent function. Furthermore
use of brackets is also important for constructing truth table. Let us take the
following example:
(P u Q) = (~ P v Q)
T TT T FTTT
T FF T FTFF
F TT T TFTT
F TF T TFTT
In this example in the first set of bracket the given (PuQ) we have
assigned the truth value TTFF for 'p' and TFTF for 'q'. Under the logical
constant, 'implication' is TFTT here. The same process is done with the
second set of bracket and under the logical constant 'vel' is TFTT. The
main constant is computed by reconciling the two sets of results and the
result under the logical constant '=' is TTTT. Therefore it is a tautological
truth function.
The second method is the shorter truth table method. This method
is one of the decision procedures in propositional logic to establish directly
the invalidity or indirectly the validity of an argument. In this method, the
direct technique of application to prove the invalidity of an argument is
used in such a way that at least one set of possible truth conditions is
demonstrated by assuming that the premises are all true but the conclusion
is false. It is also known as the method of Reductio ad Absurdum. Here the
invalidity of the argument is to be assumed, for which one is to put every
premise as true and the conclusion as false. For this, truth value assignment
must be put under the main connectives of the premises and the conclusion.
In this process guess work has no function. The truth value assignments
are put under the invalidating row being forced by the already put truth
values. For instance:
110 Logic
Determination of Validity and Invalidity of Arguments Unit 6
~P v ~ Q P ~Q
FT T F T T FT
In the above example in the column 1 we can put truth value
assignment. Truth value 'T' is forced to write in this column to support its
connectives (~) for the truth value 'F'. Then column 2 is putting the same
truth value for the same variable with column 1. Thereafter column 3 is
newly put truth value, forced to write for justifying the negation of Q. Column
4 is putting the same truth value for the same variable in the second premise.
Then column 5 is newly put truth value assignment forced to write for
justifying the negation of P. So in order to complete the process, one is
either to detect a contradiction among the truth value assignments or assign
a truth value against the entire logical constant and propositional variable
put there for the concerned statements.
Logic 111
Unit 6 Determination of Validity and Invalidity of Arguments
112 Logic
Determination of Validity and Invalidity of Arguments Unit 6
Logic 113
Unit 6 Determination of Validity and Invalidity of Arguments
Indirect proof is useful when the formal proof of validity becomes very
difficult to prove the conclusion directly just by applying the rules
inference.
114 Logic
Determination of Validity and Invalidity of Arguments Unit 6
Logic 115
Unit 7 Formal Proof of Validity and Conditional Proof
UNIT STRUCTURE
7.2 INTRODUCTION
116 Logic
Formal Proof of Validity and Conditional Proof Unit 7
of the argument whose validity is being proved. On the other hand the rule
of conditional proof is applied to those arguments whose conclusions are
conditional statements. But, in order to describe the method of conditional
proof first we need to know the method of formal proof of validity and how
to proof the validity of an argument by following it.
Logic 117
Unit 7 Formal Proof of Validity and Conditional Proof
called the rules of inference and the rules of replacement. Let us discuss it.
There are all total nineteen rules by following which we can construct the
formal proof validity.
The first nine rules of the method of deduction is called the rule of
inference. These are the nine elementary valid argument forms whose
validity can be easily established by following the truth table method. These
rules are used to construct formal proof of validity for a wide range of more
complicated arguments. They are as follows:
1. Modus Ponens (M. P.) 2. Modus Tollens (M. T.)
p q p q
p ~q
q ~p
ACTIVITY: 7.1
Logic 119
Unit 7 Formal Proof of Validity and Conditional Proof
Apart from the rules of inference there exist ten more rules which
are used to prove the validity of a truth functionally compound statement.
There are many truth-functional arguments that cannot be proved valid
using only the nine rules of inference. For example:
A.B
B
The above argument is a valid argument. But, we cannot use the
rules of inference to prove the validity of the above argument. Hence any
part of a compound statement is replaced by an expression that is logically
equivalent to the part replaced, the truth value of the resulting statement is
the same as that of the original statement. This can be regarded as the
Rules of Replacement. It can be said as the additional principle of inference.
It permits us to infer from any statement the result of replacing all or part of
that statement by any other statement logically equivalent to the part
replaced. Thus, by using the rules of replacement we can replace logically
equivalent expressions with each other wherever they occur. Following are
the rules of replacement by following which we can construct formal proof
of validity for a given argument. These rules are numbered consequentively
after the first nine rules already stated. They are as followed:
10. De Morgan's Theorems (De M.): ~ (p . q) ( ~ p v ~ q).
~ (p v q) (~p . ~q).
11. Commutation (Com.): (p v q) ( q v p).
( p. q ) ( q. p).
12. Association (Assoc.): [p v ( q v r)] [( p v q) v r].
[p . (q . r)] [(p . q) . r].
13. Distribution (Dist.): [p . (q v r)] [ (p . q) v ( p . r)].
[p v (q . r)] [( p v q) . ( p v r)].
14. Double Negation (D. N.): p ~ ~ p.
15. Transposition (Trans.): (p q) ( ~ q ~ p).
16. Material Implication (Impl.): (p q) (~ p v q).
120 Logic
Formal Proof of Validity and Conditional Proof Unit 7
Logic 121
Unit 7 Formal Proof of Validity and Conditional Proof
ACTIVITY: 7.2
Construct a formal proof of validity of the given
argument.
F v (G v H)
(G I) . (H J)
(I v J) (F v H)
~F /H
122 Logic
Formal Proof of Validity and Conditional Proof Unit 7
2. A / A . B (C . P.)
3. B 1, 2, M. P.
4. A.B 2, 3, Conj.
In the above example in the second slant line and three dot 'therefore'
symbol and the parenthesized 'C. P.', indicates that the rule of conditional
proof is being used. The rule of conditional proof not only permits us to
construct shorter proofs of validity for arguments that could be proved valid
by appealing to the original list of nineteen rules of inference and
replacements alone. But, it also permits us to establish the validity of valid
arguments whose validity could not be proved by reference to the original
list alone. Let us take another example:
1. (A v B) (C . D)
2. (D v E) F/ A F
3. A / F (C. P.)
4. AvB 3, Add.
5. C.D 1, 4, M. P.
6. D.C 5, Com.
7. D 6. Simp.
8. DvE 7, Add.
9. F 2, 8, M. P.
As seen in the above the rule of conditional proof is applied in the
conclusion and finally, we got the conclusion 'F' which has been proved in
the 9th line. Thus, it proved that the argument is valid. So, the rule of
conditional proof can be applied in dealing with any valid argument having
a conditional statement as conclusion and it can also be applied more than
once in the course of the same deduction.
Logic 123
Unit 7 Formal Proof of Validity and Conditional Proof
1. A (B C)
2. B (C D) / A (B D)
124 Logic
Formal Proof of Validity and Conditional Proof Unit 7
The main point of difference between these two types of rules is that
the rules of inference can be applied to the whole line of a proof, but the
rules of replacement can also be applied to a part of a proof.
The rule of conditional proof is applied to the arguments containing
conditional statement as its conclusion.
The abbreviation 'C.P.' is used to indicate the application of the rule.
Ans to Q No 1:
(a) method of deduction
(b) Capital
Ans to Q No 2: The names of the rules of formal proof of validity are the
rules of inference and the rules of replacement.
Ans to Q No 3: Exportation (Exp.): [(p . q) r] [ p (q r) ].
Ans to Q No 4: Material Implication (Impl.): (p q) (~ p v q).
Ans to Q No 5: The rules of inference can be applied to the whole line of a
proof and the rules of replacements can be applied to the whole as
well as to the parts of a proof.
Ans to Q No 6: De Morgan's Theorems (De M.): ~ (p . q) ( ~ p v ~ q).
~ (p v q) (~p . ~q).
Logic 125
Unit 7 Formal Proof of Validity and Conditional Proof
Ans to Q No 7:
(a) Conclusions
(b) C. P.
Ans to Q No. 8:
1. A (B C)
2. B (C D) / A (B D)
3. A / B D (C.P.)
4. B /D (C. P.
126 Logic
Formal Proof of Validity and Conditional Proof Unit 7
3. (V S) . (W T) / (V ~W)
(d) 1. X (Y Z)
2. X (A B)
3. X . (Y v A)
4. ~Z /B
(e) 1. K L/ K (L v M)
(f) 1. (~U v V) . (U v W)
2. ~X ~W / V v X
(g) 1. A ~ (B C)
2. (D . B) C
3. D / ~A
(h) 1. O (P Q)
2. P (Q R) / O (P R)
Logic 127
Unit 8 Indirect Proof and Strengthened Rule of Conditional Proof
UNIT STRUCTURE
128 Logic
Indirect Proof and Strengthened Rule of Conditional Proof Unit 8
8.2 INTRODUCTION
Logic 129
Unit 8 Indirect Proof and Strengthened Rule of Conditional Proof
Thus, the method of indirect proof states that if the negation of the given
leads into contradiction or so to speak absurdity, then it must be false. So
its negation, i.e., the given must be a theorem and must be true as well.
Thus the very nature and objective of indirect proof is clear. Indirect proof
thus can be defined as a logical method where the validity or truth of the
given is proved by way of negating or denying the given. This method is
simplistic and effective in nature. It is simplistic because it is no longer
complicated. The student can easily grasp and apply this method.
ACTIVITY: 8.1
Do you find any difference between the concept of
proof and the concept of test?
…
………
………
………
………
………
………
………
………
………
………
………
………
………
………
………
………
………
………
………
………
………
……
What do you mean by 'test the following'?
…
………
………
………
………
………
………
………
………
………
………
………
………
………
………
………
………
………
………
………
………
………
……
One has to know about the concept of method. We have said that
indirect proof is a logical method. Philosophy is all about of methods. The
Cartesian method, the phenomenological method, the linguistic method
are cases in point. Likewise, there are various methods applied in logic.
130 Logic
Indirect Proof and Strengthened Rule of Conditional Proof Unit 8
Logic 131
Unit 8 Indirect Proof and Strengthened Rule of Conditional Proof
5. pq 4, Simp.
6. ~ [(q r) (p r)] · (p q) 4, Com.
7. ~ [(q r) (p r)] 6, Simp.
8. ~ [~ (q r) v (p r)] 7, Impl.
9. ~ ~ (q r) · ~ (p r) 8, De. M.
10. ~ ~ (q r) 9, Simp.
11. qr 10, D.N.
12. ~ (p r) · ~ ~ (q r) 9, Com.
13. ~ (p r) 12 Simp.
14. ~ (~ p v r) 13 Impl.
15. ~~p·~r 14, De. M.
16. p·~r 15 D.N.
17. p 16, Simp.
18. q 5, 17, M.P.
19. r 11, 18, M. P.
20. ~r·p 16, Com.
21. ~r 20, Simp.
22. r·~r 19, 21, Conj. Contradiction,
Proved.
The above derivation clearly reflects the methodological affectivity
of the Method of Indirect Proof. The proof is started with the negation of
the given in step no. 1. It has ended with a contradiction or absurdity in
step no.22. This logical method suggests that if the negation of a given
leads into a contradiction then it would indirectly prove that the given is a
tautology. This is exactly what is done in the above case. Let us now pass
on to apply this method in the case of validity of an argument.
Unlike the proposition, the indirect proof while applying in the case
of validity of an argument is stated with an additional premise. The additional
premise is the negation of the conclusion of the given argument. This is
132 Logic
Indirect Proof and Strengthened Rule of Conditional Proof Unit 8
one of the notable aspects of the method of indirect proof. Let us consider
the following argument:
1. A (B · C)
2. (B V D) E
3. DVA / E
4. ~E I. P. (Indirect Proof)
5. ~ (B V D) 2, 4, M. T.
6. ~B·~D 5, De. M.
7. ~D·~B 6, Com.
8. ~D 7, Simp.
9. A 3, 8, D.S.
10. B·C 1, 9, M. P.
11. B 10, Simp.
12. ~B 6, Simp.
13. B·~B 11, 12, Conj.
Contradiction, Proved.
In the above argument we have step no. 4 as an additional step.
The proof is started with the denial of the conclusion and it takes it as an
additional premise and ended with a plain contradiction. The contradiction
is absurd. So the demonstration is complete. Thus, the argument is proved
valid by indirect proof. The method of indirect proof is effective in
strengthening our deductive system. In fact, the method of Indirect Proof
along with other logical methods actually makes complete the proof system
of deductive logic.
In Indian logic, the same method can be applied in the name of Tarka. In
Indian logic there is a popular argument like the following:
Where there is smoke, there is fire.
The Hill is smoky
Therefore, the Hill is fiery.
Indian logicians take the method of Indirect Proof to make the argument
firm. Here the conclusion is logically entailed from the premises. More
alternatively, it can be said that if one affirms the meaning of the first and
Logic 133
Unit 8 Indirect Proof and Strengthened Rule of Conditional Proof
second premises and at the same time denies the meaning of the
conclusion, he will involve into a plain contradiction. More simplistically, it
can be said that if both the premises are accepted as true and the conclusion
is presumed as false, then we involve into a plain contradiction. Thus, there
we find the similarity between the East and the West as far as from the
methodological point of view. We can say that the concept of Tarka that we
observe in Indian logic has the same methodological implication as the
concept of Indirect proof that we notice in formal logic. Having said this,
whether Indian logic would be regarded as formal logical system or not is
altogether a different issue.
Before delving into this method, let us make clear about the logical
implication of the term 'conditional'. What is conditional? What is the rule of
conditionality in formal logic? Conditionality is something that can be
comprehended with regard to 'if…then' form where the cause-effect
relationship plays the all-important role. To talk of conditionality is to talk of
casual conditionality. Human life is all about of conditionality. Everything
within the empirical world is determined on the basis of conditionality. Thus,
the concept of conditionality is a forceful concept that would determine our
form of life. Nothing is unconditional in the empirical world. Everything is
hypothetical and conditional.
Thus, when we talk of conditional proof, we ipso-facto mean a kind
of proof framed with 'if …then' in the ordinary language. According to Copi,
the method of Conditional Proof is applied 'only to arguments whose
conclusions were conditional in form'. That is, if the conclusion of an
argument is in the form of 'if…then', then it would be treated as Conditional
argument and in such a case there remains the relevance of Conditional
Proof.
It is important to note here that logic develops out of language.
Logical language has its distinctive nature. Logical language must be
134 Logic
Indirect Proof and Strengthened Rule of Conditional Proof Unit 8
Logic 135
Unit 8 Indirect Proof and Strengthened Rule of Conditional Proof
Proof, but it does not bear any sense without the concept of Ordinary
Conditional Proof.
136 Logic
Indirect Proof and Strengthened Rule of Conditional Proof Unit 8
It has been stated that not all conditional are in the form of explicit
conditional. Some conditional are in implicit nature. In such cases we may
apply Strengthened Conditional Proof. It is further noted here that we have
four binary logical operators with the help of these we can formulate
conjunctive, disjunctive, implicative and equivalence statements or
proposition. In the case of argument, Strengthened Conditional Proof can
be applied just looking at the nature of the conclusion of the given argument.
If the conclusion of the given argument is conjunctive, then there is no
application of Conditional Proof. If the conclusion would be disjunctive,
then one can find the sense of implicit conditional in the disjunctive form of
Conditional because one has to know that the disjunctive proposition 'p v q'
is identical with the implicative proposition ~ p q. This clearly reflects that
p v q ~p q. Thus, in our sense disjunction is an implicit form of implication
or conditional. If the proposition would be implicative, then the implication
is expressed in the form of explicit conditional. Therefore, there is no problem
as far as Strengthened Conditional Proof is concerned. Finally, if the
proposition would be in the form of equivalence, then again there underlies
implicit conditional within the equivalence. In logic 'p equivalence q' is defined
as '(p q) · (q p)'. It is called biconditional. Thus, biconditional is nothing
but of twin conditional. Accordingly, there remains implicit conditionality in
biconditional statement.
Logic 137
Unit 8 Indirect Proof and Strengthened Rule of Conditional Proof
of the above argument from the demonstrated validity of the argument where
an additional premise (in step no.2) is created as an assumption. In the
above demonstration step 2 is taken as an assumption of Conditional Proof
and the subsequent steps, such as, 3 and 4 are dependent upon it. Step 5
however is not dependent upon step 2, but only upon step1. Thus, in our
case step 5 is outside or beyond the scope of the assumption made as
step 2. According to Copi, when an assumption is made in a Conditional
Proof of Validity its 'scope' is always limited, never extending all the way to
the last line of the demonstration. Thus, assumptions and scope of
assumptions are very important in understanding Conditional Proof. It should
equally be noted that in the case of Conditional Proof, only a line inferred
by the principle of Conditional Proof ends the scope of an assumption, and
that every use of the rule of Conditional Proof serves to end the scope of
an assumption. When the scope of an assumption has been ended, the
assumption is said to have been discharged. In the above case, the
assumption has been ended in step 4. Within the assumption everything
has been justified with regard to the assumption. However, beyond the
scope of the assumption nothing can be justified by reference to it or to any
line lying between it and the line inferred by the rule of Conditional Proof
that discharges it. According to Copi, it is the case that 'only lines lying
between an assumption of limited scope and the line that discharges it,
can be justified by reference to that assumptions'. An argument may require
more than one assumption. Every assumption has its scope and the scope
is limited. One assumption may be lying within the scope of another
assumption. Scopes of different assumptions may follow each other. After
one assumption of limited scope has been discharged, another such
assumption may be made and then discharged. No assumption can
embrace the conclusion of the argument. The conclusion of the argument
always rests beyond its scope and independent of it.
Let us examine a more complicated argument to apprehend the
nature of Conditional Proof and the scope of the assumption what we are
talking of.
Logic 139
Unit 8 Indirect Proof and Strengthened Rule of Conditional Proof
1. (A V B) [(C V D) E] / A [(C · D) E]
2. A (assumption 1)
3. AVB 2, Add.
4. (C V D) E 1, 3, M. P.
5. C·D (assumption 2)
6. C 5, Simp.
7. CVD 6, Add.
8. E 4, 7, M. P.
……………………………………………………
9. (C · D) E 5 - 8, C. P.
……………………………………………………………
10. A [(C · D) E] 2 - 9, C. P.
In the above argument, there are two assumptions taken for granted
as Conditional Proof. The scope of the first assumption contains the steps
from 2 - 9. Within the scope of the first assumption, there develops the
second assumption containing the steps from 5 - 8. This clearly suggests
that within the scope of one assumption other assumption may exist. Here
the second assumption lies within the scope of the first assumption. The
scope of the first assumption is marked from step 2 to step 9, whereas the
scope of the second assumption is marked from step 5 to step 8. It is also
important to note that one assumption may exist within the other assumption
or may exist independently. When one assumption lies within the scope of
another assumption, the assumption that lies within the scope of other
assumption must be closed. In our case, the second assumption must be
closed before the first assumption. However, if there are assumptions exist
independently, then the assumptions shall be closed in hierarchical order.
140 Logic
Indirect Proof and Strengthened Rule of Conditional Proof Unit 8
ACTIVITY: 8.2
Logic 141
Unit 8 Indirect Proof and Strengthened Rule of Conditional Proof
There are two types of Conditional Proof, such as, Ordinary Conditional
Proof and Strengthened Conditional Proof.
Strengthened Conditional Proof (SCP) can be applied just looking at
the nature of the conclusion of the given argument. If the conclusion of
the given argument is conjunctive, then there is no application of
Conditional Proof. If the conclusion would be disjunctive, then one can
find the sense of implicit conditional in the disjunctive form of Conditional
because one has to know that the disjunctive proposition 'p v q' is
identical with the implicative proposition ~ p q.
Finally, it can be said even though a distinction between OCP and SCP
is made, but after passing from OCP to SCP, one may forgo OCP and
stick to SCP. SCP contains OCP. Even Copi remarks that there is nothing
wrong to conceive SCP as the Rule of Conditional Proof.
8.11 REFERENCES:
Ans to Q No 1: True
Ans to Q No 2: True
Ans to Q No 3: False
Ans to Q No 4: True
Ans to Q No 5: Indirect proof can be defined as a logical method where
the validity or truth of the given is proved by way of negating or
denying the given.
142 Logic
Indirect Proof and Strengthened Rule of Conditional Proof Unit 8
Ans to Q No 6: True.
Ans to Q No 7: Either True or False
Ans to Q No 8: Valid or invalid
Ans to Q No 9: True.
Ans to Q No 10: True.
Ans to Q No 11: Proposition
Ans to Q No 12: True.
Ans to Q No 13: (p q) [(q r) (p r)] is a conditional statement.
Ans to Q No 14: Ordinary Conditional Proof is a logical method applied in
the case of deduction where the proof of a conditional statement or
proposition can be adequately justified provided that the conditional
is explicit in nature
Logic 143
Unit 8 Indirect Proof and Strengthened Rule of Conditional Proof
144 Logic
Singular Proposition and General Proposition Unit 9
UNIT STRUCTURE
9.2 INTRODUCTION
Logic 145
Unit 9 Singular Proposition and General Proposition
146 Logic
Singular Proposition and General Proposition Unit 9
something about the subject. The copula is the sign of affirmation or denial.
For example, in the proposition "Rose is red", 'rose' is the subject, 'red' is
the predicate and 'is' is the copula. Since the three parts are clearly stated,
the proposition "Rose is red" is logical. According to the traditional logicians,
the proposition like "Ram likes Laxman" is not logical since the copula is
not clearly stated. This can be reduced to the logical form as "Ram is a
person who likes Laxman", where 'Ram' is the subject, 'a person who likes
Laxman' is the predicate, and 'is' is the copula.
Again according to the modern logicians, a proposition is said to be
either true or false. A proposition can be either true or false, but it cannot be
both true and false. In a modern proposition, there may have any number
of parts or constituents or elements. These elements may be combined
variously. Unlike a traditional proposition where in the name of simplification
only one logical form was suggested, in a modern proposition there is not
only one logical form. It may have diverse logical forms. Here, the logical
form of the proposition depends on the way the constituent parts are related
to each other.
Logic 147
Unit 9 Singular Proposition and General Proposition
148 Logic
Singular Proposition and General Proposition Unit 9
Logic 149
Unit 9 Singular Proposition and General Proposition
150 Logic
Singular Proposition and General Proposition Unit 9
Logic 151
Unit 9 Singular Proposition and General Proposition
152 Logic
Singular Proposition and General Proposition Unit 9
2. The two bottom propositions are subcontraries, that is, they can
both be true but cannot both be false.
3. Propositions that are at opposite ends of the diagonals are
contradictories, of which one must be true and the other false.
4. On each side, the truth of the lower proposition is implied by the
truth of the proposition directly above it.
Logic 153
Unit 9 Singular Proposition and General Proposition
154 Logic
Singular Proposition and General Proposition Unit 9
(x)(xx)
(x)(xx)
(x)(x•x)
(x)(x•x)
Of these, the A and the O are contradictories, and the E and the I
are contradictories also. But the relation of contraries and sub contraries
does not hold for the traditional A,E,I and O propositions, even if we assume
that there is at least one individual in the universe. Where ' x' is a
propositional function that has no true substitution instances, then regardless
of what attribute is symbolized by '', the propositional functions 'xx'
and 'xx' have only true substitution instances. This is so because all
their substitution instances are conditional statements with false
antecedents. In such cases both the A and E propositions that are the
universal quantifications of these complex propositional functions are true,
so A and E propositions are not contraries. Again where 'x' is a propositional
function that has no true substitution instances, then, regardless of what
'x' might be, the propositional functions 'x•x' and 'x•x' have only
false substitution instances, for their substitution instances are conjunctions
Logic 155
Unit 9 Singular Proposition and General Proposition
whose first conjuncts are false. In such cases the I and O propositions that
are the existential quantifications of these complex propositional functions
are false. Thus I and O propositions are not sub contraries. In all such
cases, then, since the A and E propositions are true and the I and O
propositions are false, the truth of a universal does not imply the truth of
the corresponding particular; no implication relation holds between them.
If we make the assumption that there is at least one individual, then
'(x)(xx)' does imply '(x)(x•x)'. The latter, however, is not an I
proposition. An I proposition of the form 'Some 's are 's is symbolized as
'(x)(x•x)', which asserts that there is at least one thing having both the
attribute and the attribute . But the proposition '(x)(xx)' asserts
only that there is at least one object that either has the attribute or does
not have the attribute , which is a very different and much weaker assertion.
The four traditional subject-predicate forms A, E, I and O are not
the only forms of general propositions. There are others that involve the
quantification of more complicated propositional functions. Thus the general
proposition 'All members are either parents or teachers', which does not
mean the same as 'All members are parents or all members are teachers',
is symbolized as '(x) [Mx(Px v Tx)]'. And the general proposition 'Some
Senators are either disloyal or misguided', is symbolized as '(x) [Sx• (Dx v
Mx)]'. It should be observed that such a proposition as 'Apples and bananas
are nourishing' can be symbolized either as the conjunction of two A
propositions, '[(x) (Ax Nx)] • [(x) (Bx Nx)]', or as a single noncompound
general proposition, '(x) [(Ax v Bx) Nx]'. It should not, however, be
symbolized as '(x) [(Ax • Bx) Nx]', since to say that apples and bananas
are nourishing is to say that anything is nourishing which is either an apple
or a banana, not that anything is nourishing which is both an apple and a
banana. It must be emphasized that there are no mechanical rules for
translating statements from English into our logical notation. In every case
one must understand the meaning of the English sentence and then re-
express that meaning in terms of propositional functions and quantifiers.
156 Logic
Singular Proposition and General Proposition Unit 9
Logic 157
Unit 9 Singular Proposition and General Proposition
All propositions are sentences, but all sentences are not propositions.
Individual constant is asymbol (byconvention, normally alower case
letter, athrough w) which is used inlogical notation todenote an individual.
Individual variable is a symbol (byconvention, normally thelower case x
or y) thatserves as a placeholderfor an individualconstant.
Propositional functionis an expression thatcontains an individualvariable
and becomes astatement when thatvariable is replaced withan individual
constant. Apropositional functioncan also become astatement by
theprocess ofgeneralization.
A proposition in which the subject represents only a single individual,
thing or entity is called as singular proposition. In other words, a
proposition in which the predicate affirms or denies something of only
one individual or thing is a singular proposition.
A proposition in which the subject represents a group of individuals is
called as general propositions. In other words, a proposition in which
the predicate affirms or denies something of a part or the entire
denotation of the subject term is a general proposition.
Propositions may be formed from propositional functions either by
instantiation that is, by substituting an individual constant for its individual
variable, or by generalization, that is, by placing a universal or existential
quantifier before the propositional function.
The traditional four-fold classification of propositions are termed as A,E,I
and O. A means universal affirmative, E means universal negative, I
means particular affirmative and O means particular negative.
158 Logic
Singular Proposition and General Proposition Unit 9
Q.1.
(a) Ha
(b) (x)(HxMx)
(c) (x)(Hx•~Mx)
(d) Universal singular proposition
Q.2.
(a) General
(b) Propositions.
(c) True
(d) Predicate
Q.3.
(a) False.
(b) True
(c) True
(d) True
Q.4.
(a) Propositional function is an expression that contains an individual
variable and becomes a statement when that variable is replaced
with an individual constant.
(b) he two processes by which we can obtain propositions from
propositional functions are-
1. Substitution or instantiation and
2. Generalisation.
(c) Individual constant is asymbol (by convention, normally a lower case
letter, athrough w) which is used in logical notation to denote an
individual.
(d) Individual variable is a symbol (by convention, normally the lower
case x or y) that serves as a placeholder for an individual constant.
Logic 159
Unit 9 Singular Proposition and General Proposition
A. Objective questions
Q 1: What is propositional function?
Q 2: What are the two processes by which we can obtain propositions
from propositional function?
Q 3: What is individual constant?
Q 4: What is individual variable?
Q 5: Symbolise the singular proposition 'Aristotle is human'.
Q 6: Symbolise the general proposition 'All humans are mortal'.
Q 7: Symbolise the proposition'Some humans are not mortal'
Q 8: 'The sun is hot' is an example of which proposition?
B. Short questions (Answer in about 100-150 words)
Q 1: What is singular proposition? Explain briefly
Q 2: What is singular proposition? Explain briefly
Q 3: Explain briefly the concept of square of opposition of propositions.
Q 4: Explain briefly traditional subject-predicate propositions.
C) Long questions (Answer in about 300-500 words)
Q.1: Discuss briefly singular proposition.
Q.2: 'All propositions are sentences, but all sentences are not
propositions'. Explain.
Q.3: Explain briefly the concept of general proposition.
Q.4: Explain the four-fold classification of propositions.
160 Logic
Quantification and Rules of Quantification Unit 10
UNIT STRUCTURE
10.2 INTRODUCTION
Logic 161
Unit 10 Quantification and Rules of Quantification
162 Logic
Quantification and Rules of Quantification Unit 10
We can use 'x' (an individual variable) in place of both the pronoun
'it' and its antecedent 'thing'. We can paraphrase the proposition as: Given
any x, x is temporary.
Here we have got a property, i.e. 'being temporary'. In order to
symbolize this property, as it is already mentioned in the previous section,
we need predicate symbol. We can symbolize the property 'being temporary'
as 'Tx'. The phrase 'given any x' is called a universal quantifier. 'Given any
x' is conventionally symbolized as '(x)'. The general proposition 'everything
is temporary' can be symbolized as: (x) Tx
Existential Quantifiers- An existential quantifier can be defined as
an expression that, when prefixed to a propositional function, yields an
existential proposition. The existential quantifier '(x)' is used to assert that
some entities (at least one) have a given property. Thus to symbolize the
proposition "Something is light" or the proposition "At least one thing is
light", start with the proposition from 'Lx' and prefix an existential quantifier
to it. The result is the sentence (x)Lx, read "For some x, x is light", or
"There is at least one x such that x is light", or just "Some x is light". A few
more examples are:
Something is expensive. ( x)Ex.
Something is important. ( x)Ix.
Let us take a negative proposition:
"Some things are not temporary." It can be written as- There is at
least one x, such that x is not temporary.
Here one important point is to be noted that the 'not' appears before
the predicate, it does not appear in the quantity part. With the help of
existential quantifier it can be translated as: (x)~Tx
Logic 163
Unit 10 Quantification and Rules of Quantification
existential import by the modern logicians led them come to the conclusion
that only one relation, i.e. 'Contradictory' among the propositions is valid.
Other relations contrary, sub-contrary, subaltern are invalid.
Let us first discuss the contrary relation. The traditional account of
the contrary relation states that propositions 'All S is P' and 'No S is P'
cannot be true together, though both of them can be false together. We
know that A and E propositions do not have existential import. Because of
the absence of existential import in A and E propositions, according to the
modern logicians, A and E both cannot be true together. Modern logicians
therefore hold the view that contrary relation is to be given up.
Again, we know that the traditional account of subcontrary relation
between 'Some S is P' and 'Some S is not P' states that they may be true
together, but cannot be false together. According to the Boolean
interpretation, I and O propositions have existential import and because of
the existential import, I and O can be false together. It follows that
subcontrary relation is to be given up according to the modern logicians.
According to the Boolean interpretation in the Square of Opposition,
only the relation of contradiction is valid. The following equivalences are
valid in the modern square of opposition:
A = ~O
E = ~I
I = ~E
O = ~A
These equivalences can be employed to establish the equivalence
of the universal and the existential quantifiers in the following way:
[ (x) (SxPx) ] = ~ [ (x) (Sx • ~ Px) ]
[ (x) (Sx ~ Px) ] = ~ [ (x) (Sx • Px) ]
[ (x) (Sx•Px) ] = ~ [ (x) (Sx ~ Px) ]
[ (x) (Sx• ~Px) ] = ~ [ (x) (SxPx) ]
The following diagram will represent the modern square of
opposition:
164 Logic
Quantification and Rules of Quantification Unit 10
Contradictory
A S=0 SP = 0 E
Contradictory
I O
SP 0 SP
Logic 165
Unit 10 Quantification and Rules of Quantification
166 Logic
Quantification and Rules of Quantification Unit 10
Among the A,E,I and O propositions 'A' and 'E' propositions are symbolized
by using the universal quantifier '(x)' and 'I' and 'O' propositions are
symbolized by using the existentialquantifier '(x)'.
Universal proposition-
1. Everything is movable. Symbolic form: (x) Mx
2. Nothing is permanent. Symbolic form: (x) ~ Px
3. Only teachers are invited. Symbolic form: (x) (Ix Tx)
4. None but citizens are eligible to vote. Symbolic form: (x) (Ex Cx)
5. All bananas and mangoes are sweet. Symbolic form: (x) [( Bx v
Mx) Sx]
Existential proposition-
1. Lions exist. Symbolic form: (x) Lx
2. Not everything is mortal. Symbolic form: (x) ~ Mx
3. Not all dogs are mammals. Symbolic form: ( x) (Dx •
~Mx)
4. There are elephants. Symbolic form: (x) Ex
5. Unicorns do not exist. Symbolic form: (x) ~ Ux
Logic 167
Unit 10 Quantification and Rules of Quantification
168 Logic
Quantification and Rules of Quantification Unit 10
Logic 169
Unit 10 Quantification and Rules of Quantification
170 Logic
Quantification and Rules of Quantification Unit 10
6. Cw 4,6 MP
7. Aw • Cw 5,7 Conj.
8. (x) (Ax • Cx) 8 EG
Existential Instantiation (EI)
The rule of Existential Instantiation (EI)permits us to move from an
existentially quantified proposition to a proposition which is not quantified.
From a quantified formula '(x) Rx' we are allowed by the rule of EI to draw
the conclusion 'Ry'. Let us consider the following example:
1. (x) (HxKx)
2. (x) (Hx)/ (?x) (Kx)
3. Hy2 EI (Existential Instantiation)
4. HyKy 1 UI
5. Ky 4, 3 M.P
6. (x) (Kx) 5 EG
In this proof, line 3 follows from line 2 by the inference rule
calledExistential Instantiation (EI).
The general rule for EI can be stated as:
(x )(Mx)
My
(where 'y' is an individual constant, that is a substitute for a name.
However, there is an important restriction to be placed on this rule, namely,
that the individual constant 'y' must not have occurred previously in the
proof in which this rule is applied).
Logic 171
Unit 10 Quantification and Rules of Quantification
172 Logic
Quantification and Rules of Quantification Unit 10
Logic 173
Unit 10 Quantification and Rules of Quantification
174 Logic
Quantification and Rules of Quantification Unit 10
Logic 175
Unit 10 Quantification and Rules of Quantification
1) Sharma, B., Deka, J. (2014) A text book of Logic, 3rd Ed., Guwahati:
AankBaak
2) Chakraborti, C. (2007) Logic: Informal, symbolic and Inductive, 2nd
Ed., New Delhi: Prentice Hall of India Pvt. Ltd.
3) Pollock, J.L. (1969) An Introduction to Symbolic Logic, New York:
Holt, Pinehart and Winston, Inc.
4) Gustason, W., Ulrich, D.E. (1973) Elementary Symbolic Logic, New
York: Holt, Pinehart and Winston, Inc.
Ans.1.
(a) GottlobFrege is credited for the discovery of quantification.
(b) The word 'quantification' was introduced by Charles S. Peirce.
(c) Singular proposition.
(d) There are two phrases to indicate quantity in quantification.
Ans.2.
(a) (x) ~ Px
(b) Ir
(c) ~ Hs
(d) Cs • ~ Hs
(e) ~ Ir • Hr
(f) Ih v Fh
(g) (x) ~ Dx
(h) (x) Wx
(i) (x) (MxUx)
(j) (x) (Px ~ Ex)
Ans.3.
(a) True
(b) True
(c) False
176 Logic
Quantification and Rules of Quantification Unit 10
(d) False
Ans.4.
(a) There are two ways of obtaining propositions from propositional
function.
1. Instantiation and 2. Quantification
(b) A universal quantifier can be defined as an expression that, when
prefixed to a propositional function, yields a universal
proposition.Statement which contain words like 'all', 'every', 'each',
'any', 'everything', 'anything' or any word conveying the sense of
'all' are symbolized by the aid of universal quantifier. The symbolic
form of universal quantifier is '(x)'.
(c) Quantification is the process of obtaining a proposition from a
propositional function.
(d) An existential quantifier can be defined as an expression that, when
prefixed to a propositional function, yields an existential proposition.
The existential quantifier '(x)' is used to assert that some entities
(at least one) have a given property.
A) Objective questions
Q 1: What is quantification?
Q 2: What are the types of quantifiers?
Q 3: What is existential quantifier?
Q 4: What is universal quantifier?
Q 5: State the symbol of universal quantifier.
Q 6: State the symbol of existential quantifier.
B) Short questions (Answer in about 100-150 words)
Q.1: Distinguish between instantiation and quantification.
Q.2: State the distinction between a propositional function and
proposition.
Q 3: Explain briefly the concept of quantification
Q 4: What is universal quantifier? Explain briefly
Logic 177
Unit 10 Quantification and Rules of Quantification
178 Logic
Set Theory Unit 11
UNIT STRUCTURE
11.2. Introduction
11.3. Definition of set
11.4. Set membership
11.5. Set inclusion
11.6. Empty set
11.7. Operations on sets
11.7.1. Union of sets
11.7.2. Intersection of sets
11.7.3. Difference of sets
11.7.4. Complement of set
11.8. Laws of operations on set
11.9. Domain of individuals
11.10. Using set notation for logical propositions (categorical
propositions)
11.11. Let us sum up
11.12. Further readings
11.13. Answers to check your progress
11.14. Model questions
Logic 179
Unit 11 Set Theory
11.2 INTRODUCTION
LET US KNOW
180 Logic
Set Theory Unit 11
Logic 181
Unit 11 Set Theory
LET US KNOW
.
. .
CHECK YOUR PROGRESS
182 Logic
Set Theory Unit 11
(A) The words like object, element and member are used synonymously.
(B) Any set is implied by capital letters like A, B, C, X, Y, Z etc.
(C) The members of a set is implied by small letters like a, b, c, x, y, z etc.
The members or elements of set can be anything like numbers,
people, letters of the alphabet, animals, or inanimate things, other sets or
any distinct or well-defined entity. Each unit or element of the set is called
a member of the set.These members that form the set may be objects of
any kind except the set itself. Bertrand Russell said that a set is never
permitted to be an element of itself. However, a given set may be an element
of another set. So, it is logically possible to find a set of sets. If any individual
is a member of a certain set andto indicate this membership a Greek letter
(Epsilon) is used between the individual letter and the class letter.
For example,
Akbar was a king.
Akbar ? king
aK
Sets may be interrelated. The first interrelationship between two
sets is that one set is identical with other. The principle involved here is the
principle of 'intentionality of sets'.For example, two sets A and B are identical
if and only if, for the value of x, x can be called a member of A, if and only
if x is a member of B. The symbolic representation of this point may be
given as follows:
A = B (x) [(x A) (x B)]
For example, A = 1,2,3,4
B = 1,2,3,4 therefore, A=B
Similarly, A= Bachelor
B= Unmarried male therefore, A=B
Similarly, A= Human beings
B= Rational animal therefore, A=B
There is another two methods to imply or express a set and its
members. They are like: (1) Roster or tabular form (2) Set builder form.
The fundamental principle of the theory of set is the 'principle of
Logic 183
Unit 11 Set Theory
extensionality' where the members of the set theory are specified by the
way of intentional definition using a rule or semantic description. It is a way
of defining a set by the characteristics property of all its elements.
(1) Roster or tabular form: According to this method all the members
of a set are written separately by using commas (,) within brackets.
For example: the set of all the vowels ofEnglish alphabet-{a,e,i,o,u},
the set of all the even numbers less than 10- {2,4,6,8}
(2) Set builder form: According to this method it is assumed that there
is a common or general characteristicamong the members of a set
which is totally absent in those members which are not in the set.
For example: the set of vowels of the English alphabet-{a,e,i,o,u}.
There is a common characteristic among all these alphabets, i.e.;
they are vowels. If this set is expressed by using the letter V, then
its symbolic representation will be- V= {x: x the vowels of English
alphabet}
LET US KNOW
ACTIVITY: 11.1
Ans ………………………………………………………………….....
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
184 Logic
Set Theory Unit 11
LET US KNOW
Logic 185
Unit 11 Set Theory
the planet earth. This kind of set is called an empty set which contains no
member at all. Or let 'B' be the set which contains those educated women
who are the Vice-Chancellors of Gauhati University. But this is also an
empty or null set as there is no member in this set. Or let 'C' be the set of
people in the world who are older than 250 years. But according to the
known statistics 'C' is an empty set.
Here, one important point must be mentioned that logically there can be
only one null set. This is so because sets differ from one another only when
they have different members. But an empty set has no member or element.
Therefore, it is not possible to differentiate one null set from another null
set on the basis of the difference of members. For example, the set of even
prime number greater than 2 is an empty set. Hence, no null set is different
from this set of even prime number greater than 2 from the point of view of
the difference of members.
However, the concept of empty is a confusing concept as one may be
incorrectly inclined to visualize a set as a heap of things. But, such type of
visualization is not mathematically sound though it may be initially and
intuitively. If a set is visualized in such a way then the mathematical idea of
empty set may appear to be puzzling.
An empty set is symbolically represented in various ways. Generally by
means of the Greek letter lambda (^) it is expressed that a particular set
has no element of its own. The concept of empty set enables the logicians
and mathematicians to perform a number of logical manipulations. For
instance, it can be said that if two sets are mutually exclusive then the
intersection of them produces an empty set. For example, if the set A
contains the members 1, 2, 3 and 4 and the other set B contains the
members 5, 6, 7, and 8 then we can say that the intersection of these two
sets produces an empty set.
Again, an empty set may be a member of another set logically though
nothing belongs to an empty set. Moreover, an empty is a subset of every
set. For every x, x is not a member of an empty set. This is the defining
property of an empty set.
186 Logic
Set Theory Unit 11
LET US KNOW
.
. .
CHECK YOUR PROGRESS
ACTIVITY: 11.2
Ans ………………………………………………………………….....
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
1. Union of sets
2. Intersection of sets
3. Difference of sets
The union of two sets, A and B, is the collection of points which are
in A or in B or in both. If A and B are two sets, the union of A and B is the set
of all those elements which belong either to A or B or both A and B. in other
words, the union of set A and B is the set, which consists of all the elements
of A and all the elements of B, however the common elements in both
these sets are taken only once. For denoting the union of set A and set B
the symbol U (U is used to denote the union of two sets) is used. Symbolically
it can be shown in the following way
(x) (x AU B x A or x B)
It is read as for every x, x belongs to A union B, if and only if x
belongs to B. In other words, we can say that AU B is equal to x, such that,
x belongs to A or x belongs to B.
The union of set A and B can also be represented in other way also
like
AU B = {x: x A or x B}
It is read as A union B is equal to x, such that x belongs to A or x
belongs to B.
For example, A= {1, 2, 3, 4, 5, 6}
B= {4, 5, 6, 7, 8, 9}
AU B= {1, 2, 3, 4, 5, 6, 7, 8, 9}
Or, A= {all animals}
B= {all plants}
AU B= {all living organisms}
The example of a set A, which is the set of all animals and a set B,
which is the set of all plants, and its union, that is A U B will be the set of all
living organisms. If we are to refer to a single element by the variable "x",
then, we can say that x is a member of the union, if it is an element present
188 Logic
Set Theory Unit 11
LET US KNOW
Logic 189
Unit 11 Set Theory
The intersection of sets A and B is the set of all elements which are
common to both A and B. it's a binary operation. To denote the intersection
of sets the symbol ? (read as intersection) is used. Many logicians use .
(Dot) or × (multiplication sign) to denote intersection of sets instead of like
A B= A . B= A × B= AB
The intersection of two sets A and B are constituted by all those
elements or members that belong to both A and B which can be symbolically
represent in the following way:
A B= (x: x A and x B)
This can be read as x belongs to A intersection B if and only if x belongs to
A and x belongs to B.
Suppose, A= {1, 2, 3, 4, 5}
B= {2, 4, 5, 6, 7}
A B= {2, 4, 5}
Or A= {all Indian people}
B= {all Indian Hindu people}
A B= {all Indian Hindu people}
Or, A= {1, 3, 4, 6}
B= {1, 4, 10, 5}
C= {2, 8, 7, 6}
Then, (A B) C= ^, (an empty set) as all the three sets do not
contain any common element.
The intersection of sets has certain properties like:
(a) Intersection always has a set value which means that the set of
sets is closed under intersection.
(b) Intersection of sets is an associative operation for all sets. That is in
intersection the result does not depend on the order of evaluation
which symbolically can be represented as
[(A ? B) ? C) = (A ? (B ? C)]
190 Logic
Set Theory Unit 11
LET US KNOW
If A and B are two sets, the difference of the sets A and B in this
order, is the set of elements which belong to A but not to B. The difference
of sets A and B, is also referred to as the relative complement of B in A. the
difference of sets can be symbolically represented as A ~ B (read as A
difference B). Hence, it can be said as every x, x ? A ~ B, if and x E A and
x E B.
(x) (x E A ~ B x E A and x ? B)
Suppose, A= {all people}
B= {all females}
A ~ B= {all males}
Or, A= {1, 2, 3, 4, 5, 6}
B= {2, 4, 6, 8}
Logic 191
Unit 11 Set Theory
LET US KNOW
.
. .
CHECK YOUR PROGRESS
ACTIVITY: 11.3
Explain the operations of sets in set theory with
suitable examples.
Ans ………………………………………………………………….....
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
For the interrelations between the operations on set, there are certain
laws of operations on set. According to the law of distribution, law of double
negation and De Morgan's theorems (De M.), there are 31(thirty one) such
laws:
1. A U = A
2. A U v = v
3. A U B = B U A
Logic 193
Unit 11 Set Theory
4. A B = B A
5. A U (B C) = (A U B)
6. A U (B U C) = (A B) U (A C)
7. A U ~ A = v (v= universe of discourse)
8. A ~A =
9. A U A = A
10. A A = A
11. A U V = v
12. A =
13. v
14. ~ ~ A = A
15. A = ~ B B = ~A
16. A U B A ? ?
vB
17. A B A
18. A U (B U C) = (A U B) U C
19. A (B C) = (A B) C
20. A U (A B) = A
21. A (A U B) = A
22. ~ A A
23. ~ (A U B) = ~ A ~ B
24. ~ (A B) = ~ A U ~ B
25. A ~ A =
26. A ~ (A B) = A ~ B
27. A (A ~ B) = A ~ B
28. (A ~ B) ~ B = A ~ B
29. (A ~ B) ~ A =
30. (A ~ B) U B = A U B
31. (A U B) ~ B = A ~ B
194 Logic
Set Theory Unit 11
A A’
Logic 195
Unit 11 Set Theory
classes: class A and class A’. A is the class to which the individual under
consideration belongs and A’ is a complementary class which exhaust the
domain of discourse.
196 Logic
Set Theory Unit 11
.
. .
CHECK YOUR PROGRESS
ACTIVITY: 11.4
Ans ………………………………………………………………….....
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
Logic 197
Unit 11 Set Theory
The concept of set was developed at the end of the 19th century by
German mathematician George Cantor (1845-1918). In fact, George
Cantor is known as the founder of set theory.
George Cantor conceived a set to be 'any collection into a whole…of
definite and separate objects… The objects are called the elements
[members] of the set'.
The two terms 'set' and 'class' are used synonymously. Terms like
'collection', 'aggregate' etc. are also used synonymously with the term
'set'.
The fundamental relation in set theory is that of membership. Logically,
the individuals that are included in a set has a certain property i.e.; the
individual is a member of a certain class. But a set may be constituted
by only one member also.
The members or elements of set can be anything like numbers, people,
letters of the alphabet, animals, or inanimate things, other sets or any
distinct or well-defined entity. Each unit or element of the set is called a
member of the set.These members that form the set may be objects of
any kind except the set itself.
Let A and B be two sets. If every element of A is an element of B, then
A is called a subset of B. Whenever it is said as 'A is a subset of B', it
means that if 'a' is an element of A implies that 'a' is an element of B. If
A is a subset of B we say that B contains A or B is a superset of A. This
kind of relationship in set theory is known as set inclusion or set
containment.
The concept of empty set is of utmost importance in several
mathematical and logical operations. An empty set is also known as a
null set, zero set or void set. The concept of empty set can be defined
as that kind of set which contains no member or where no kind of
member is included. This type of set is expressed by using the Greek
symbol (phi) or ^ (lambda).
198 Logic
Set Theory Unit 11
Operations on sets are some such ways of constructing new sets from
the given sets. For this reason all sets are considered to be the subsets
of universe of discourse.
The union of two sets, A and B, is the collection of points which are in A
or in B or in both. If A and B are two sets, the union of A and B is the set
of all those elements which belong either to A or B or both A and B. in
other words, the union of set A and B is the set, which consists of all the
elements of A and all the elements of B, however the common elements
in both these sets are taken only once. For denoting the union of set A
and set B the symbol U (U is used to denote the union of two sets) is
used.
The intersection of sets A and B is the set of all elements which are
common to both A and B. it's a binary operation. To denote the
intersection of sets the symbol ? (read as intersection) is used. Many
logicians use . (Dot) or × (multiplication sign) to denote intersection of
sets instead of like A B= A . B= A × B= AB
If A and B are two sets, the difference of the sets A and B in this order,
is the set of elements which belong to A but not to B. The difference of
sets A and B, is also referred to as the relative complement of B in A.
the difference of sets can be symbolically represented as A ~ B (read
as A difference B).
The complement of set is an important issue in the operations of set.
Suppose, A is a set of all red things in which all the red things of the
world will come together. Here, the complement of this set will be that
set which will be constituted by all the non-red things of the world. This
will be known as the complement of the former set.
To understand set theory, the universe of discourse or the domain of
individuals is very important. In any application of the set theory all the
sets under investigation will likely be subsets of a certain set. This is
known as domain of individuals or universal set or domain of discourse.
Logic 199
Unit 11 Set Theory
200 Logic
Set Theory Unit 11
Logic 201
Unit 11 Set Theory
202 Logic
Membership, Inclusion, The Empty Set Unit 12
UNIT STRUCTURE
12.2 INTRODUCTION
Logic 203
Unit 12 Membership, Inclusion, The Empty Set
are included to such sets. Whenever a certain set includes a certain member
then that member is called as a subset of that set or that particular set is
known as the superset of that particular member. Hence, the idea of set
inclusion has arisen from the idea of subset and superset. However, the
concept of empty is quite different which contains no member at all.
204 Logic
Membership, Inclusion, The Empty Set Unit 12
if and only if, for the value of x, x can be called a member of A, if and only
if x is a member of B. The symbolic representation of this point may be
given as follows:
A = B (x) [(x A) (x B)]
For example, A = 1,2,3,4
B = 1,2,3,4 therefore, A=B
Similarly, A= Bachelor
B= Unmarried male therefore, A=B
Similarly, A= Human beings
B= Rational animal therefore, A=B
There is another two methods to imply or express a set and its
members. They are like: (1) Roster or tabular form (2) Set builder form.
The fundamental principle of the theory of set is the 'principle of
extensionality' where the members of the set theory are specified by the
way of intentional definition using a rule or semantic description. It is a way
of defining a set by the characteristics property of all its elements.
(1) Roster or tabular form: According to this method all the members
of a set are written separately by using commas (,) within brackets.
For example: the set of all the vowels of English alphabet-{a,e,i,o,u},
the set of all the even numbers less than 10- {2,4,6,8}
(2) Set builder form:According to this method it is assumed that there
is a common or general characteristic among the members of a set
which is totally absent in those members which are not in the set.
For example: the set of vowels of the English alphabet-{a,e,i,o,u}.
There is a common characteristic among all these alphabets, i.e.;
they are vowels. If this set is expressed by using the letter V, then
its symbolic representation will be- V= {x: x the vowels of English
alphabet}
As has been mentioned earlier the fundamental principle of the
theory of set is the 'principle of extensionality'. The members of a set can
be specified by the way of intentional definition using a rule or semantic
description. It is a way of defining a set by the characteristics property of all
Logic 205
Unit 12 Membership, Inclusion, The Empty Set
LET US KNOW
.
. .
CHECK YOUR PROGRESS
206 Logic
Membership, Inclusion, The Empty Set Unit 12
Logic 207
Unit 12 Membership, Inclusion, The Empty Set
LET US KNOW
.
. .
CHECK YOUR PROGRESS
ACTIVITY: 12.2
Ans ………………………………………………………………….....
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
208 Logic
Membership, Inclusion, The Empty Set Unit 12
the planet earth. This kind of set is called an empty set which contains no
member at all. Or let 'B' be the set which contains those educated women
who are the Vice-Chancellors of Gauhati University. But this is also an
empty or null set as there is no member in this set. Or let 'C' be the set of
people in the world who are older than 250 years. But according to the
known statistics 'C' is an empty set.
Here, one important point must be mentioned that logically there
can be only one null set. This is so because sets differ from one another
only when they have different members. But an empty set has no member
or element. Therefore, it is not possible to differentiate one null set from
another null set on the basis of the difference of members. For example,
the set of even prime number greater than 2 is an empty set. Hence, no
null set is different from this set of even prime number greater than 2 from
the point of view of the difference of members.
However, the concept of empty is a confusing concept as one may
be incorrectly inclined to visualize a set as a heap of things. But, such type
of visualization is not mathematically sound though it may be initially and
intuitively. If a set is visualized in such a way then the mathematical idea of
empty set may appear to be puzzling.
An empty set is symbolically represented in various ways. Generally
by means of the Greek letter lambda (^) it is expressed that a particular set
has no element of its own. The concept of empty set enables the logicians
and mathematicians to perform a number of logical manipulations. For
instance, it can be said that if two sets are mutually exclusive then the
intersection of them produces an empty set. For example, if the set A
contains the members 1, 2, 3 and 4 and the other set B contains the
members 5, 6, 7, and 8 then we can say that the intersection of these two
sets produces an empty set.
Again, an empty set may be a member of another set logically though
nothing belongs to an empty set. Moreover, an empty is a subset of every
set. For every x, x is not a member of an empty set. This is the defining
property of an empty set.
Logic 209
Unit 12 Membership, Inclusion, The Empty Set
LET US KNOW
ACTIVITY: 12.3
Ans ………………………………………………………………….....
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
210 Logic
Membership, Inclusion, The Empty Set Unit 12
Logic 211
Unit 12 Membership, Inclusion, The Empty Set
Ans to Q.1.Set membership means that the individual that are included in
a certain class has a certain property i.e.; that the individual is a
member of the class.
Ansto Q.2. The two methods to express a set and its members are roster
or tabular form and tabular form.
Ans to Q.3. According to the roster or tabular method all the members of a
set are written separately by using commas (,) within brackets.
Ans to Q.4. Set inclusion means those kind of relationship in a set theory
where A is a subset of B i.e.; B contains A or B is a superset of A.
Ans to Q.5. Whenever a certain set includes a certain member then that
member is called as a subset of that set or that particular set is
known as the superset of that particular member.
Ans to Q.6. The concept of empty set can be defined as that kind of set
which contains no member or where no kind of member is included.
212 Logic
Membership, Inclusion, The Empty Set Unit 12
Logic 213
Unit 13 Operation of Sets, Domains of Individuals
UNIT STRUCTURE
13.2 INTRODUCTION
Logic and set theory are very much intertwined in terms of serving
as a foundation for mathematics. Mathematical logic or set theory is more
foundational to mathematics. Both are equally important as being
foundational, and they are intertwined. With logic, we are concerned with
analyzing the justification of a statement. We logically approach the
justification of a statement by studying its structure, which is composed of
214 Logic
Operation of Sets, Domains of Individuals Unit 13
premises and a conclusion. There are rules to follow that make an argument
valid and therefore logical. One such important rule is that there may be
several premises, but only one conclusion, and there must be a relation
between the premises and the conclusion. Since set theory is the study of
relations, it is very convenient to use set theory and logic together.
Mathematics studies numbers, geometry, and form. Those require
definitions and axioms to characterize the subjects of study. Logic is used
to prove properties based on those definitions and axioms. Logic can also
be used in the ordinary discourse of nonmathematical topics. Typically, the
logic needed for mathematical investigations is great while that for
nonmathematical investigations is small.
Logic 215
Unit 13 Operation of Sets, Domains of Individuals
The union of two sets, A and B, is the collection of points which are
in A or in B (or in both). If A and B are two sets, the union of A and B is the
set of all those elements which belong either to A or B or both A and B. Or
the union of set A and B is the set, which consists of all the elements of A
and all the elements of B, the common elements being taken only once. In
order to denote the union of A and B the symbol "U" is used. Thereby, first
set operation is defined using the "U"connective. Thus, the set A U B -read
"A union B" or "the union of A and B"-is defined as the set that consists of
all elements belonging to either set A or set B (or both). If A is the set of all
animals and B is the set of all plants, then A U B is the set of all living
organisms. Symbolically it can be shown in the following way:
(x)(x A U B x A or x B)
It is read as for every x, x belongs to A union B, if and only if x
belongs to A or x belongs to B. In other words we can say that A ? B is
equal to x, such that, x belongs to A or x belongs to B. Again the union of
set A and B can be represented in the following way:
A U B = {x: x A or x B}
It is read as A union B is equal to x, such that x belongs to A or x
belongs to B.
Suppose, A = {1, 2, 3, 4}
B = {3, 4, 5, 6}
A U B = {1, 2, 3, 4, 5, 6}
The example of a set A, which is the set of all animals and a set B,
which is the set of all plants, and its union, that is AUB will be the set of all
living organisms. If we are to refer to a single element by the variable "x",
then, we can say that x is a member of the union, if it is an element present
in set A or in set B, or in both. The same elements cannot be used twice in
the same set, or, it can be said that sets cannot have duplicate elements.
Suppose we have the set A = {1, 2, 3} and the set B = {2, 3, 4}. Thus as the
operation of A U B, we find that A U B = {1, 2, 3, 4}. Multiple occurrences of
identical elements have no effect on the cardinality of a set or its contents.
216 Logic
Operation of Sets, Domains of Individuals Unit 13
Logic 217
Unit 13 Operation of Sets, Domains of Individuals
B = {4, 5, 6, 7}
A B = {4, 5}
Again, if A = {1, 3, 4, 6}
B = {1, 4, 10, 5}
C = {2, 8, 7, 6}
Then, (A B C) = , since, all the three sets do not contain any
common element.
Let us see some more examples that will help us to understand the
operation on the intersection of sets. Let A be the set of all cricket players
and B be the set of all Indian cricket players. Then the intersection of A and
B will be the set of all Indian cricket players. The operation of intersection is
sometimes used as a function of the product of two sets. In such
circumstances, instead of using the symbol intersection, " ", the symbol
dot " ." (A.B) or multiplication sign "×" (A×B) can be used.
From this, it is clear that the operation of intersection is presented
as, x A B x A and x B, and it is read as x belongs to A
intersection B if and only if x belongs to A and x belongs to B.
The operation of intersection can be diagrammatically represented in
the following way. In the diagram, we have shaded A B, the area that is
common to both A and B.
218 Logic
Operation of Sets, Domains of Individuals Unit 13
always has a set value. Secondly, for all sets, intersection is associative.
That is, in intersection, the result does not depend on the order of evaluation.
Thirdly, for all sets, intersection is commutative. That is, the result does not
depend on the order of the operands. Symbolically it can be shown as
(A B) = (B A). Lastly, one thing that can be pointed out that, each
investigation has its own universal set, which includes everything under
investigation, but not everything in the actual known universe. The universal
set is also referred to as the set of universe (U). The universal set, U, is a
left identity for intersection of sets. Symbolically it can be shown as
U A = A. Again, the universal set, U, is a right identity for intersection of
sets. Symbolically it can be represented as A U = A
Logic 219
Unit 13 Operation of Sets, Domains of Individuals
ACTIVITY: 13.1
220 Logic
Operation of Sets, Domains of Individuals Unit 13
A´
Logic 221
Unit 13 Operation of Sets, Domains of Individuals
The universal set may also be denoted by U: the set of all objects
under the consideration. In the diagram, it is assumed that all elements are
members of a fixed universe U. In set theory, the universe is considered to
be the set of all possible elements in a given situation. There is the use of
circles to represent sets and a rectangle to represent U. The space inside
these shapes represents where elements might exist. Shading is used to
represent where elements might exist after applying some set operations.
The diagram shows that any discussion about an individual
belonging to 'A' will be in or with respect to a particular area. That area is
represented by a rectangle in the above diagram. The rectangle, therefore,
represents the domain of discourse. This domain of discourse is constituted
of two classes. One is the class of A and the other is the class of Á (not A).
These two classes together constitute the domain. A is the class to which
the individual under consideration belongs. Á is a complimentary class. A
class and its complementary class between themselves exhaust the
universe or the domain of discourse. It can b expressed as A + Á = U
(universe of discourse). In order to introduce a domain of individuals, one
can draw a circle, put some dots in it, write some constants on the board
(e.g., our "a" and "b", etc.), and then draw a line from each constant to a
dot in the circle, making clear that each name goes with one and only one
dot and a different name goes to each dot. The name describes nothing
and the thing named is not picked out in any obvious sense by a description.
It merely marks numerical difference: two names, two individuals.
222 Logic
Operation of Sets, Domains of Individuals Unit 13
ACTIVITY: 13.2
Associative Laws
A U B U C = A U (B U C)
A B C = A (B C)
Commutative Laws
AUB= BUA
A B=B A
Distributive Laws
A (B U C) = (A B) U (A C)
A U B C = (A U B) (A U C)
Idempotent Laws
AUA=A
A A = A.
Set theory is nothing but the study of relations. Sets can be combined
in a number of different ways to produce one or more sets. There are
logical operations and set operations. Operations on sets are some
ways of constructing new sets from the given sets. Different connectives
Logic 223
Unit 13 Operation of Sets, Domains of Individuals
are used to define the set operations. The connectives allow us to build
new sets from given ones.
There are three operations of sets: Union of sets, Intersection of sets
and Difference of sets.
In any application of the set theory, all the sets under investigation will
likely be subsets of a certain set. It is known as the domain of individuals
or universal set or domain of discourse.
The domain of individuals is also known as the 'domain of quantifiers'.
It is a set of things that serve as possible values for its variables.
The difference of set a binary operation. It can be understood as if A
and B are two sets, the difference of the sets A and B in this order, is the
set of elements which belong to A but not to B. The difference of sets A
and B, A ~ B or A - B, is also referred to as the relative complement of B
in A. This can be symbolically represented as (A ~ B) (read as A
difference B).
The intersection is a binary operation. The intersection of sets A and B
is the set of all elements which are common to both A and B. The symbol
" " (read as an intersection), is used to denote the intersection.
The union of two sets, A and B, is the collection of points which are in A
or in B (or in both). If A and B are two sets, the union of A and B is the
set of all those elements which belong either to A or B or both A and B.
Or the union of set A and B is the set, which consists of all the elements
of A and all the elements of B, the common elements being taken only
once.
224 Logic
Operation of Sets, Domains of Individuals Unit 13
Answers to Q No 1:
a) "U"connective
b) Venn diagram
A) Objective questions
Q. 1: Give two examples of the domain of discourse.
Q. 2: What logical components are used to distinguish the operations of
union and intersection?
Q 3: What is union of sets?
Q 4: What is difference of sets?
Q 5: What is intersection of sets?
B) Short questions (Answer in about 100-150 words)
Q 1: Write short notes on
a) Difference of sets.
b) Union of sets
c) Intersection of sets
C) Long questions (Answer in about 300-500 words)
Q. 1: Explain the operation of union of sets with its diagrammatical
representation.
Logic 225
Unit 14 Translating Everyday Language
UNIT STRUCTURE
14.2 INTRODUCTION
226 Logic
Translating Everyday Language Unit 14
Logic 227
Unit 14 Translating Everyday Language
difficulties that are arises from the use of ordinary language in the study of
logic. Uses of symbols help us to frame general rules and principles for the
study of argument and argument form in logic. The use of symbols ensures
clarity and economy of expression. The uses of symbols pave the way for
application of mathematical methods into the study of logic. As a result of
uses of symbols in logic help us to find out validity or invalidity of argument
by means of mathematical operation.
In the Unit IV, there has been a discussion on the basic components
and the symbolization of the sentences of propositional logic. With the aid
of logical constant and variable we may symbolize the statements of
language. Logical constants are the symbols which have definite meaning
and whose value cannot be changed from person to person, time to time
and place to place. In symbolic logic there are five logical constants which
are most commonly used. These are- •, v, , , ~ respectively. In symbolic
logic except '~' this all other logical constants are also used as connectives.
Generally for symbolization of statement of everyday language as well as
to form truth function logical constants are used. Variables are the symbols
which are used to substitute something consciously. In the context of logic
variable may be defined as follows: Variables are the symbols that are
used to substitute something deliberately. For example- p, q, r, s etc.
For the symbolization of the statements of language first of all we
have to observe the statement carefully so that we may have the idea
about the components of the statement. For the symbolization of the
statement according to the need of the statement we have to use variable
and logical constants. If the given statement is a simple proposition, such
proposition may be symbolized by means of a single variable. If the given
proposition or statement is compound, for the symbolization of such
statement we have to identify different parts of it and for each par we have
to use separate variable. Again, to correlate different parts we have to use
228 Logic
Translating Everyday Language Unit 14
logical constants. On the other hand to ensure the scope the logical constant
we have to use brackets as per need of the proposition.
Basically two sorts of logic are distinguished depending on the term
based and sentence base components. On the one hand there is the
propositional or sentential logic, and on the other hand, there is the predicate
or quantifier logic. Pointing out the difference between propositional logic
or sentential logic and quantifier logic or predicate logic Virginia Klenk in
her book Understanding Symbolic Logic writes, " in sentential logic we take
the sententially simple sentence as an unanalyzed whole, whereas in
predicate logic we analyze these simple sentences into their component
parts" (p. 220). In order to translate or symbolize into logical forms, the
diverse language of everyday life have their own set of rules depending on
being a form of propositional or predicate logic.
Logic 229
Unit 14 Translating Everyday Language
230 Logic
Translating Everyday Language Unit 14
Logic 231
Unit 14 Translating Everyday Language
232 Logic
Translating Everyday Language Unit 14
arithmetic, we want the individual constants to denote numbers, so in such
a system the number of x's will be infinite. Let us see the symbolization of
four categorical propositions by means of using quantifiers:
Let us take the sentence "All humans are mortal." It is correctly
symbolized as (x)(Hx Mx) (where Hx ="x is human" and Mx = "x is mortal")
and is read "For all x, if x is human, then x is mortal" or "Given any x, if x is
human, then x is mortal," which is roughly what the sentence "All humans
are mortal" asserts. Similarly, "No philosopher is dishonest"---can be written
as: Given any individual thing whatever, if it is philosopher, then it is not
dishonest. Given any x, if x is a philosopher, then x is not dishonest. Given
any x, x is philosopher x is not dishonest. Thus, it is symbolized as, (x)
(Px ~ Dx).
Let us take a particular affirmative proposition: Some philosophers
are philanthropists. This sentence can be written as: There is at least one
thing that is philosopher and philanthropist. This again can be restructured
as "There is at least one thing such that it is philosopher and it is
philanthropist". To be more precise, it is formulated as: There is at least
one x such that x is philosopher and x is philanthropist. To quantify it by
quantifiers, it is to be shaped as "There is at least one x such that x is
philosopher ox is philanthropist". Thus, it can be symbolized as (x) (Px•
Hx). Similarly, "Some philosophers are not philanthropists" --- can be written
as: There is at least one thing that is philosopher but not philanthropist. It
implies, "There is at least one thing such that it is philosopher and it is not
philanthropist". To quantify it, "There is at least one x such that x is
philosopher and x is not philanthropist". Thereby, it is symbolized as, (x)
(Px • ~Hx).
More complicated symbolizations are obtained in other ways. Thus,
to symbolize the sentence "Something is both heavy and expensive," conjoin
Hx (for "x is heavy") with Ex (for "x is expensive") to get (Hx • Ex), and then
add an existential quantifier to get (x)(Hx • Ex). Similarly, to symbolize
"Something is both sweet and fattening," conjoin Sx (for "x is sweet") with
Fx (for "x is fattening") to get (Sx • Fx), and then add an existential quantifier
to get (x)(Sx • Fx).
Logic 233
Unit 14 Translating Everyday Language
ACTIVITY: 14.1
1. Everything is movable.
2. Not everything is movable.
3. Nothing is movable.
4. Everything is immovable.
5. Some people are honest.
6. Some people are not honest.
7. Some honest people are mistreated.
8. Some people are liars and thieves.
9. It's not true that some people are honest.
10. Some people are neither honest nor truthful.
11. Some things are neither expensive nor worthwhile.
234 Logic
Translating Everyday Language Unit 14
a zero (0) or lambda (). When we find that the intersection of two classes
is empty then symbolize it as sp = 0 or as s p = . For example:
1. No s is p.
S p=
2. No americans are philosophers.
a p=
I proposition is the contradictory of an e proposition. This proposition
says that one class is partially included in another class. It is expressed in
the way that there are some s's that are p's. It implies that the class of s is
partly included in the class of p. From it we understand that there is some
overlap between the class of s and the class of p. From the point of view of
members of the class there exists at least one member which is both s and
p. In other words the product of the classes s and p is not empty. Therefore,
an i proposition can be symbolized as sp 0 or as s p . For example:
1. Some s is p.
S p
2. Some americans are philosophers.
a p
3. Some frenchmen drink wine.
f w
in order to symbolize a and o proposition the concept of class
complement is used. The class complement is the class of all things not
belonging to the original class. The complement of class s is symbolized
as s (s bar). Proposition 'a' is the universal affirmative proposition. It says
that all s's are p's, that whatever is in the class of s must also fall into the
class of p. This means there can be no s that is not also a p. In other words,
all members of the class s are also the members of class p, or by obversion
it can be said as "no s is non-p." Thus this proposition says that the product
of the classes designated by its subject and predicate terms is empty. A
proposition states that the word "all" attaches itself directly to the s and not
to the p. As such, an a proposition asserts something definite about s, but
it leaves the open question of the extent of the p dominion. Thus we
Logic 235
Unit 14 Translating Everyday Language
236 Logic
Translating Everyday Language Unit 14
ACTIVITY: 14.1
Symbolize the following propositions by
means of set notations:
1. No fish are mammals.
2. All tigers are wild.
3. No man is happy and self-controlled.
4. No poem is uninteresting.
5. Some writers are mad.
6. Honest and drunk are truth tellers.
7. All trucks are vehicles.
8. No roses are daisies.
9. Some spaniels are not good hunters.
10. Some carbon compounds are not diamonds.
Logic 237
Unit 14 Translating Everyday Language
images that are affix on the playing cards such as king, queen etc. are
suggestive sign. On the other hand the signs such as: , , , ,,
, , p, q, r, s, x, y, z etc. that are used in logic and mathematics are
substitutive symbols.
L. S. Stebbing defines symbols as "A sign consciously designated to
stand for something will be called a symbol".
Uses of symbols serve different utility in the domain of logic. With the
use of symbols we may find out the form of argument adequately and
thereby validity and invalidity of argument may be determined easily
with the use of general rules.
Uses of symbols help us to remove the linguistic difficulties that are
arises from the use of ordinary language in the study of logic.
Uses of symbols help us to frame general rules and principles for the
study of argument and argument form in logic.
The use of symbols ensures clarity and economy of expression. The
uses of symbols pave the way for application of mathematical methods
into the study of logic. Virginia Klenk in her book Understanding Symbolic
Logic writes, " in sentential logic we take the sententially simple sentence
as an unanalyzed whole, whereas in predicate logic we analyze these
simple sentences into their component parts" (p. 220).
Virginia Klenk in her book Understanding Symbolic Logic writes, " in
sentential logic we take the sententially simple sentence as an
unanalyzed whole, whereas in predicate logic we analyze these simple
sentences into their component parts"
238 Logic
Translating Everyday Language Unit 14
Ans to Q No 1:
a) dot
b) existential quantifier
c) Implication
d) Intersection
e) Negation
A) Objective questions
Q 1: Symbolize the following propositions by means of set notations:
a) No fish are mammals.
b) All tigers are wild.
c) No man is happy and self-controlled.
d) No poem is uninteresting.
e) Some writers are mad.
f) Honest and drunk are truth tellers.
g) All trucks are vehicles. No roses are daisies.
h) Some spaniels are not good hunters.
Q 2: Answer the following questions
a) 'o' What is the name of this symbol?
b) x What is the name of this symbol?
c) ' ' What is the name of this symbol?
d) ? What is the name of this symbol?
B) Long questions (Answer in about 300-500 words)
Q 1: How do we symbolize categorical propositions by using set notation?
Explain
Q 2: How do we symbolize the propositions of predicate logic? Explain
Q 3: How do we symbolize ordinary language? Explain
Logic 239
Unit 15 Venn Diagram
UNIT STRUCTURE
240 Logic
Venn Diagram Unit 15
15.2 INTRODUCTION
Logic 241
Unit 15 Venn Diagram
exclusively concerned with this kind of statements and with arguments that
are formed out of these propositions. Some of the examples of categorical
propositions are:
1. All ducks swim
2. A fish is not a mammal
3. A few soldiers are heroes
4. All prisoners are not violent
In other words a categorical proposition is one in which the relation
between the subject and the predicate is without any condition. In all the
above examples it is seen that the relation between the subject and the
predicate is not subject to any condition.
A categorical proposition that expresses these relations with
complete clarity is called a standard-form categorical proposition. For
example;
All men are animal
No man is perfect
Some students are intelligent
Some men are not wise.
Here the subject and the predicate term refer to two classes and
connected by the verb 'to be'. A categorical proposition is in standard form
if and only if it is a substitution instance of one of the following four forms:
All S are P
No S are P
Some S are P
Some S are not P.
Many categorical propositions, of course, are not in standard form
because; they do not begin with the words 'all' 'no', 'or', 'some'. Categorical
propositions have to be translated into standard form before it can be
considered in logic.
The words 'all', 'no', and 'some' are called quantifiers because they
specify how much of the subject class is included in or excluded from the
predicate class. The letters S and P stand for the subject and the predicate
242 Logic
Venn Diagram Unit 15
terms respectively, and the words 'are' and 'are not' are called the copula
because they link the subject and the predicate term. Some of the important
points about the standard form categorical proposition are:
• The 'subject term' and the 'predicate term' do not mean the same
thing in logic that 'subject' and 'predicate' mean in grammar. The
subject of the example statements include the quantifier words such
as 'all', 'some' but the subject term does not. Similarly the predicate
includes the copula 'are' but the predicate term does not.
• There are exactly three forms of quantifiers (all, no, some) and two
forms of copulas (is/are, is not/are not). But in ordinary statements
various forms of the verb 'to be' are considered as copula.
Standard- form categorical proposition thus represent an ideal of
clarity in language.
LET US KNOW
Logic 243
Unit 15 Venn Diagram
suppose we take two classes viz. 'Indians' and 'Asians'. Here, we know
that all the members of the class 'Indians' are also the members of the
class 'Asians'. The class 'Indians' is included in the class 'Asians. This kind
of inclusion is called total class inclusion relation as the whole class 'Indians'
is included in the class 'Asians'. If some, not all members of one class are
also members of another, then the first class may be said to be partially
included in the second class. For example, some men are poet. If some of
the members of the first class are excluded from being the members of the
second class, then the first class is said to be partially excluded from the
second class. For example, some men are not poet. Of course, there are
two classes having no members in common. For example, No triangles are
circles. Such kind of relation is said to be total class exclusion relation.
244 Logic
Venn Diagram Unit 15
Logic 245
Unit 15 Venn Diagram
The term 'distribution' refers to the ways in which the terms can
occur in the categorical propositions. In other words, by the 'distribution' of
a term, it is meant that 'taking it universally or referring to all or parts of it'.
A term is said to be distributed if the proposition makes an assertion about
every member of the class denoted by the term; otherwise it is undistributed.
That means, in a proposition a term is distributed if it refers to all the members
of a class designated by the term. Any 'A' proposition of the form 'All S is P'
refers to all members of the class designated by its subject term 'S' but
does not refer to all the members of the class designated by its predicate
term 'P'. Hence, 'A' proposition distributes its subject term but not the
predicate term.
The form of universal negative proposition is 'No S is P'. The
universal negative proposition i.e. 'E' proposition refers to all the members
of the class designated by its subject term as well as by its predicate term.
Thus 'E' proposition distributes both the subject and the predicate term.
The form of particular affirmative proposition is 'Some S is P'. The
particular affirmative proposition i.e. 'I' proposition refers to some members
of the class designated by its subject term and some members of the class
designated by its predicate term. Thus 'I' proposition distributes neither the
subject nor the predicate.
The form of particular negative proposition is 'Some S is not P'. The
particular negative proposition i.e. 'O' proposition distributes the predicate
term but not its subject term.
Thus, 'A' proposition distributes its subject term but not the predicate
term.
'E' proposition distributes both the subject and the predicate term.
'I' proposition distributes neither the subject nor the predicate.
'O' proposition distributes the predicate term but not the subject
term.
The various relations between classes such as class inclusion or
class exclusion either affirmed or denied by the four standard form
categorical propositions can be represented by using the Venn diagram.
246 Logic
Venn Diagram Unit 15
LET US KNOW
Q 1:Answer briefly
a) What is categorical proposition?
..............................................................................................................
b) Give an example of categorical proposition?
...........................................................................................................
c) What do you mean by a class?
..............................................................................................................
d) What are the four different standard form categorical
propositions?
...............................................................................................................
Q 2: Define
a) Universal affirmative proposition
................................................................................................................
b) Particular negative proposition
................................................................................................................
Q 3: State whether the following statements are true (T) or False (F)
a) 'A' proposition distributes subject. (True/False)
b) 'E' proposition distribute predicate.(True/False)
Q 4: Fill in the blanks:
a) Standard-form categorical propositions refer to …… classes.
b) The words 'are' and 'are not' are called the ……..because
they link the subject and the predicate term.
Logic 247
Unit 15 Venn Diagram
ACTIVITY: 15.3
Ans ………………………………………………………………….....
………………………………………………………………….............
………………………………………………………………….............
………………………………………………………………….............
248 Logic
Venn Diagram Unit 15
15.9 HISTORY
Logic 249
Unit 15 Venn Diagram
250 Logic
Venn Diagram Unit 15
LET US KNOW
Logic 251
Unit 15 Venn Diagram
notion of an empty set. The symbols that represent empty class are ?
(Lambda) or O (zero). For example, when we say that "the class 'S' is
empty", it means that "the class 'S' does not have any member". We
symbolise it as S= or S= O. On the other hand, to say that the class
designated by 'S' is not empty is to say the class 'S' have members. We
symbolise the denial by drawing line through the equality sign. For example,
S or S O. It means that the class S is not empty.
The concept of complementary class is necessary to explain in this
connection. A complementary class is the collection of all things that do not
belong to the original class. For example, if S designates the class of 'all
students', then its complementary class would be "all things that are not
students" which is to be symbolised as ?. It means not S.
If two classes suppose S and P, have some members in common,
this common membership will be called the product or intersection of the
two classes; it is symbolised as SP or S P and it is read as S intersection
P. The symbol '?' is known as 'intersection. Thus the statement that claims
that the product of the two classes is empty is symbolised as SP= or
SP=O or S P =
On the other hand the statement which expresses that the product
of two classes is not empty is symbolised as SP or SP O or
S ? P =
SYMBOLISATION: The Standard form categorical propositions are
symbolised in set notation as:
A- All S is P = SP=O or SP= .
The A proposition asserts that the part of the S circle that lies outside the P
circle is empty.
E- No S is P= SP =O or SP= .
The E proposition asserts that the area where the two circles overlap
is
empty.
I-Some S is P= SP O or SP .
252 Logic
Venn Diagram Unit 15
The I proposition asserts that the area where the two circles overlap
is not empty.
O-Some S is not P= SP O or SP= . The O proposition asserts
that the part of the S circle that lies outside the P circle is not empty.
VENN DIAGRAM: After discussing the symbolization procedure,
we still need to learn how to diagram a standard form categorical proposition.
In Venn diagram, we represent a class by a circle labelled with the term
that designates the class. Thus, the class 'S' is diagrammed as shown
below:
S Figure l
It represents the class 'S' but says nothing about it. Hence to
represent the information by the class, two kinds of marks are used: (1)
shading an area and (2) Placing an X in an area. Shading an area means
that the shaded area is empty and placing an X in an area means that at
least one thing exists in that area. Thus, we shade the interior of the circle
to indicate that the class 'S' has no members. And we place an X any
where in the interior of the circle to represent that there is at least one
member of the class 'S'. This is represented by the following diagram:
X XX X
X: X
S
Figure ll Figure lll
S=O S¹O
Standard form categorical propositions have exactly two terms.
Therefore, to diagram the standard form categorical propositions two
overlapping circles are required. In all the A, E, I and O propositions the
subject and the predicate terms that represent classes are abbreviated by
Logic 253
Unit 15 Venn Diagram
S and P. Usually, the left hand circle represents the subject term (S) and
the right hand circle represents the predicate (P) term. Such a diagram
looks like this:
S P Figure iv
This figure diagrams only the two classes but does not give any
information about their class relationship. The above diagram of the two
overlapping circles represents different types of class relationship expressed
by the four kinds of categorical propositions.
Firstly, the area that designates those members of S that are not
members of P is symbolised as SP. The symbol P (P-bar) has been used to
indicate the regions which are not P
Secondly, the area that designates those members of P that are not
members of S is symbolised as SP. The symbol S (S-bar) has been used to
indicate the regions which are not S.
Thirdly the area designating members of S that are at the same
time members of P is symbolised as SP. This part represents the intersection
of the class S and P or the product of S and P i.e., all things that belong to
both S and P.
Finally, the area that designates where no members of either S or P
can be found is symbolised as SP. Diagrammatically, we may represent
this as follows:
254 Logic
Venn Diagram Unit 15
S P
Logic 255
Unit 15 Venn Diagram
A: All S is P
SP=O
E Proposition: 'E' Proposition is the universal negative proposition.
Its schematic form is -"No S is P". It asserts that no members of S are
inside P. In other words, the class S is totally excluded from the class P. It
is symbolised as SP= or SP=O. It means the common area of the circle
S and P is empty. This is represented by shading the part of the S circle
that lies inside the P circle. The diagram for the 'E' proposition is given
below:
E=No S is P
SP=O
I Proposition: 'I' proposition is the particular affirmative proposition.
Its schematic form is - "Some S is P". It asserts that there exists at least
one member in the class S and that is also a member of the class P. In
other words, the class of S is partly included in the class P. It implies the
product of the class S and P is not empty. It is symbolised as SPO or
SP . This is represented by placing an X in the area where the S and P
circles overlap. The diagram for the 'I' proposition is given below:
S P
I: Some S is P
SP O
O Proposition: 'O' proposition is the particular negative proposition.
Its schematic form is- "Some S is not P". The 'O' proposition asserts that at
256 Logic
Venn Diagram Unit 15
S P
O: Some S is not P
SP O
Logic 257
Unit 15 Venn Diagram
Proposition is the basic unit of logical thinking. There are different ways
of classifying a proposition. A proposition that relates two classes or
categories is called a categorical proposition. The classes are denoted
respectively by the subject term and the predicate term. For example,
'All students are honest', 'grass is green'.
The subject and the predicate term express different types of class
relations such as total class inclusion, total class exclusion, partial class
inclusion and partial class exclusion relations. These relations are
expressed by the four standard form categorical propositions.
The four standard form categorical propositions are: A-Universal
affirmative (All S is P), E-universal negative (No S is P), I-particular
affirmative (some S is P) and O-particular negative (some S is not P).
Thus, these four propositions are referred to as standard form categorical
propositions.
The nineteenth century English logician and mathematician John Venn
developed a system of diagrams to represent the categorical
propositions. These diagrams have come to be known as Venn
Diagrams
258 Logic
Venn Diagram Unit 15
Ans to Q No 1.
a) A proposition that relates two classes or categories is called a
Categorical proposition. For example, All ducks swim.
b) Some students are honest.
c) A class or category is a group of objects having some recognizable
common properties or characteristics which can be predicated about
all of them.
d) The four standard form categorical propositions are universal
affirmative Universal negative, particular affirmative, particular
negative. The letters A, E I and O are used as names for these four
kinds of categorical propositions respectively.
Ans to Q No 2:
a) The Universal affirmative proposition is one which asserts that the
subject class is wholly contained in the predicate class. In other
words, in a universal affirmative proposition predicate is affirmed of
the whole subject.
b) Particular negative proposition is one which asserts that some
members of a class are not members of another class. Hence, in a
particular negative proposition predicate is denied of the part of the
subject.
Ans to Q No 3:
a) True
b) False.
Ans to Q No 4:
a) Two
b) quantifiers
Ans to Q No 5:
a)
b)
Logic 259
Unit 15 Venn Diagram
C) A-All S is P= SP=O
Ans to Q No 6: A Venn diagram is an illustration of the relationships between
sets and among sets, indicated by the arrangement of the circles.
Ans to Q No 7: I) Venn diagram is used to represent the four standard
form categorical propositions. II) The technique of Venn diagram is
used to determine the validity or invalidity of syllogistic argument.
Ans to Q No 8:
S
E: No S is P
SP=O
260 Logic
Venn Diagram Unit 15
Logic 261
References: