Solapur University Question Papers with Texts and Scanned Copies both in English and Hindi
B.A. – II (Semester – IV) Examination, 2014
LOGIC (I.D.S.)
Modern Logic
Day and Date : Tuesday, 22-4-2014 Max. Marks : 50
Time : 11.00 a.m. to 1.00 p.m.
Instructions : 1) All questions are compulsory.
2) Figures to the right indicate full marks.
1. Fill in the blanks with appropriate words given in the bracket : 10
1) Predicate logic is related to _________ (word, term, sentence, none of these)
2) Subject and predicate are _________ (terms, words, sentences, propositions)
3) (X) means _________ (some, all, affirmative, negative)
4) _________ is symbol of universal set. (⊃,⊂,∪,∩)
5) Propositional and _________ are kinds of modern logic. (sentence, subject,
predicate, none of these)
6) Ap is __________ proposition. (conjunction, negation, implication, singular)
7) φ this symbol is called _________ (Psy, Phi, Why, Thi)
8) ‘No men are educated’ is ________ proposition. (Universal Negative,
Universal affirmative, Existential affirmative, Existential negative)
9) ~A≡ ______ (A, E, I, O)
10) O ≡ ______ (A, ~A, E, ~E)
2. Using appropriate quantifiers and the notations given in the bracket symbolise
the following propositions (any 4). 8
1) Plato is logician. (Lx, P)
2) Aristotle is not philosopher (Px, A)
3) All pages are white (Px, Wx)
4) No Indians are Americans (Ix, Ax)
5) Some books are readable (Bx, Rx)
6) Some students are not clever (Sx, Cx).
3. Write short notes (any 4) : 12
1) Meaning of Predicate logic.
2) Nature of set.
3) Kinds of quantifiers.
4) Rules of quantifier negation.
5) Intersection set.
6) Singular proposition.
4. Explain the quantification rule of E.I. and E.G. 10
OR
Construct formal proof of the following arguments :
1) i) (X) (Mx ⊃ Nx)
ii) (∃x) (~Nx⋅ ~Ox) /∴(∃x) (~Mx⋅~Ox)
2) i) (X) (~ Ax ⊃~ Bx)
ii) (X) (~Bx ⊃~ Cx)
iii) (X) (~Cx ⊃~ Dx) /∴(X) (~ Ax ⊃~Dx)
5. Test the validity of the following syllogism by the method of Venn’s diagram. 10
1) All fruits are sweet
All mangoes are fruits
Therefore, All mangoes are sweet
2) No dogs are cats
Some lions are dogs
Therefore, Some lions are not cats
B.A. – II (Semester – IV) Examination, 2014
LOGIC (I.D.S.)
Modern Logic
Day and Date : Tuesday, 22-4-2014 Max. Marks : 50
Time : 11.00 a.m. to 1.00 p.m.
Instructions : 1) All questions are compulsory.
2) Figures to the right indicate full marks.
1. Fill in the blanks with appropriate words given in the bracket : 10
1) Predicate logic is related to _________ (word, term, sentence, none of these)
2) Subject and predicate are _________ (terms, words, sentences, propositions)
3) (X) means _________ (some, all, affirmative, negative)
4) _________ is symbol of universal set. (⊃,⊂,∪,∩)
5) Propositional and _________ are kinds of modern logic. (sentence, subject,
predicate, none of these)
6) Ap is __________ proposition. (conjunction, negation, implication, singular)
7) φ this symbol is called _________ (Psy, Phi, Why, Thi)
8) ‘No men are educated’ is ________ proposition. (Universal Negative,
Universal affirmative, Existential affirmative, Existential negative)
9) ~A≡ ______ (A, E, I, O)
10) O ≡ ______ (A, ~A, E, ~E)
2. Using appropriate quantifiers and the notations given in the bracket symbolise
the following propositions (any 4). 8
1) Plato is logician. (Lx, P)
2) Aristotle is not philosopher (Px, A)
3) All pages are white (Px, Wx)
4) No Indians are Americans (Ix, Ax)
5) Some books are readable (Bx, Rx)
6) Some students are not clever (Sx, Cx).
3. Write short notes (any 4) : 12
1) Meaning of Predicate logic.
2) Nature of set.
3) Kinds of quantifiers.
4) Rules of quantifier negation.
5) Intersection set.
6) Singular proposition.
4. Explain the quantification rule of E.I. and E.G. 10
OR
Construct formal proof of the following arguments :
1) i) (X) (Mx ⊃ Nx)
ii) (∃x) (~Nx⋅ ~Ox) /∴(∃x) (~Mx⋅~Ox)
2) i) (X) (~ Ax ⊃~ Bx)
ii) (X) (~Bx ⊃~ Cx)
iii) (X) (~Cx ⊃~ Dx) /∴(X) (~ Ax ⊃~Dx)
5. Test the validity of the following syllogism by the method of Venn’s diagram. 10
1) All fruits are sweet
All mangoes are fruits
Therefore, All mangoes are sweet
2) No dogs are cats
Some lions are dogs
Therefore, Some lions are not cats
0 comments:
Pen down your valuable important comments below