Wednesday, 20 July 2011

Tree Proof Generator

When I used to teach elementary logic (Logic 1), I used to recommend students that they try using the online Tree Proof Generator, which will generate tableau proofs, or provide countermodels.

For example, given the valid formula $\forall x(Rxx \rightarrow \exists y Rxy)$, it gives the following tableau proof:
1. $\neg \forall x(Rxx \rightarrow \exists y Rxy)$
2. $\neg (Raa \rightarrow \exists yRay)$
3. $Raa$
4. $\neg \exists yRay$
5. $\neg Raa$
Published by at

16 comments:

  1. Anonymous21 July 2011 at 10:37

    Shouldn't the last line (5) read "$\neg Raa$"?

    ReplyDelete
  2. Jeffrey Ketland21 July 2011 at 13:15

    Oops - yeah!

    ReplyDelete
  3. Ahmad Rasekh27 November 2011 at 19:46

    I'm trying to implement an automated tree proof generator for formulae of propositional logic. Do you know any sources where one could find tips on how to implement a proof generator like the one you've linked to?

    ReplyDelete
  4. Anonymous4 April 2012 at 05:08

    NERD!!

    ReplyDelete
  5. Anonymous24 September 2012 at 01:21

    Can you help me figure this problem out?

    :((P --> Q) V (Q --> R))

    ReplyDelete
  6. Jeffrey Ketland6 October 2012 at 20:05

    1. $\neg (P \rightarrow Q) \vee (Q \rightarrow R))$.
    2. $\neg(P \rightarrow Q)$. (from (1), by $\neg \vee$-rule)
    3. $\neg(Q \rightarrow R)$. (from (1), by $\neg \vee$-rule)
    4. $P$. (from (2), by $\neg \rightarrow$-rule)
    5. $\neg Q$. (from (2), by $\neg \rightarrow$-rule)
    6. $Q$. (from (3), by $\neg \rightarrow$-rule)
    7. $\neg R$. (from (3), by $\neg \rightarrow$-rule)
    X
    The tableau is closed, as (5) contradicts (6).

    ReplyDelete
  7. radha3 August 2018 at 10:17

    Nice post .Keep sharing Artificial Intelligence Online Training

    ReplyDelete
  8. Sara Michel22 December 2020 at 10:22

    hi, your post is very helpful for me. Finally, I found exactly what i want. If you need information regarding antivirus then you can visit our site Lenovo ondersteuning belgie

    ReplyDelete
  9. Soleil4 February 2021 at 10:00

    Hi i read your blog and appriciate your writing skills and your knowledge. Keep sharing always.Must visit on
    norton ondersteuning

    ReplyDelete
  10. norton bellen nederland4 February 2021 at 10:16

    Hi i read your blog and appriciate your writing skills and your knowledge. Keep sharing always.Must visit on
    norton ondersteuning

    ReplyDelete
  11. norton bellen nederland4 February 2021 at 10:18

    Hi I read your blog its really gud. Keep sharing always.And please visit on
    avast bellen

    ReplyDelete
  12. Leona Boeters5 February 2021 at 09:30

    Hi.. I read your blog which is really good and I appriciate your writing skills. Must visit on bellen hp printer

    ReplyDelete
  13. Jessica Staals5 February 2021 at 09:59

    Hello.. I read your blog which is amazing and i finding that kind of blog now i found. If you are facing technical issues visit at
    bellen cannon printer

    ReplyDelete
  14. Soleil6 February 2021 at 07:27

    Hello I read your blog which is really good. If you are facing technical issues of avast antivirus visit at avast bellen

    ReplyDelete
  15. Unknown26 April 2021 at 23:30

    Can someone help with these?

    {P∨Q,Q→R}⊢¬R→P
    {P→Q,Q→R,R→S}⊢P→S

    ReplyDelete
  16. aveesha19 October 2021 at 11:55

    Great post ! This was actually what i was looking for and i am glad to came here!
    Pega Training
    Denodo Training
    Sitecore Training
    Mulesoft Training

    ReplyDelete

Subscribe to: Post Comments (Atom)