# Homework Help: Semantic tree?

1. May 18, 2009

### Horse

1. The problem statement, all variables and given/known data

Show the semantic tree of:

$$\neg ( ( p_0 \rightarrow p_1 ) \rightarrow \neg ( p_1 \rightarrow p_2 ) )$$

2. Relevant equations

$$\neg ( ( p_0 \rightarrow p_1 ) \rightarrow \neg ( p_1 \rightarrow p_2 ) )$$

3. The attempt at a solution

I cannot understand its purpose. Where should you start?

2. May 18, 2009

### Staff: Mentor

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.

3. May 25, 2009

### Horse

Last edited: May 25, 2009