Southern New Hampshire University Formal Logic Basic Predicate Logic Journal

Instructions

Below are basic arguments in English. Choose one argument and translate the argument into the symbolism of Predicate Logic. Refer to the translation chart on page 481 of your text for help translating. Then, Use one of the Indirect proof techniques combined with Rules of Inference and Equivalence from Chapter 8 to demonstrate the validity of the argument.Next, construct an alternate proof. In other words, if the proof was done using RAA, now use CP; if you used CP, now use RAA. Consider the following questions, as well, in your journal response:

  • Will a direct proof work for any of these (ie. a proof that doesn’t rely on making assumptions as CP and RAA do)?
  • Can the proof be performed more efficiently by using different Equivalence rules?
  • Arguments:

    There are rights that cannot be waived. But alienable rights can be waived. It follows that some rights are inalienable. (Rx: x is a right; Wx: x can be waived; Ax: x is an alienable right)All contingent beings are causally dependent. No necessary beings are causally dependent. Every physical entity is contingent. All atoms are physical entities. We may conclude that no atom is a necessary being. (Cx: x is a contingent being; Dx: x is causally dependent; Nx x is a necessary being; Px: x is a physical entity; Ax: X is an atom)There is an entity that is more powerful than all entities. Therefore, at least one entity is more powerful than itself. (Mxy: x is more powerful than y)

  • All brain processes are physical processes. No mental processes are tangible. Therefore, every brain process that is a mental process is also an intangible process. (Bx: x is a brain process; Px: x is a physical process; Mx: x is a mental process; Tx: x is tangible.
  • Calculate your order
    Pages (275 words)
    Standard price: $0.00
    Client Reviews
    4.9
    Sitejabber
    4.6
    Trustpilot
    4.8
    Our Guarantees
    100% Confidentiality
    Information about customers is confidential and never disclosed to third parties.
    Original Writing
    We complete all papers from scratch. You can get a plagiarism report.
    Timely Delivery
    No missed deadlines – 97% of assignments are completed in time.
    Money Back
    If you're confident that a writer didn't follow your order details, ask for a refund.

    Calculate the price of your order

    You will get a personal manager and a discount.
    We'll send you the first draft for approval by at
    Total price:
    $0.00
    Power up Your Academic Success with the
    Team of Professionals. We’ve Got Your Back.
    Power up Your Study Success with Experts We’ve Got Your Back.
    WeCreativez WhatsApp Support
    Our customer support team is here to answer your questions. Ask us anything!
    👋 Hi, how can I help?