Nothing Special   »   [go: up one dir, main page]
Scribd Logo
Upload

Welcome to Scribd!

  • 51 views

    Assignment 1

    Uploaded by

    nancy9hong
    This document is an assignment for a course on formal logic. It contains 10 questions assessing students' understanding of key concepts in logic like validity, truth tables, symbolization, and the distinction between object language and metalanguage. Students are asked to define terms, evaluate arguments, complete truth tables, and symbolize passages in sentential logic.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd

    Assignment 1

    Uploaded by

    nancy9hong
    51 views2 pages
    This document is an assignment for a course on formal logic. It contains 10 questions assessing students' understanding of key concepts in logic like validity, truth tables, symbolization, and the distinction between object language and metalanguage. Students are asked to define terms, evaluate arguments, complete truth tables, and symbolize passages in sentential logic.

    Original Description:

    phil240 university of waterloo

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    This document is an assignment for a course on formal logic. It contains 10 questions assessing students' understanding of key concepts in logic like validity, truth tables, symbolization, and the distinction between object language and metalanguage. Students are asked to define terms, evaluate arguments, complete truth tables, and symbolize passages in sentential logic.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    51 views2 pages

    Assignment 1

    Uploaded by

    nancy9hong
    This document is an assignment for a course on formal logic. It contains 10 questions assessing students' understanding of key concepts in logic like validity, truth tables, symbolization, and the distinction between object language and metalanguage. Students are asked to define terms, evaluate arguments, complete truth tables, and symbolize passages in sentential logic.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    You are on page 1of 2

    Assignment 1

    PHIL240 Introduction to Formal Logic


    Spring 2017

    1. What is the value of logic? How can logic be used? (2 marks)

    2. T F A material conditional with a truth-functionally false conse-


    quent must itself be truth-functionally false. Explain(2 marks)

    3. T F A sentence is truth-functionally indeterminate if and only if its


    negation is truth-functionally indeterminate. Explain (2 marks)

    4. Explain validity in terms of truth-functional consistency/inconsistency.


    (3 marks)

    5. Put the following argument into standard form. (5 marks)

    Two people who contradict each other cannot both be lying. The
    two witnesses are contradicting each other. So one of them must
    be lying.

    6. Why is it important to distinguish between the object language and


    metalanguage? (3 marks)

    7. What is an atomic sentence? (3 marks)

    8. Symbolize the following passage in SL using the symbolization key pro-


    vided. (10 marks)

    Greg is either lazy or incompetent. If he is lazy, then the job isnt


    going to get done. If he is incompetent, then hell mess things
    up. But Greg doesnt mess things up. So it must be the case that
    Greg is lazy.

    L: Greg is lazy
    I: Greg is incompetent

    1
    J: Greg gets the job done.
    M: Greg messes things up.

    9. Complete the following truth table for the following set of sentences to
    determine whether it is truth-functionally consistent or inconsistent.
    Be sure to state your answer and say what about the table shows your
    answer to be correct. If I cant tell the difference between your Ts and
    Fs, I cant mark it. (10 marks)
    {A (B (C A)), B A}

    10. Use a truth table to show whether the following pair of sentences are
    truth-functionally equivalent. Be sure to state your answer and say
    what about the table shows your answer to be correct. If I cant tell
    the difference between your Ts and Fs, I cant mark it. (10 marks)
    {A (A A), (A A)}

    You might also like