3) Δείξτε ότι η έκφραση
(
p
1
(
p
1
( p
2
p
3
)
)
)
(
p
3
p
4
) είναι πρόταση .
Απάντηση
Επιστροφή
( p1
( p1
( p2p3 ) )) 
( p3 p4 ) είναι πρόταση .
( p1( p1 ( p2p3 ) )) ( p3 p4 ) είναι πρόταση .