Scribd Logo
Upload

Welcome to Scribd!

  • Birla Institute of Technology & Science, Pilani

    Uploaded by

    No12n533
    3 views2 pages
    This document appears to be an exam for a Symbolic Logic course, containing 8 questions on various topics in logic: 1) The first question defines proposition and compares categorical, compound, and general propositions with examples. 2) The second question discusses the nature of the modern square of opposition in quantification logic. 3) The third question symbolizes and tests the validity of two syllogisms. 4) The fourth question symbolizes statements in propositional and quantification logic as well as logic of relations. 5) The fifth and sixth questions require constructing formal proofs of validity for arguments using propositional and quantification logic. 6) The seventh question proves the invalidity of an argument using

    Original Description:

    h

    Original Title

    PHIL_C221_487_C_2009_1

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document appears to be an exam for a Symbolic Logic course, containing 8 questions on various topics in logic: 1) The first question defines proposition and compares categorical, compound, and general propositions with examples. 2) The second question discusses the nature of the modern square of opposition in quantification logic. 3) The third question symbolizes and tests the validity of two syllogisms. 4) The fourth question symbolizes statements in propositional and quantification logic as well as logic of relations. 5) The fifth and sixth questions require constructing formal proofs of validity for arguments using propositional and quantification logic. 6) The seventh question proves the invalidity of an argument using

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    3 views2 pages

    Birla Institute of Technology & Science, Pilani

    Uploaded by

    No12n533
    This document appears to be an exam for a Symbolic Logic course, containing 8 questions on various topics in logic: 1) The first question defines proposition and compares categorical, compound, and general propositions with examples. 2) The second question discusses the nature of the modern square of opposition in quantification logic. 3) The third question symbolizes and tests the validity of two syllogisms. 4) The fourth question symbolizes statements in propositional and quantification logic as well as logic of relations. 5) The fifth and sixth questions require constructing formal proofs of validity for arguments using propositional and quantification logic. 6) The seventh question proves the invalidity of an argument using

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 2

    BIRLA INSTITUTE OF TECHNOLOGY & SCIENCE, PILANI First Semester - 2009-2010 SYMBOLIC LOGIC PHIL C221 Comprehensive Examination

    Room No. 1207/1208/1209 Max Marks 40.0 Date: 07.12.2009 Duration 3 Hours 1. Define proposition. State and compare the nature of categorical proposition, compound proposition, and general proposition. Use examples to strengthen your answer. (4.0) 2. State and discuss the nature of Modern Square of Opposition in Quantification Logic. (4.0) 3. Put each of the following syllogisms into standard form, name its mood and figure, and test its validity by means of Syllogistic Rules. (a) No television stars are certified public accountants, but all certified public accountants are people of good business sense; it follows that no television stars are people of good business sense. (b) Some conservatives are not advocates of high tariff rates, because all advocates of high tariff rates are Republicans, and some Republicans are not conservatives. (4.0 2 = 8.0) 4. Symbolize the following statements: Modern Propositional Logic a) If it is not the case that India mobilizes support, then Pakistan will protest to the UN and China will call for a meeting of all the Asian states. b) If neither India mobilizes support nor Pakistan will protest to the UN, then China will not call for a meeting of all the Asian states. Quantification Logic c) Any dog that is gentle has been well trained. d) Dogs and cats bite if they are either angry or frightened. Logic of Relations e) Bhiwani is between Rohtak and Pilani. f) Nothing attracts anything. (6.0) 5. Construct a formal proof of validity (but not CP or IP) for the following argument: M N O P /(M v O) (N v P) (5.0) 6. Construct an indirect proof of validity (but not FP or CP) for the following argument: (P v Q) (R S) (S v T) U PvT /U (3.0)

    7. Prove the invalidity of the following argument, using a model containing two elements a and b. All cricketers are rich. Some film actors are rich. Therefore, all cricketers are film actors. (4.0) 8. Answer the following with the help of examples: a) Symbolization and description of Universal Quantifier and Existential Quantifier in Quantification Logic b) Symbolization and description of individuals and relations in Logic of Relations (3.0 2 = 6.0)

    You might also like