Results 1 to 4 of 4

Thread: proving logic

  1. #1
    Newbie
    Joined
    Mar 2017
    From
    London
    Posts
    2

    proving logic

    Hi everyone, does anyone know what the solutions to these questions would be? I am really struggling with this particular piece of homework, so would appreciate any help or explanations. I have to prove that the following statements are valid in proven logic. Thank you
    = not → = if/ then
    (P & Q) : (Q & P) (6)
    P → Q: Q → P (6)
    : (P →Q) → (Q →P) (5) Principle of transposition
    Q → R : (Q →P) →(P →R) (9)
    (P & Q) →R : R →(P →Q) (11)
    P: [((Q → R) →P)] →[( R →Q)] (9)
    P, Q: (P →Q) (6)
    P, P : Q (8)
    : P → (P →Q) (10) Law of Dun Scotus
    P → P : P (11)
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    20,866
    Thanks
    2513
    Awards
    1

    Re: proving logic

    Quote Originally Posted by Miafuller View Post
    Hi everyone, does anyone know what the solutions to these questions would be? I am really struggling with this particular piece of homework, so would appreciate any help or explanations. I have to prove that the following statements are valid in proven logic. Thank you
    = not → = if/ then
    (P & Q) : (Q & P) (6)
    P → Q: Q → P (6)
    : (P →Q) → (Q →P) (5) Principle of transposition
    Q → R : (Q →P) →(P →R) (9)
    (P & Q) →R : R →(P →Q) (11)
    P: [((Q → R) →P)] →[( R →Q)] (9)
    P, Q: (P →Q) (6)
    P, P : Q (8)
    : P → (P →Q) (10) Law of Dun Scotus
    P → P : P (11)
    First most of the notation is completely standard.
    But I have not idea how or what the " : " for/means.
    What do the (#) mean? Do they refer to numbered statements? If so what are that the propositions?

    Moreover, I don't see that actual question.
    Please state it clearly.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Mar 2017
    From
    London
    Posts
    2

    Re: proving logic

    Sorry I should have said, the numbers in the brackets represent how many lines each answer should be. The exercise is taken from Paul Tomassi's book 'Logic'. I have attached a picture of the exercise which will hopefully make it clearer. proving logic-img_4055.png. proving logic-img_4054.png
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Aug 2006
    Posts
    20,866
    Thanks
    2513
    Awards
    1

    Re: proving logic

    Quote Originally Posted by Miafuller View Post
    Sorry I should have said, the numbers in the brackets represent how many lines each answer should be. The exercise is taken from Paul Tomassi's book 'Logic'. I have attached a picture of the exercise which will hopefully make it clearer.
    The best I can do is show #s 5, 7. You have to fill in the reasons your text uses.
    I gather that $A:B$ means to assume $A$ and prove $B$ from that.

    5) $\begin{gathered} (P \wedge Q) \to \neg R \hfill \\ R \to \neg (P \wedge Q) \hfill \\ R \to (\neg P \vee \neg Q) \hfill \\ R \to (P \to \neg Q) \hfill \\ \end{gathered}$

    7) $\begin{gathered} P \wedge \neg Q \hfill \\ \neg (\neg P \vee Q) \hfill \\ \neg (P \to Q) \hfill \\ \end{gathered}$
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Need Help Proving First Order Logic Equivalence
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: Sep 26th 2012, 03:33 PM
  2. Proving identity using laws of logic help?
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: Oct 23rd 2011, 02:21 PM
  3. Proving a Theorem (Predicate Logic)
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: Oct 13th 2011, 03:57 AM
  4. Math Logic Proving Proofs
    Posted in the Discrete Math Forum
    Replies: 9
    Last Post: Apr 6th 2010, 12:05 PM
  5. Proving logic propositions
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: Apr 3rd 2008, 08:22 PM

/mathhelpforum @mathhelpforum