• Support PF! Buy your school textbooks, materials and every day products Here!

Semantic tree?

  • Thread starter Horse
  • Start date
  • #1
35
0

Homework Statement



Show the semantic tree of:

[tex] \neg ( ( p_0 \rightarrow p_1 ) \rightarrow \neg ( p_1 \rightarrow p_2 ) ) [/tex]

Homework Equations



[tex] \neg ( ( p_0 \rightarrow p_1 ) \rightarrow \neg ( p_1 \rightarrow p_2 ) ) [/tex]

The Attempt at a Solution



I cannot understand its purpose. Where should you start?
 

Answers and Replies

  • #2
33,173
4,858
The term "semantic tree" doesn't ring any bells with me in the context of logical statements. Do you have any worked examples in your notes or text?

What I would try (and I have no idea if this is the right thing to do), is to make a table with T and F values for p0, p1, and p2 -- eight rows will do the trick. In the same table, calculate the values of p0 ==> p1, p1 ==> p2, and so on with the negated expressions, and see what I get from that.
 

Related Threads for: Semantic tree?

  • Last Post
Replies
1
Views
611
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
6
Views
6K
  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
4
Views
6K
  • Last Post
Replies
0
Views
3K
  • Last Post
Replies
0
Views
1K
Top