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