Explore BrainMass

Explore BrainMass

    Truth Tables and Translation in Symbolic Form

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

    1. Determine whether ~ [~ (p V ~q) <=> p V ~q. Explain the method(s) you used to determine your answer.

    2. Translate the following argument into symbolic form. Determine whether the argument is valid or invalid. You may compare the form of the argument to one of the standard forms or use a truth table.

    If Spielberg is the director, then the movie should be good.
    Spielberg didn’t direct the movie, so it probably isn’t good.

    4. Construct one truth table that contains truth values for all of the given statements and determine which of the statements, if any, are logically equivalent.

    (a) (~p) V (~q) (b) (~p) ^ (~q) (c) ~(p V q)

    5. Use the following statements for p and q to illustrate De Morgan’s laws.
    p: The moon is round
    q: The night is dark.

    6) Use Euler diagrams to determine the validity of the arguments
    All squares are rectangles
    All rectangles are quadrilaterals
    Some quadrilaterals are equilateral
    Therefore, all squares are equilateral.

    © BrainMass Inc. brainmass.com October 9, 2019, 7:17 pm ad1c9bdddf


    Solution Summary

    The solution contains the answers to various questions in mathematical logic concerning De Morgan's Laws, validity of arguments, symbolic forms etc.