Explore BrainMass
Share

Explore BrainMass

    Quantificational formal logic

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

    (See attached file for full problem description with proper symbols)

    ---
    Premise : (Ex) (Ey) (Axy v Bxy)  (Ez) (Cz)
    Premise : (x) (y) (Cx  ~Cy)
    Conclusion : /. : (x)(y)(~Axy)

    The E's should be backwards. I couldn't find a symbol for it. The /.: means concludes
    This symbol  means implies.
    The x means for all x
    ---

    © BrainMass Inc. brainmass.com October 9, 2019, 5:33 pm ad1c9bdddf
    https://brainmass.com/math/discrete-math/quantificational-formal-logic-60729

    Attachments

    Solution Preview

    Please find the attached solution.

    Premise : (Ex) (Ey) (Axy v Bxy)  (Ez) (Cz)
    Premise : (x) (y) (Cx  ~Cy)
    Conclusion : /. : ...

    Solution Summary

    This solution is comprised of a detailed explanation to answer Quantificational formal logic problem.

    $2.19