- #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?