Professional Documents
Culture Documents
III SEMESTER
CORE COURSE
SYMBOLIC LOGIC AND INFORMATICS
( 2014 Admission onwards)
(CU-CBCSS)
UNIVERSITY OF CALICUT
SCHOOL OF DISTANCE EDUCATION
Calicut university P.O, Malappuram Kerala, India 673 635.
School of Distance Education
CONTENTS
1. Preface
4. Module I - Introduction
8. Module V - Informatics
PREFACE
You are already familiar with the study materials for the Core Course PHL2B02 - Logic and Scientific Method of the II
Semester B. A. Philosophy Programme. The study materials in this section are for the Core Course IV - PHL3B04
Symbolic Logic and Informatics of the III Semester B. A. Philosophy Programme in the SDE stream. This course is
designed to make the learners familiar with the more advanced level of logic in which we use symbolic language and
signs for making logical operations more precise and clear. Hence, it is necessary to keep in mind the points of
continuity between the two courses on logic - PHL2B02 and PHL3B04. Informatics is another key component of this
course, and this will enable you to grasp the correlation between logic and computer language or the binary logic of
computer language. A keen study of these courses on Logic will definitely guide you to detect the common ambiguities
and fallacies in reasoning so that one can express and analyze thoughts and arguments in their most legible and
precise form.
The modules in the syllabus of this course contain problem-solving exercises in addition to the descriptive topics.
Hence, the learner is required to do much deskwork on the basis of the theoretical lessons in the modules. The content
of each module is prepared according to the approved model question paper. The Question Bank for conducting the
Internal Evaluation also forms a part of the course materials. The Part A of the question paper for examination contains
MCQs in the model of those given in the Question Bank. With all the best wishes for your careful and confident
performance in the examinations,
Dr. M. Ramakrishnan
Coordinator
(Chairperson, Board of Studies in Philosophy)
OBJECTIVES
Module I
Module II
Module III
To familiarize with the distinction between argument and argument form and between
statement and statement form.
To introduce the distinction between validity and invalidity.
To familiarize with the logical classification of statements.
Module IV
Module V
HIGHLIGHTS
MODULE 1 - Introduction
1.1 Traditional logic and symbolic logic- Differences
1.2 Advantages of symbolization.
1.3 The symbols for Conjunction, Negation and Disjunction.
MODULE 2 - Truth functional connectives
2.1. Compound statements
a) Difference between simple and compound statements
b) Truth functional compound statement
2.2. Truth tables for conjunction and negation
a) Finding truth values of statements containing conjunction and negation
2.3. Disjunction
a) Truth table for disjunction
b) Finding truth values of statements containing disjunction, conjunction and
negation
2.4. Implication
a) Truth table for implication
b) Finding truth values of statements containing implication, disjunction,
conjunction and negation
2.5. Equivalence
a) Material equivalence
b) Biconditional
c) Logical equivalence- truth table for De-Morgan’s theorem
MODULE 3 - Statement Forms and argument forms
3.1. Argument form- Definition, validity and invalidity
3.2. Substitution instance and specific form- Definitions
3.3. Statement forms and statements
a) Definitions
b) Classification of statements into tautology, contradictory and contingent
MODULE 4 - Formal proof of validity
4.1. Definition
4.2. Nine rules of inference
MODULE 5 - Informatics
References:
Websites:
1. http://english.answers.com/definitions/the-definition-of-logic-and-its-uses
2. http://johnmacfarlane.net/dissertation.pdf
3. http://www.classical-homeschooling.org/dialectic/logic.html
4. http://www.fecundity.com/logic
TOTAL = 80
Prepared by:
Dr. K. Syamala
Head of the Dept. of Philosophy
Sree Sankaracharya University of
Module 1 Sanskrit, Regional Center
Edat, Payyannur, Kannur (Dt.)
CONTENTS PAGES
MODULE 1 10
MODULE 1I 17
MODULE III 25
MODULE 1V 33
MODULE V 43
MODULE 1
INTRODUCTION
one that contains another statement as a component. Compound propositions are mainly
conjunctive, disjunctive, implicative and biconditional. Their symbolic forms are the
following:
Conjunction p.q
Disjunction pvq
Implication p ﬤq
Biconditional p≡q
Disjunction pvq
Implication p ﬤq
Biconditional p≡q
9. What is the main difference between variable symbols and constant symbols?
In symbolic logic, variable symbols keep on changing their value from argument to
argument. They do not have fixed values. Constant symbols do not change their value
throughout the domain of logic.
Variables are represented by letters like p, q etc. Constant symbols are the following:
Conjunction ∙
Disjunction v
Implication ⊃
Biconditional ≡
Negation ~
a) If -- then - Equivalence
b) ~ M - Weak
c) Biconditional - Implication
d) Inclusive disjunction - Negation
Answers: a) Implication b) Negation c) Equivalence d) Weak
have fixed values. For example, the symbol ‘P’ in one argument may stand for ‘You will
pass’, in another argument for ‘It is a pleasant day’, and yet in a third argument for ‘We
will go for picnic today.’ Hence, the symbol P may have different meanings in different
contexts. Many types of variables are used in modern logic such as propositional variables,
predicates variables, class variables etc.
Modern logicians began to use constant symbols that gave them the advantage of clarity,
brevity and accuracy over traditional logic. Constant symbols do not change their value
throughout the domain of logic. Common constant symbols used in logic are the following:
Negation ~
Conjunction ∙
Disjunction v
N Implication ⊃
Biconditional ≡
Conjunction ∙
Disjunction v
Implication ⊃
Biconditional ≡
pass’, in another argument for ‘It is a pleasant day’, and yet in a third argument for ‘We
will go for picnic today.’ Hence, the symbol P may have different meanings in different
contexts. Many types of variables are used in modern logic such as propositional variables,
predicates variables, class variables etc.
Modern logicians began to use constant symbols that gave them the advantage of clarity,
brevity and accuracy over traditional logic. Constant symbols do not change their value
throughout the domain of logic. Common constant symbols used in logic are the following:
Negation ~
Conjunction ∙
Disjunction v
Implication ⊃
Biconditional ≡
The main differences between traditional and symbolic logic are summarized below:
i) Traditional logic is concerned more with the relation of the subject and predicate terms
of propositions. Symbolic logic is more concerned with propositions as a unit and
propositional relations.
ii) Traditional logic is concerned with both form and matter of thought whereas symbolic
logic is purely formal in nature.
iii) Traditional logic has only a limited use of symbols, whereas there is an extensive use of
special symbols in symbolic logic.
iv) Syllogisms are central in Aristotelian logic. Instead, the internal structure of
propositions and arguments is the focus of modern logic. Hence, the set of symbols include
not only variable symbols but also the constants that represent logical connections.
v) Traditional logicians use non-mathematical methods to determine the validity of
arguments. Modern logicians adopt decision procedures that ensure mathematical precision
in analyzing arguments.
In spite of all the above differences, modern logic is not opposed to traditional logic. It is a
much improved form of traditional logic. We can say that what was implicit in Aristotelian
logic has become explicit in modern logic. The aim of all logicians, traditional as well as
modern, is to provide methods or devices to differentiate between correct and incorrect
reasoning. The difference between classical logic and symbolic logic is only of degree
rather than of kind.
SYMBOLIC LOGIC AND INFORMATICS Page 16
School of Distance Education
MODULE 2
TRUTH FUNCTIONAL CONNECTIVES
Conjunction p·q
Disjunction pvq
Implication p ﬤq
Biconditional p≡q
4. Define ‘Implication’.
Implication is the truth-functional relation between two simple propositions connected by
the phrase ‘if -- then’. For example, “If it rains, then the road will be wet”. The part of
proposition that lies in between ‘if ‘and ‘then’ is called the antecedent. That which follows
the word ‘then’ is called the consequent. The symbol “” called “horseshoe” is used to
form an implicative statement. The symbolic form of an implicative proposition is as
follows:
P⊃Q
5. Define conjunction.
Conjunction is a compound proposition in which the word “and” connects simple
statements. To connect statements conjunctively, the dot ‘∙’ symbol is used.
E.g. ‘John is intelligent and John is attentive’ is symbolized as ‘I ∙ A’
In conjunction, if both its conjuncts are true, the conjunction is true, otherwise, it is false.
6. Define negation.
Negation is the denial of a statement formed by inserting ‘not’ to show the denied part. A
negative statement means ‘it is not the case that’. The negation of P is ‘it is not the case
that P.’ The symbol ‘~’called ‘curl’ or ‘tilde’ is used to indicate negation. E.g. ~ P
Logicians treat negation as a truth functional operator rather than a connective because
negation applies directly to a single proposition.
7. Define disjunction.
Disjunction is a truth-functional connective that indicates an ‘or’ relationship between two
propositions. The component statements are called disjuncts. The symbol for disjunction is
a wedge ‘∨’. E.g. ‘Either John is careless or John is ignorant’ is symbolized as ‘C v I’.
Present the truth table for material equivalence.
Two sentences are said to be materially equivalent when they have the same truth-value.
The symbol ‘≡’ called the tribar stands for material equivalence. The truth table for
biconditional or material equivalence is as follows:
P Q P≡Q
T T T
T F F
F T F
F F T
8. Match the following:
a) Conjunction - Wedge
b) Disjunction - Tribar
c) Negation - Horseshoe
d) Implication - Tilde
e) Bi-conditional - Dot
Disjunction pvq
Implication p ﬤq
Biconditional p≡q
conjunction, if both its conjuncts are true, the conjunction is true, otherwise, it is false. The
truth table for conjunction is as follows:
P Q P∙Q
T T T
T F F
F T F
F F F
Negation:
Negation is a compound proposition in which the word ‘not” or the phrase ‘it is not the
case that’ is used. The symbol ‘~’ called “curl” or “tilde” is used to form the negation of a
statement. The truth table for negation is as follows:
P ~p
T F
F T
P Q P^Q
T T F
T F T
F T T
F F F
4. State and explain De Morgan’s Theorems.
There are two logical equivalences that express important interrelations among
conjunction, disjunction and negation. Since a conjunction of p and q assert that both its
conjuncts are true, to contradict p ∙ q is to assert that at least one is false. Thus asserting the
negation of the conjunction p ∙ q is logically equivalent to asserting the disjunction of the
negations of p and of q. This is expressed by the bi-conditional ~ ( p ∙ q ) ≡ (~ p v ~ q )
which is proved to be a tautology.
Similarly, the disjunction p v q asserts that at least one of its two disjuncts is true, it is
contradicted only by asserting that both are false. Thus asserting the negation of the
disjunction p v q is logically equivalent to asserting the conjunction of the negations of p
and of q. This is expressed by the bi-conditional ~ (p v q) ≡ (~ p ∙ ~ q).
These two equivalences are known as De Morgan’s theorems. De Morgan’s theorem is
formulated as:
a. The negation of the conjunction of two statements is logically equivalent to the
disjunction of their negations. ~ ( p . q ) ≡ (~ p v ~ q )
b. The negation of the disjunction of two statements is logically equivalent to the
conjunction of their negations. ~ ( p v q) ≡ (~ p . ~ q ) .
For example, “It will not both rain and snow tomorrow” can be translated as ~ (R ∙ S), or
it can be translated as ~R ∨ ~S. Likewise, “It will neither rain nor snow tomorrow” can be
translated as ~ (R V S) or ~R ∙ ~S.
5. Distinguish between material implication and material equivalence.
Implication is a compound proposition in which the simple statements are connected by the
phrase ‘if -- then’. For example, “If it rains, then the road will be wet”. The part of
proposition which lies in between ‘if’ and ‘then’ is called the antecedent. The part of
proposition which follows the word ‘then’ is called the consequent. The general form of an
implicative proposition is as follows: “If antecedent, then consequent”. The symbol “”
called “horseshoe” is used to form an implicative statement. The truth table for logical
equivalence is as follows:
P Q PQ
T T T
T F F
F T T
F F T
Two sentences are said to be materially equivalent when they have the same truth-value. It
is a compound proposition in which the simple statements are connected by the phrase ‘if
and only if’. The symbol ‘≡’ called the tribar stands for material equivalence. Material
equivalence is also called ‘Bi-conditional proposition’. The truth table for material
equivalence is as follows:
P Q P≡Q
T T T
T F F
F T F
F F T
P ~p ~~p p ≡ ~~p
T F T T
F T F T
is honest” does not contain any other statement as a component. Simple proposition is also
known as atomic proposition.
T F
F T
Conjunction:
Conjunction is a compound proposition in which the word “and” is used to connect simple
statements. To connect statements conjunctively, the dot “∙” symbol is used for
conjunction. In conjunction, if both its conjuncts are true, the conjunction is true,
otherwise, it is false. The truth table for conjunction is as follows:
P Q P∙Q
T T T
T F F
F T F
F F F
Disjunction:
Disjunction is a compound proposition in which the simple propositions are connected by
the word ‘or‘or the phrase ’either….or’. Example, ‘Ramesh is either intelligent or hard
working’. ‘Today is either Wednesday or Thursday’. The components of a disjunction are
called disjuncts.
Logicians recognize two kinds of disjunction - inclusive disjunction and exclusive
disjunction. A disjunction containing non-exclusive alternatives is called inclusive
disjunction. Example, ‘Ramesh is either intelligent or hard working’. The sense of ‘or’ in
inclusive disjunction is ‘at least one, both may be’. A disjunction containing exclusive
Implication:
Implication is a compound proposition in which the simple statements are connected by the
phrase ‘if -- then’. For example, “If it rains, then the road will be wet”. The part of
proposition which lies in between ‘if ‘and ‘then’ is called antecedent. The part of
proposition which follows the word ‘then’ is called consequent. The general form of an
implicative proposition is as follows: “If antecedent, then consequent”. The symbol “ ”
called “horseshoe” is used to form a implicative statement. The truth table for logical
equivalence is as follows:
P Q PQ
T T T
T F F
F T T
F F T
Bi-conditional:
Bi-conditional proposition is a compound proposition in which the simple statements are
connected by the phrase ‘if and only if’. For example, “I will go to the cinema if and only if
my friend comes with me”. Bi-conditional proposition is also called ‘material equivalence’.
The symbol ′ ≡’ called the tribar, to stand for material equivalence. The truth table for
material equivalence is as follows:
P Q P≡Q
T T T
T F F
F T F
F F T
MODULE 3
STATEMENT FORMS AND
ARGUMENT FORMS
P ~p pv~p
T F T
F T T
P Q PQ
T T T
T F F
F T T
F F T
Since we get at least one T and one F in the rows, the given proposition is contingent.
13. Define argument form.
An argument form can be defined as an array of symbols containing statement variables
but no statements, such that when statements are substituted for statement variables-the
same statement being substituted for the same statement variable throughout – the result is
an argument. An argument form is a group of sentence forms such that all its substitution
instances are arguments. For example, all substitution instances of the form are arguments,
and hence that form is an argument form.
PQ
P /∴ Q
PART - C - Paragraph answer questions
1. Explain the differences between argument and argument form.
An argument is a set of sentences, one of which (the conclusion) is claimed to be supported
by the others (the premises). Argument form is the logical structure of an argument. An
argument can be proved invalid by constructing another argument of the same form with
true premises and false conclusion. To prove the invalidity of an argument, it is sufficient
to construct another argument of the same form with true premises and false conclusion.
An argument form can be defined as an array of symbols containing statement variables
but no statements, such that when statements are substituted for statement variables-the
same statement being substituted for the same statement variable throughout – the result is
an argument.
An argument form is a group of sentence forms such that all its substitution instances are
arguments. For example, all substitution instances of the form
PQ
P /∴Q are arguments, and hence that form is an argument form. The order of the
premises in an argument is irrelevant. Thus,
PQ P
P /∴Q and P Q /∴Q both can be thought of as substitution instances of the
preceding form. Every valid argument is a substitution instance of at least one valid form.
An invalid argument cannot be a substitution instance of a valid argument form.
Truth and falsehood characterize propositions or statements. Arguments, however, are not
considered as true or false but as valid or invalid. There is a connection between the
validity or invalidity of an argument and the truth or falsehood of its premises and
conclusion. An argument is valid if and only if it is impossible for the premises to be true
and the conclusion false. In the case of a valid argument, it is impossible for the premises
to be true and at the same time the conclusion false. Validity is not about the actual truth or
falsity of the sentences in the argument but instead, it is about the form of the argument.
3. Distinguish between tautology and contradiction.
A sentence is a tautology if the column under its main connective is ‘True’ on every row of
a complete truth table. Now consider the statement - ‘It is raining or it is not raining’,
which is symbolized as ‘p v ~ p’.
The truth table for p v ~ p is represented as follows:
P ~p pv~p
T F T
F T T
P ~p p∙~p
T F F
F T F
Ans: In the case of compound statement, some will be contingent propositions, some will
be tautologies, which are always true, and some will be contradictions, which are always
false. We determine whether a given proposition is tautology, contradiction or contingent
by constructing the truth tables.
a. Tautology:
A sentence is a tautology if the column under its main connective is ‘True’ on every row of
a complete truth table. Now consider: ‘It is raining or it is not raining’ which is symbolized
as ‘p ∨ ~ p
The truth table for p v ~ p is represented as follows:
P ~p pv~p
T F T
F T T
F T F
Since we get at least one T and one F in the rows, this proposition is contingent.
The division of sentences into tautologies, contradiction and contingent sentences is of
fundamental importance. There is an important relationship between tautologies,
contradictions, and valid arguments. To every valid argument, there corresponds a
toutologous conditional sentence whose antecedent is the conjunction of the premises and
whose consequent is the conclusion. The truth values of all tautologies and contradictions
can be determine by logic alone, without appeal to experience or to any kind of empirical
test, although this is not the case for contingent sentences. Thus, the division into
tautologies, contradiction and contingent sentences is permitted to basic philosophical
questions about the way in which knowledge can be acquired.
Truth table for (P Q) ∨ ~ Q
P Q ~Q (P Q) (P Q) v ~ Q
T T F T T
T F T F T
F T F T T
F F T T T
P Q ~Q (P Q) (P Q) ∙ ~ Q
T T F T F
T F T F F
F T F T F
F F T T T
Since we get both T and F, (P Q) ∙ ~ Q is contingent.
P Q (P Q) ~ (P Q) (P Q) ∙ ~ (P Q)
T T T F F
T F F T F
F T T F F
F F T F F
Since we get only F in every row, (P Q) ∙ ~ (P Q) is contradiction.
2. Distinguish between validity and invalidity.
SYMBOLIC LOGIC AND INFORMATICS Page 29
School of Distance Education
P Q PϽQ
T T T
T F F
F T T
F F T
Since we get at least one T and one F in the rows, this statement is contingent.
MODULE 4
FORMAL PROOF OF VALIDITY
p
q
∴p∙q
∴ ~p
3. C ⊃ D
4. ~D /∴~A
5. B⊃D 2,3H.S
6. ~B 5,4 M.T
7. ~A 1,6 M.T
10. State the justification for each line that is not a premise.
1. A ∙ B
2. (A v C) ⊃D/∴A ∙ D
3. A
4. A v C
5. D
6. A ∙ D
1. A∙B
2. (A v C) ⊃ D/∴A ∙ D
3. A 1,Simplification
4. A v C 3,Addition
5. D 2,4 Modus ponens
6. A ∙ D 3,5 conjunction
11. Write a note on Hypothetical Syllogism and its symbolic form.
In pure hypothetical syllogism, all the propositions are hypothetical propositions.
For example,
If john catches the train then he will meet his family.
If he meets his family then the company will appoint new person.
Therefore, if john catches the train then the company will appoint new person.
The rules of pure hypothetical syllogism are as follows:
1) Both of the premises should have one common categorical proposition.
2) This common proposition is the antecedent in one premise and consequent in other
premise.
3) The conclusion should not have this common term, but instead it should contain the
antecedent of one premise as antecedent (other than the common term) and consequent
other premise as consequent (other than the common term)
Symbolic form
p⊃ q
q⊃ r
∴p ⊃ r
A. If it rains in time, there will be good crops. If there are good crops, then prices of
essential commodities will not increase. It rains in time. Therefore, the prices of essential
commodities will not increase.
1. R ⊃ C
2. C ⊃ ~I
3. R /∴~I
Answer
1. R ⊃ C
2. C ⊃ ~I
3. R /∴~I
4. C 1,3 M.P
5. ~I 2, 4 M.P
B. If the students protest hike in fees then either the college will withdraw extra facilities or
the government will have to spend more. The students will protest hike in fees. The college
will not withdraw extra facilities. Therefore, the government will have to spend more.
1. S⊃ (F v G)
2. S
3. ~F /∴G
4. FvG 1,2 M.P
5. G 4,3 D.S
13. State the rule of inference for the following arguments.
1. (A⊃~B) ∙ (~C ⊃ D)
∴A⊃~B
Ans. Simplification
2. E ⊃ ~F
∴ (E ⊃ ~F) v (~G ⊃ H)
Ans. Addition
Ans.
1. N⊃ M
2. M⊃ D
3. M⊃ P
4. ~P
5. N v M /∴D
6. ~M 3,4 M.T
7. ~N 1,6 M.T
8. M 5,7 D.S
9. D 2,8 M.P
3. Write a note on Disjunctive Syllogism.
Disjunctive syllogism is a mixed syllogism in which major premise is a disjunctive
proposition (Alternatives are joined by either -- or), minor premise and conclusion are
categorical propositions.
E.g. Ram is either mad or drunk.
Ram is not mad.
∴Ram is drunk.
Rules
1) First premise is disjunctive proposition.
2) Second premise is negation of one of the disjuncts of major premise.
3) Conclusion is the remaining disjunct or disjuncts.
A valid disjunctive syllogism can be one of the following types:
1) Either p or q pvq
Not p ~p
Therefore, q ∴q
2) Either p or q pvq
Not q ~q
Therefore, p ∴p
2. (G ⊃I) ∙ (H Ɔ I)
3. (I v J) ⊃ (F v H)
4. ~F /∴H
5. G v H 1, 4 D.S
6. I v J 2,5C.D
7. F v H 3, 6 M.P
8. H 4, 7 D.S
5. Construct the formal validity of the following argument.
P ⊃ ~q
~q ⊃ r
r⊃s
(p ∙ s)⊃ u /∴p ⊃ u
Ans:
1. P⊃~q
2. ~q⊃ r
3. r ⊃ s
4. (p ∙ s) ⊃ u /∴p ⊃ u
5. p ⊃ r 1,2,H.S
6. p ⊃ s 5,3H.S
7. p⊃ (p ∙ s) 6 Abs.
8. p ⊃ u 7,4 H.S
6. Briefly explain Modus ponens and Modus tollens and give its symbolic form.
Modus Ponens (Constructive hypothetical syllogism)
It is a form of hypothetical syllogism in which the minor premise affirms the
antecedent and the conclusion affirms the consequent.
Example: If a man is a Gandhian, then he is a vegetarian.
X is a Gandhian.
∴ X is a vegetarian.
Symbolic form
P
p⊃ q
Modus Tollens (Destructive Hypothetical Syllogism)
It is a form of hypothetical syllogism in which the minor premise denies the
consequent and the conclusion denies the antecedent of major premise.
Example: If he is a thief, he will hide the goods.
1. A ⊃ B
2. C⊃D
3. A ∙ C /∴B ∙ D
4. A 3 Simp.
5. B 1,4 M.P
6. A ⊃ D 1,2 H.S
7. D 4, 6 M.P
8. B ∙ D 5, 7 Conj.
9. Symbolize the given argument using the symbols given in brackets and construct the
formal proof of validity for the following.
If a tenth planet exists, then its orbit is perpendicular to that of other planets. Either the
tenth planet is responsible for the death of the dinosaurs or its orbit is not perpendicular to
that of other planets. A tenth planet is not responsible for the death of the dinosaurs.
Therefore, a tenth planet does not exist. (E, P, R)
Symbolic form:
E⊃ P
R v ~P
~R / ∴ ~E
Formal proof:
1. E⊃P
2. R v ~P
3. ~R / ∴~E
4. ~P 2, 3 D.S
5. ~E 1, 4 M.T
10. Write a note on any two of the following and present their symbolic forms.
a)Hypothetical syllogism
b) Formal proof of validity
c) Modus ponens
(Prepare the answers by collecting and arranging the relevant answers from Part B and C)
1. Define formal proof of validity and present the symbolic form of nine elementary valid
argument forms.
(Prepare the essay by collecting and arranging the relevant answers from Part B and C)
2. Present the nine rules of inference and construct the formal proof of validity for the
given argument.
(W v X)⊃Y
(W v X) ∨Z
~Y / ∴Z
(Prepare the first part of the essay by collecting and arranging the relevant answers from
Part B and C)
Answer to the second part:
1. (W v X) ⊃Y
2. (W v X) v Z
3. ~Y / ∴Z
4. ~ (W v X) 1, 3 M.T
5. Z 2, 4 D.S
3. Write a note on any two of the following and give its symbolic form.
a. Constructive Dilemma
b. Hypothetical syllogism
c. Modus Ponens and Modus Tollens
d. Disjunctive syllogism
(Prepare the essay by collecting and arranging the relevant answers from Part B and C)
3. Define formal proof of validity and construct the formal proof of validity for the
following argument using the abbreviations suggested.
If either algebra is required or geometry is required, then all students will study
mathematics. Algebra is required and Trigonometry is required. Therefore, all students will
study Mathematics. ( A: Algebra, G: Geometry, T: Trigonometry, S: study, M:
Mathematics)
(Prepare the first part of the essay by collecting and arranging the relevant answers from
Part B and C).
MODULE 5
INFORMATICS
(The informatics portions in this module are prepared on the basis of the Textbook
Informatics: Technology in Action authored by Alan Evans et al.)
NOT Gate
OR Gate
9. Present the diagrammatic representation and truth table for AND gate.
Diagram
Truth table
and a gigabyte (GB) is about a billion bytes. In the computer world, the storage needs
are so high today that some computers can store more than one quadrillion bytes, that
is, a petabyte of data. In a computer, bits and bytes represent the data and information it
inputs and outputs. All data processing is based on this special digital language used in
a computer.
3. What is ethical computing?
We have many examples of the unethical use of computers. There are stories about
cyber crimes coming out in media every day. Unexpected virus attacks and illegal
sharing of copyright protected materials are not rare today. However, it is not easy to
define what constitutes ethical behaviour while using a computer.
Ethics is a system of moral principles, rules, and accepted standards of conduct. So
what are the accepted standards of conduct when using computers? The Computer
Ethics Institute developed the Ten Commandments of Computer Ethics, which may
guide our ethical standards in the cyber world. These Ethical Computing Guidelines are
stated below:
1. Avoiding causing harm to others when using computers.
2. Do not interfere with other people’s efforts at accomplishing work with computers.
3. Resist the temptation to snoop in other people’s computer files.
4. Do not use computers to commit theft.
5. Agree not to use computers to promote lies.
6. Do not use software (or make illegal copies for others) without paying the creator
for it.
7. Avoid using other people’s computer resources without appropriate authorization or
proper compensation.
8. Do not claim other people’s intellectual output as your own.
9. Consider the social consequences of the products of your computer labour.
10. Only use computers in way that show consideration and respect for others.
4. Summarize the issue of privacy in the cyber world.
Privacy refers to the right of a person to maintain certain facts to oneself without the
knowledge of others. It is a basic human right like the right to be treated with dignity.
Unlimited privacy is the right to be left alone to do as one pleases. The idea of privacy
is often associated with hiding something. In computer terms, privacy is the right to
protect the digital data and information without giving access to others. It is indeed
necessary in the present day world of digitalized services in all areas like
communication, banking and marketing. We are using debit and credit cards for
purchasing and bank transactions. E-mail is the common means to correspondence. In
such cases, it is necessary to maintain privacy by preventing the chances of ‘identity
theft’ and phishing. Computer experts advise us to change our behaviour to protect
privacy. It is necessary to stop giving personal information to unknown internet queries.
We should take proper care to keep our cyber identity like passwords, phone numbers
and secret codes. Governments are framing cyber laws that include the rules to protect
our privacy in the cyber world.
5. Discuss the for and against arguments of the problem of privacy.
Arguments for privacy:
The advocates for protecting privacy argue that the right to privacy is a basic human
right and it should be ensured in the digital world also. The main reasons they give are
the following:
1. If I am not doing anything wrong, then you have no reason to watch me.
2. If the government is collecting information by watching citizens, it might misuse
or lose control of the data.
3. By allowing the government to determine what behaviours are right and wrong,
we open ourselves to uncertainty because the government may arbitrarily change
the definition of acceptable behaviours.
4. Requiring national ID cards is reminiscent of the former Nazi or Soviet regimes.
5. Implementing privacy controls (such as national ID cards) is extremely
expensive and a waste of taxpayer funds.
Arguments against privacy:
Advocates for stronger monitoring of private citizens emphasize national security
concerns like the prevention of terrorist activities. Personal inconvenience is just the
price for social security and peace. The main reasons they give are the following:
1. If you are not doing anything wrong, you need not hide anything.
2. Electronic identification documents are essential in the digital world to exchange
information and to detect suspected terrorists.
3. Laws protect citizens from the abuse and misuse of government officials who are
involved in monitoring activities.
4. It is not possible to put a price on freedom or security and hence projects like a
national ID system are worth the cost of implementation.
6. What is cyber addiction and explain the various terms related to cyber addiction.
Cyber addiction refers to the tendency to too much use of the computer and internet to
the extent of affecting the routine life of an individual. One who becomes too much
dependent on computer and internet is called a cyber addict. Cyber addiction is just like
any other form of addiction such as that of television, alcohol, gambling, drugs etc.
Cyber addiction is specified by many other terms, like computer addiction, cyber
relational addiction and net gaming.
Computer addiction: It may or may not include addiction towards the internet. It
particularly includes addiction towards playing computer games.
Cyber relational addiction: It refers to the addiction towards socialising though
the internet. The addict in this case finds a craving for creating online friends
through social networking sites; thus often neglecting the real social life.
Net gaming: As the name suggests, the addict in this case finds a strong craving
towards playing online games. The addict particularly finds great sense of triumph
in beating other online gamers.
7. Analyze the issues related with Information overload.
Information overload refers to the addiction towards unlimited information available
on the internet. The addict in this case has a craving for searching, reading and
storing information of his interest on the internet. It often results in stress and
anxiety related disorders. The great futurist writer Alvin Toffler in his book Future
Shock first used the term information overload. Toffler regards information overload
as a psychological disorder caused by an abundance of information availability.
The amount of information on the internet has led to an information explosion.
More and more number of internet users is becoming addicts of information
overload and they gradually enter a virtual world of websites, emails, blogs,
reviews, messengers, social networking sites etc. Indifference to day-to-day affairs,
increasing anxiety and stress are symptoms of this addiction. In order to protect
oneself from information overload it is necessary to access the information in a
systematic manner just to meet the necessary requirements.
8. Present the symbols for AND, OR and NOT gates.
AND OR NOT
1. Define ‘informatics’ and bring out of the relationship and differences between data,
information and knowledge in the digital world.
Informatics is the science of computer information system. As an academic field, it
involves the practice of information processing. As a combination of ‘information’
and ‘automatic’, informatics is also defined as the science of automating
information interactions. Informatics includes different fields like Health
informatics, Bio- informatics, Business informatics and Engineering informatics.
We are living in a world of digitalization and information overload. Computers and
accessories have become a part of our day-to-day life.
Computers are basically data processing devices that may be used in a variety of
ways. In ordinary language, we often use the terms data and information
interchangeably. However, in the world of computers, the distinction between data
and information is not that simple.
In computer terms, data is a representation of a fact or idea. Data can be a number,
a word, a picture, or even a recorded sound. For example, numbers and names are
pieces of data. Data becomes information when organized in a meaningful way. For
example, when a set of ordered numbers represent the telephone number of a
person it is information. The main functions of a computer as a data processing
machine are the following:
i) Collecting and storing data input by the user.
ii) Processing that data into information.
SYMBOLIC LOGIC AND INFORMATICS Page 49
School of Distance Education
is specified by many other terms, like computer addiction, cyber relational addiction and
net gaming.
Computer addiction: It may or may not include addiction towards the internet. It
particularly includes addiction towards playing computer games.
Cyber relational addiction: It refers to the addiction towards socializing though
the internet. The addict in this case finds a craving for creating online friends
through social networking sites; thus often neglecting the real social life.
Net gaming: As the name suggests, the addict in this case finds a strong craving
towards playing online games. The addict particularly finds great sense of triumph
in beating other online gamers.
Information overload
Information overload refers to the addiction towards unlimited information available
on the internet. The addict in this case has a craving for searching, reading and
storing information of his interest on the internet. It often results in stress and
anxiety related disorders. The great futurist writer Alvin Toffler in his book Future
Shock first used the term information overload. Toffler regards information overload
as a psychological disorder caused by an abundance of information availability.
The amount of information on the internet has led to an information explosion.
More and more number of internet users is becoming addicts of information
overload and they gradually enter a virtual world of websites, emails, blogs,
reviews, messengers, social networking sites etc. Indifference to day-to-day affairs
and increasing anxiety and stress mark the addiction to information overload. In
order to protect oneself from information overload it is necessary to access the
information in a systematic manner just to meet the necessary requirements.
Like any other technological achievement, digital technology also has the chances of both
use and misuse. Hence, Cyber ethics is the need of the day. It is necessary for cyber experts
and rulers to join hands to define the crimes and decide the punishments in the cyber
world.
3. Define logical gate and present the symbols and truth tables for AND, NOT and
OR gates.*
Logic gates are the basic building blocks of any digital system. They process
signals, which represent the binaries of true/false. Normally, the positive supply voltage
+5V represent true and 0V represents false. A logic gate has one or more input and only
one output. The input-output relationship is based on a definite logic and hence the
name logic gate. The basic logic gates are AND, NOT and OR. There are also universal
gates like NAND gate in which an AND gate is followed by a NOT gate and the NOT-
OR operation called NOR gate. Combinational gates are X-OR gate and X-NOR gate.
SYMBOLS
AND Gate
NOT Gate
OR Gate
TRUTH TABLES
AND Gate
OR Gate
NOT Gate
* For a detailed account of Logic Gates, see the following web sources:
Logic-gate, http://www.saylor.org/site/wp-content/uploads/2011/05/logic-gate.pdf
Basic logic gates, http://www.allaboutcircuits.com/worksheets/gates.html
Chapter 9 – Logic Gates
http://education.cambridge.org/media/577240/cambridge_igcse_computer_studies__rev
ision_
guide___cambridge_education___cambridge_university_press_samples.pdf