Mumbai University Solved Question Papers
Logic 1
Previous Year Question Paper with Solution
BLS LLB 5 Years · Sem 1
2019-20 Examination
munotes.in
Mumbai
Mumbai University Solved Question Papers
Logic 1
Previous Year Question Paper with Solution
BLS LLB 5 Years · Sem 1
2019-20 Examination
munotes.in
Mumbai
First published on munotes.in on 10 August 2026.
Published by munotes.in, Mumbai.
Model answers written and edited by the munotes.in editorial desk.
Passages from this volume may be quoted, in print, online or by an AI system, with credit: name munotes.in and link to this volume's page. The volume may not be reproduced as a whole. Full terms at munotes.in/content-license.
munotes.in is an independent study resource for students of the University of Mumbai. It is not affiliated with the University of Mumbai, and is not endorsed by it.
The University does not publish an official answer key for this paper. The answers in this volume are model answers, written to show how a full-mark answer is built. They are a study aid, not an authority on what an examiner marked.
The question paper reproduced here is the paper as set by the University of Mumbai at the 2019-20 examination.
The questions below are the paper as the University of Mumbai set it at the 2019-20 examination, in the order it was set.
MarksPage
MarksPage
The questions in this volume are the questions asked at the 2019-20 examination, reproduced as the University of Mumbai set them, in the order it set them. Nothing has been reworded, added or left out. Only the answers are ours. See the original question paper.
Duration 2 hours · Total marks 60 · 22 questions answered
Instructions printed on the paper
How to use this volume
Solve the paper first, under exam conditions and against the clock. Then read the answers here and mark your own. Reading a solution before attempting the question feels productive and teaches very little, because recognising an answer is not the same as being able to write one.
Q.1) Answer the following in one or two sentences
any six · (12 marks)
Answer
Inference is the mental process by which the mind passes from one or more propositions, called the premises, to another proposition, called the conclusion, which is asserted on the strength of them.
Example:
All men are mortal.
Socrates is a man.
Therefore, Socrates is mortal.
Its three marks are: two or more propositions; a relation of implication between them; and the conclusion asserted because of the premises, not merely after them.
Answer
A term is a word or a group of words which can stand as the subject or the predicate of a proposition.
Example: in "All men are mortal", both "men" and "mortal" are terms.
A term is not the same as a word. "The present Chief Justice of India" is four words and one term; and a word such as "and", "of" or "very" is not a term at all, because it cannot occupy the subject or predicate place on its own.
Answer
A proposition is a statement in which something is affirmed or denied of something else, and which is therefore necessarily either true or false.
It has three parts: the subject, the predicate and the copula. In "All men are mortal", "men" is the subject, "mortal" the predicate and "are" the copula.
Answer
Two terms are contradictory when one is the simple negative of the other, so that between them they exhaust the universe of discourse: nothing falls under both and nothing falls outside both. Examples: man and not-man; legal and illegal.
Two terms are contrary when they are the two extremes of the same series, so that they exclude each other but do not exhaust the field. Examples: white and black; rich and poor. A thing may be neither white nor black, but everything must be either white or not-white.
Answer
The paper prints "fundamentum divisions"; the term is fundamentum divisionis.
The fundamentum divisionis is the basis or principle of division: the single attribute with reference to which a genus is divided into its species.
Example: "human beings" divided on the basis of sex gives male and female; on the basis of nationality it gives Indian, French and the rest.
The governing rule is that only one fundamentum divisionis may be used at any one step. Two at the same step is the fallacy of cross-division, which Q18 of this paper sets twice.
Answer
The Law of Excluded Middle is the third of the three laws of thought. It states that everything must either be or not be: between a proposition and its denial there is no third possibility.
p v ~p
Example: an agreement either is void or is not void. There is no middle state.
Answer
Section 14 of the Indian Contract Act 1872: consent is said to be free when it is not caused by
Consent itself is defined by Section 13: two or more persons are said to consent when they agree upon the same thing in the same sense (consensus ad idem).
Section 10 makes free consent an essential of a valid contract. Consent caused by coercion, undue influence, fraud or misrepresentation makes the agreement voidable (ss.19 and 19A); a bilateral mistake of fact makes it void (s.20).
Answer
An extensive definition, also called a definition by denotation, defines a term by enumerating the individuals or the species which it denotes, instead of stating the attributes which it implies.
Example: "By a metal is meant a substance such as gold, silver, copper, iron and aluminium."
It is a verbal or nominal definition, not a real one: it shows what the word covers without saying what makes those things what they are.
Answer
Eduction is a form of immediate inference in which, from a given proposition, another proposition is inferred whose subject or predicate, or both, is either a term of the original or its contradictory, the meaning being kept unchanged.
Its kinds:
Answer
Division by dichotomy is the division of a class into two members by a pair of contradictory terms, one positive and one negative.
Examples: people into introverts and non-introverts; books into fiction and non-fiction; Indians into Hindus and not-Hindus.
Its merit is that it can never break the rules: because the members are contradictories, the division is necessarily exhaustive, by the Law of Excluded Middle, and necessarily mutually exclusive, by the Law of Contradiction. It is the only formally guaranteed division.
Its defect is that the negative member is wholly indeterminate: "non-introvert" says only what its members are not.
Q.2) Write short notes on any two
12 marks
Answer
For full marks, cover: both definitions with a worked table; the three kinds of connotation; the law of inverse variation with its limits; the terms that have one and not the other; the link to definition and division; and the legal application.
The connotation, or intension, of a term is the sum of the essential attributes which the term implies, that is, the qualities a thing must possess before the term can be applied to it.
The denotation, or extension, of a term is the range of individuals or classes to which the term applies.
| Term | Connotation | Denotation |
|---|---|---|
| Man | animality and rationality | Rama, Shyam, Fatima, every human being |
| Triangle | plane figure bounded by three straight lines | equilateral, isosceles, scalene |
| Contract | agreement enforceable by law | sale, lease, agency, bailment |
As the connotation increases, the denotation decreases, and the other way round.
man → Indian man → educated Indian man → educated Indian man practising law
Its limits. It holds only along a single line of subordination; it does not hold where the attribute added belongs to every member already, since "rational man" adds a word and removes nobody.
Proper names denote an individual and connote nothing, because they identify without describing; abstract terms connote a quality and denote no class of individuals; general terms have both.
Definition sets out the connotation, by naming genus and differentia. Division sets out the denotation, by breaking the class into species. Every step down a division is a step up in connotation, which is the inverse law stated as a procedure.
A definition clause fixes the connotation and the court decides the denotation. When a bench asks whether an e-rickshaw is a "motor vehicle", it is testing an object against a connotation the legislature has fixed. Ejusdem generis is a rule about genus and species, and therefore about connotation.
Answer
For full marks, cover: the definition with examples; why it is needed, that is, the problem of infinite terms; its two effects, on negative terms and on the truth value of propositions; the modern counterpart, the domain of quantification; and the legal application.
The universe of discourse is the whole class or field within which a particular discussion is confined, and within which the terms used in it are to be understood.
Example: in a discussion about the students of a college, the term "non-Indian" means non-Indian students, not stones or planets. The universe of discourse is the students of that college.
A negative term taken absolutely is an infinite or indefinite term: "not-man" denotes everything in existence that is not a man, which includes stones, ideas, numbers and the square root of two. A term of that kind is useless, because nothing can be predicated of so miscellaneous a class.
Fixing a universe of discourse makes the negative term determinate. Inside the universe of "living creatures", "not-man" means the other animals; inside the universe of "the members of this club", it means the other members.
1. On negative terms, and therefore on eduction. Obversion replaces the predicate by its contradictory, so it cannot be performed without negative terms, and contraposition and inversion are built on obversion. The obverse of "All members are graduates" is "No members are non-graduates", and the phrase is intelligible only because the universe is the membership and not the cosmos.
2. On the truth value of a proposition. The same words may be true in one universe and false in another. "Everything is a whole number" is true within arithmetic and false at large; "all the members are present" is true of a committee and false of the electorate. A proposition is not fully stated until its universe is fixed.
In modern logic the same idea is the domain of quantification: the set of things over which the variable ranges. "(x)(Sx ⊃ Px)" reads "for every x", and the domain says what the x's are.
Modern logic makes this explicit where traditional logic left it to context, and the gain is that the truth value of a quantified formula can be stated only relative to a stated domain.
Every statute fixes its own universe of discourse in its extent clause and its definition clause. An Act that applies "to the whole of India" has fixed the universe geographically; one that defines "employee" has fixed the class within which its terms are read. A word in a statute is therefore never read at large: "vehicle" in a Motor Vehicles Act and "vehicle" in a municipal by-law about handcarts may denote quite different classes, and neither is wrong.
Answer
For full marks, cover: the statutory definition; the leading case and its triple test; what is included and what excluded; the dominant nature test; the fate of the 1982 amendment; and, because this is a logic paper, what the definition illustrates.
Section 2(j) of the Industrial Disputes Act 1947 defines "industry" as any business, trade, undertaking, manufacture or calling of employers, and includes any calling, service, employment, handicraft, or industrial occupation or avocation of workmen.
The definition has two limbs, one looking at the employer and one at the workmen, and the words "undertaking" and "service" are wide enough to have generated fifty years of litigation.
Bangalore Water Supply and Sewerage Board v A. Rajappa (1978) 2 SCC 213, a seven-judge Bench, laid down the triple test. An activity is an industry where there is:
The Court added three points that decide most cases. Absence of a profit motive is irrelevant, so charities and non-profit bodies are not excluded. The nature of the activity is decisive, not the character of the employer. And professions, clubs, educational institutions, co-operatives, research institutes and charitable projects all fall within the definition if they satisfy the triple test.
Where an undertaking carries on several activities, some of which would be industry and some not, the Court applied a dominant nature test: look at the predominant activity of the whole and characterise the undertaking by it, rather than dissecting each department.
Parliament tried to overturn parts of the decision by substituting a new definition of "industry" through the Industrial Disputes (Amendment) Act 1982, which expressly excluded hospitals, educational institutions and some others. That amendment has never been brought into force, so the definition in Section 2(j) as interpreted in Bangalore Water Supply continues to govern.
Answer
For full marks, cover: what division is and its three elements; all five rules with the fallacy each excludes and a worked breach; division against partition; dichotomy; and a legal illustration.
Logical division is the process of separating a class, the genus, into the sub-classes or species contained under it, on the basis of a single attribute.
Its three elements are the totum divisum, the whole divided; the membra dividentia, the dividing members; and the fundamentum divisionis, the single attribute on which the division rests.
Division sets out the denotation of a term, as definition sets out its connotation.
Rule 1. Only one fundamentum divisionis at each step. Fallacy: cross-division. Breach: "Books into English, historical and cheap."
Rule 2. The dividing members must be mutually exclusive. Fallacy: overlapping division. Breach: "Human beings into men, women and doctors."
Rule 3. The division must be exhaustive. Fallacy: incomplete division. Breach: "Triangles into equilateral and isosceles", which omits the scalene.
Rule 4. The division must proceed step by step, to the proximate species. Fallacy: saltus in dividendo. Breach: "Literature into poetry, drama and the novel."
Rule 5. Every dividing member must be a species of the genus divided. Fallacy: partition mistaken for division. Breach: "Umbrella into rod, handle, spokes and cloth."
Division separates a class into kinds; partition separates an individual object into its parts. The test is to predicate the name of the whole of each member: "an epic is a poem" passes, "a handle is an umbrella" fails. Partition is not a fault in itself, only when offered as a logical division.
Division by a pair of contradictory terms. It can never break rules 2 or 3, because contradictories are exclusive and exhaustive, which makes it the only formally guaranteed division; its defect is that the negative member is indeterminate.
Nuisance divided into public and private, on the single basis of who is affected, satisfies every rule. Where a taxing or licensing schedule mixes bases, its entries overlap, an assessee falls under two at once, and litigation follows.
Q.3) Attempt any two questions
12 marks
Answer
| Form | Proposition | Subject | Predicate |
|---|---|---|---|
| A | All S is P | distributed | undistributed |
| E | No S is P | distributed | distributed |
| I | Some S is P | undistributed | undistributed |
| O | Some S is not P | undistributed | distributed |
Universals distribute the subject; negatives distribute the predicate.
All eligible persons are graduates. (A proposition)
Distributed: the subject, "eligible persons", only.
Reason: this is an exclusive proposition, marked by "alone", and the rule is that "Only S is P" becomes "All P is S": the terms change places when the exclusive sign is removed. The sentence asserts that nobody outside the class of graduates is eligible; it does not assert that every graduate is eligible, and writing "All graduates are eligible" would be a different and stronger proposition.
Some Indian wrestlers are not long-lived persons. (O proposition)
Distributed: the predicate, "long-lived persons", only.
Reason: "Few" is not "a few". "Few S are P" carries a negative force, meaning not many, that is, that most are not, so the proposition is a particular negative. A negative distributes its predicate.
All persons who hold such opinions are ignorant persons. (A proposition)
Distributed: the subject, "persons who hold such opinions", only.
Reason: the same exclusive rule as item (i). "Only" marks the exclusive proposition, and the terms change places.
Answer
Identification: a compound proposition; the connective is the biconditional, or material equivalence.
Symbolic form: p ≡ q
Equivalently (p ⊃ q) · (q ⊃ p), since the biconditional is the conjunction of the two conditionals.
Truth table
| p | q | p ⊃ q | q ⊃ p | p ≡ q |
|---|---|---|---|---|
| T | T | T | T | T |
| T | F | F | T | F |
| F | T | T | F | F |
| F | F | T | T | T |
Reading of the table: the biconditional is true when both components have the same truth value. It is contingent.
What the proposition claims: reaching in time is asserted to be both a sufficient and a necessary condition of catching the plane. The third row is what makes that strong: someone who reaches in time and still misses the plane falsifies it.
(1) No athletes are bookworms. (Ax, Bx)
(x)(Ax ⊃ ~Bx), an E proposition. Equivalently ~(∃x)(Ax · Bx).
(2) Not every applicant was hired. (Ax, Hx)
~(x)(Ax ⊃ Hx), equivalently (∃x)(Ax · ~Hx), an O proposition.
(3) All that glitters is not gold. (Gx, Ax)
The sentence has two readings and both should be given.
Taken word for word it is "All glittering things are not gold", an E proposition: (x)(Gx ⊃ ~Ax).
Taken in its proverbial sense it is "Not everything that glitters is gold", an O proposition: ~(x)(Gx ⊃ Ax), equivalently (∃x)(Gx · ~Ax).
The idiomatic reading is the intended one, because gold does glitter, so the E reading is false and the proverb is not asserting a falsehood.
A note on the key: the paper gives Ax for "is gold", where Gx would be the natural letter and Gx has been used for "glitters". The answer follows the key as printed, because a symbolisation is judged by consistency and not by whether the letters are mnemonic.
Answer
Fallacy: the genus is wrong, and the definition is at once too wide and too narrow. It breaks rules 1 and 3.
Reasons: alcohol is not a species of medicine. It is a chemical compound which is sometimes used medicinally, and a use is not a genus: sugar is used as a preservative and is not a kind of preservative. Because the genus is misassigned there is no differentia at all, and the definition tells a reader nothing that would let him recognise alcohol.
It is too narrow, because alcohol used as a fuel or a solvent is no less alcohol; and too wide, because a great many things are kinds of medicine and are not alcohol.
Corrected: alcohol is a colourless volatile liquid formed by the fermentation of sugars, and the intoxicating constituent of wine, beer and spirits.
Fallacy: the definition is too narrow, and the added word is an accident, not part of the differentia. It breaks rules 3 and 1.
Reasons: the classical definition is "man is a rational animal", with animal as the proximate genus and rational as the differentia, and it is exactly co-extensive. Adding "civilized" shuts out every human being who is not civilised, which is a counter-instance and proves the definition too narrow.
Being civilised is also an accident and not an essential attribute: a man does not cease to be a man by being uncivilised, whereas he would cease to be a man by being irrational. A differentia must name what makes the species what it is.
Corrected: strike the added word. Man is a rational animal.
Fallacy: the definition is figurative. It breaks rule 4, and it is not really a definition at all.
Reasons: the line is Wordsworth's and it means that the character formed in childhood shapes the adult. As a definition it is absurd, since no child is literally anybody's father, and it states no genus and no differentia. A definition must be clearer than the term defined, and this offers a paradox in place of an analysis.
Answer
Fallacy: cross-division, and the members are not mutually exclusive.
Reasons: two bases at one step. Indians and Chinese divide mankind by nationality; "educated" divides it by education. Rule 1 is broken, and rule 2 falls with it, because an educated Indian belongs to two members at once. The list is also not exhaustive on either basis, since the rest of the world's nationalities are unnamed.
Fallacy: the division is incomplete.
Reasons: one basis is used, the length of the sides, so rule 1 is satisfied. But the scalene triangle, which has no two sides equal, appears nowhere, and it is one of the three species the basis yields. The members therefore fall short of the genus and rule 3 is broken.
Corrected: triangles into equilateral, isosceles and scalene.
A further note worth a mark: on the strict definition an equilateral triangle also satisfies the definition of an isosceles triangle, since it has at least two equal sides, so the two members as usually understood are not perfectly exclusive either. That is a defect of the terms rather than of the basis, and the usual convention treats isosceles as having exactly two equal sides in order to keep the three species apart.
Fallacy: cross-division of the worst kind, and the members overlap completely.
Reasons: four bases are used at one step: colour, weight, malleability and value. Every member answers a different question, and silver is white, heavy, ductile and precious all at once, so it belongs to all four members. Nothing has been sorted. The list is also not exhaustive on any of the four bases.
Q.4) Answer the following questions in detail. Any one question from 'a', 'b', 'c' and 'd' is compulsory
24 marks
Answer
For full marks, cover: the question in the order it is asked. First the science-and-art question, answered as "both" with the sense of each; then the nature under its remaining heads; then the scope; then the significance in law courts, which is the specific tail; then the limits and a conclusion.
A science is a systematic body of general truths about some subject matter, arranged so that the later truths follow from the earlier. Logic is one: its truths about terms, propositions and inference are general, systematic and connected, and the whole of the syllogism follows from the distribution table.
⚠️ But it is a normative science, not a positive one. Physics and psychology describe what is; logic sets up a standard and judges by it, saying what ought to be. It belongs with ethics and aesthetics.
An art is a body of rules for doing something. Logic lays down rules for the practice of reasoning: how to define, how to divide, how to reduce a sentence to logical form, how to test a syllogism, how to detect a fallacy. Its rules are useful or useless, not true or false.
The relation is that of theory to practice, and the standard comparisons carry it: anatomy is a science, surgery the art founded on it; physiology is a science, medicine the art. The science states what valid reasoning is; the art tells you how to reason validly and how to catch someone who has not.
Logic is therefore both, and the question is never "which". Indeed it must be both, because a normative science is worthless unless its standard can be applied, and applying a standard is an art.
Formal. Validity is a property of the structure of an argument, not of the truth of its premises, which is why one test serves an argument about crows and an argument about contracts.
General. Every discipline reasons; logic examines reasoning itself, and is called the science of sciences, though it is the science of their method and not their master.
Deductive logic: terms, propositions, immediate inference (opposition and eduction), mediate inference (the syllogism), and modern symbolic logic. Inductive logic: observation and experiment, causation, hypothesis, Mill's methods, analogy, simple enumeration, probability. Applied logic: definition, division, classification, scientific method and the fallacies.
1. The judgment is a syllogism. Rule of law as major premise, facts as found as minor, order as conclusion. Because the form is a syllogism, the distinction between an appeal on law and an appeal on fact is the distinction between attacking the major and attacking the minor.
2. Refuting a rule needs only its contradictory. To answer "all agreements of this kind are void", counsel need not prove "none is void"; "some are not void" suffices, and one instance proves it. That is what a distinguishing case does.
3. Circumstantial evidence is applied induction. The conditions in Sharad Birdhichand Sarda v State of Maharashtra AIR 1984 SC 1622, that the chain be complete and exclude every hypothesis but guilt, are Mill's method of elimination in judicial dress.
4. Precedent is argued by analogy, and the relevance test of a good analogy is the whole technique of following and distinguishing.
5. Interpretation is applied connotation and denotation. A definition clause fixes the connotation; the court decides the denotation.
6. Cross-examination is a search for contradiction, that is, for two propositions from one witness that cannot both be true.
7. Naming a fallacy answers it: ad hominem, ad misericordiam, petitio principii, ignoratio elenchi, and the undistributed middle.
Logic tests validity; it does not supply the premises, and it cannot say what the law ought to be. As Holmes wrote in The Common Law (1881), the life of the law has not been logic but experience. Logic is necessary and not sufficient.
Logic is a science because it is a systematic body of truths about valid inference, and an art because it lays down rules for using them; it is normative, formal and general besides. In a court it is not an ornament: the judgment is cast in its form, refutation depends on its rules of opposition, and the appreciation of circumstantial evidence follows its inductive canons.
Answer
For full marks, cover: what the fourfold classification is; quantity with its sign words; quality with the rule about the copula; the four forms with examples and the origin of the letters; the distribution table with the reasoning behind each cell; the propositions that do not fit, with their reductions; the uses of the classification; and the modern re-expression.
The fourfold classification divides categorical propositions into A, E, I and O, by combining the two divisions of quantity with the two divisions of quality. It is the foundation of traditional deductive logic, because opposition, eduction and the syllogism are all stated in terms of these four.
Settled by how much of the subject is spoken of.
Settled by whether the copula joins or separates. Affirmative or negative.
⚠️ The quality is carried by the copula and nothing else. "All men are not-honest" is affirmative with a negative predicate.
| Form | Quantity | Quality | Type | Example |
|---|---|---|---|---|
| A | Universal | Affirmative | All S is P | All advocates are graduates |
| E | Universal | Negative | No S is P | No advocates are graduates |
| I | Particular | Affirmative | Some S is P | Some advocates are graduates |
| O | Particular | Negative | Some S is not P | Some advocates are not graduates |
The letters come from the Latin AffIrmo, I affirm, and nEgO, I deny.
| Form | Subject | Predicate |
|---|---|---|
| A | distributed | undistributed |
| E | distributed | distributed |
| I | undistributed | undistributed |
| O | undistributed | distributed |
Universals distribute the subject; negatives distribute the predicate.
The reasoning. "All men are mortal" speaks of every man, so the subject is distributed; it does not speak of every mortal, so the predicate is not. "No men are angels" shuts men out of the whole class of angels, because to exclude a thing from a class is to exclude it from every member, so both terms are distributed.
| As written | Reduced | Form |
|---|---|---|
| Birds fly | All birds are creatures that fly | A |
| Graduates alone are eligible | All eligible persons are graduates | A |
| As written | Reduced | Form |
|---|---|---|
| All but minors are competent | All non-minors are competent, AND no minors are competent | A and E |
| Few wrestlers are long-lived | Some wrestlers are not long-lived persons | O |
| A few wrestlers are long-lived | Some wrestlers are long-lived persons | I |
| Jackfruits are never green | No jackfruits are green things | E |
| Socrates is wise | Treated as universal affirmative | A |
Modern logic keeps the four and writes them with quantifiers: (x)(Sx ⊃ Px), (x)(Sx ⊃ ~Px), (∃x)(Sx · Px), (∃x)(Sx · ~Px). A universal is read as a denial asserting nothing to exist, so A no longer implies I and E no longer implies O.
The fourfold classification is quantity and quality taken together, and it is the smallest scheme that will carry the traditional machinery of inference. Two questions, each with two answers, give four forms; the four forms give the distribution table; and the distribution table gives most of the rules of traditional logic.
Answer
For full marks, cover: both definitions, since the question asks for two; the two branches of immediate inference; the strict conditions of opposition; the four forms; the drawn square; each relation with its rule and an illustration; the complete table of inferences; the modern square; and a legal illustration.
Immediate inference is an inference drawn from a single premise, without the help of a middle term: the conclusion follows directly from one proposition.
It has two branches:
The contrast is with mediate inference, which needs two or more premises and a middle term, as the syllogism does.
Opposition is the relation between two propositions which have the same subject and the same predicate, but which differ in quantity, or in quality, or in both.
Three conditions are strict: the subject term must be the same, the predicate term must be the same, and both must be taken in the same sense and at the same time.
Taking S as advocates and P as graduates:
| Form | Name | Proposition |
|---|---|---|
| A | Universal affirmative | All advocates are graduates |
| E | Universal negative | No advocates are graduates |
| I | Particular affirmative | Some advocates are graduates |
| O | Particular negative | Some advocates are not graduates |
Diagram: draw a square with A at the top left, E at the top right, I at the bottom left and O at the bottom right. The top edge is contraries, the bottom edge sub-contraries, the two sides subalterns, and the two diagonals contradictories. The drawing is reproduced at the end of this answer.
1. Contradictories: A with O, E with I. Differing in both quantity and quality. Neither both true nor both false.
Illustration: if all advocates are graduates then it is false that some are not, and a single advocate without a degree settles both at once.
2. Contraries: A with E. Both universal, differing in quality. Not both true, but possibly both false.
Illustration: "All students are honest" and "No students are honest" both fail wherever the class is mixed, which is why the falsity of one leaves the other doubtful.
3. Sub-contraries: I with O. Both particular, differing in quality. Not both false, but possibly both true.
Illustration: if it is false that some advocates are graduates, then none is, so it must be true that some are not.
4. Subalterns: A with I, E with O. Same quality, differing in quantity. Truth descends and falsity ascends.
Illustration: if all advocates are graduates, certainly some are; but if it is false that all are, the particular remains doubtful.
| Given | A | E | I | O |
|---|---|---|---|---|
| A true | true | false | true | false |
| A false | false | doubtful | doubtful | true |
| E true | false | true | false | true |
| E false | doubtful | false | true | doubtful |
| I true | doubtful | false | true | doubtful |
| I false | false | true | false | true |
| O true | false | doubtful | doubtful | true |
| O false | true | false | true | false |
"Doubtful" is a result, not an evasion.
The traditional square assumes the subject class has members. Modern logic reads a universal as a denial, so A no longer implies I nor E O, subalternation fails, and contrariety and sub-contrariety fail with it. Only the two diagonals survive.
Take S as agreements with a minor, P as void agreements. A is the law after Mohori Bibee v Dharmodas Ghose (1903) 30 IA 114; O is its contradictory and false; E is its contrary and false; I is its subaltern and true.
The practical use: to defeat a rule stated as "all X are Y", establish its contradictory, which one instance proves.
Answer
For full marks, cover: each item with the form of the given proposition named, both answers written out where they exist, and the rule that produces each; and the two items where what is asked cannot be given, answered with the reason and with the relation that does exist.
Opposition: contradictories are A with O and E with I; contraries are A with E; sub-contraries are I with O; subalterns are A with I and E with O.
⚠️ Contrariety belongs to the two universals; sub-contrariety to the two particulars; subalternation runs downward from universal to particular.
Conversion: A converts by limitation to I; E and I convert simply; O cannot be converted.
Obversion, which changes the quality and replaces the predicate by its contradictory, works for every form.
An A proposition.
An E proposition.
An I proposition.
An I proposition.
An A proposition.
An I proposition.
No. These are model answers written by munotes.in for study use. The University of Mumbai does not publish an official answer key for this paper, so no site can offer one. Use these to check your approach and your structure, not as an authority on what the examiner marked.
Yes. Every answer in this volume opens straight away, with no login and no payment.
Solve the paper first under exam conditions, then read the answers. Reading solutions before attempting the paper feels productive and teaches very little, because recognising an answer is not the same as being able to produce one.
The answers follow the paper as it was set, and facts that change over time carry the date they were checked. Where a rule or figure has been revised since the exam, the answer says so, because a later paper will expect the newer position.
Yes. Quote freely, with credit: name munotes.in and link to this page. That is the whole license, for people and for AI systems alike. Republishing the volume as a whole is not permitted. Full terms at https://www.munotes.in/content-license
This volume prints the 2019-20 Logic 1 paper set by the University of Mumbai for BLS LLB 5 Years Sem 1, with a model answer to each of its 22 questions.
Written and edited by the munotes.in editorial desk. Published by munotes.in, Mumbai.
10 August 2026.
Also from munotes.in
Found an error in this volume? Report it and we will check it against the paper.