Explore BrainMass
Share

Explore BrainMass

    Predicate logic

    This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

    PREDICATE LOGIC

    Note: For your convenience the truth tables are included. You may not need to use all of the columns in the skeleton tables.

    1. Use modus ponens or modus tollens to fill in the blanks in the arguments so as to produce a valid inference.

    If this polygon is a triangle, then the sum of its interior angles is 180.
    The sum of the interior angles of this polygon is not 180.
     ______________________________________
    Form: modus__________

    Use truth table to determine whether the argument forms in 2 and 3 are valid.
    2. p  q
    p  r
    p  q  r

    p Q r
    T T T
    T T F
    T F T
    T F F
    F T T
    F T F
    F F T
    F F F

    Final answer and explanation: _________________________
    3. p  ~q  r
    p  q
    q  p
    r

    p Q R
    T T T
    T T F
    T F T
    T F F
    F T T
    F T F
    F F T
    F F F

    Final answer and explanation: _________________________

    4. Use symbols to write the logical form for the following exercise, and then use the truth table to test the argument for validity.

    Oleg is a math major or Oleg is an economics major.
    If Oleg is a math major, then Oleg is required to take a Math 362.
    Oleg is an economics major or Oleg is not required to take a Math 362.

    p: _________________________
    q: _________________________
    r: _________________________

    Argument in symbolic form:
    _________________________
    _________________________
     _________________________

    p q r
    T T T
    T T F
    T F T
    T F F
    F T T
    F T F
    F F T
    F F F

    Final answer and explanation: _________________________
    5. Use symbols to write the logical form of the following argument. If the argument is valid, identify the rule of inference that guarantees its validity. Otherwise state whether the converse or inverse error is made.

    If this computer program is correct, then it produces the correct output when run with the test data my teacher gave me.
    This computer program produces the correct output when run with the test data my teacher gave me.
    This computer program is correct.
    p: _________________________________________________
    q: _________________________________________________
    Possible argument forms are (choose the appropriate one):
    p  q
    p
     q

    p  q
    ~q
     ~p

    p  q
    q
     p

    p  q
    ~p
     ~q

    Argument form: (copy and paste the appropriate form listed above)

    Valid or invalid? _____________________________________________

    Argument type? ______________________________________________
    (choose modus ponens, modus tollens, inverse error, or converse error)

    © BrainMass Inc. brainmass.com October 10, 2019, 8:23 am ad1c9bdddf
    https://brainmass.com/math/recurrence-relation/predicate-logic-622717

    Attachments

    Solution Preview

    PREDICATE LOGIC

    Note: For your convenience the truth tables are included. You may not need to use all of the columns in the skeleton tables.

    1. Use modus ponens or modus tollens to fill in the blanks in the arguments so as to produce a valid inference.

    If this polygon is a triangle, then the sum of its interior angles is 180.
    The sum of the interior angles of this polygon is not 180.
     _This polygon is not a triangle______
    Form: modus__tollens____

    Use truth table to determine whether the argument forms in 2 and 3 are valid.
    2. p  q
    p  r
    p  q  r

    p Q r q  r p  q p  r p  q  r
    T T T T T T T
    T T F F T F F
    T F T F F T F
    T F F F F F F
    F T T T T T T
    F T F F T T T
    F F T F T T T
    F F F F T T T

    Final answer and explanation: The rows in which ...

    Solution Summary

    This posting explains in detail how to show a argument is valid or invalid by the use of truth tables.

    $2.19