take (1,1) --> (- 1) ; :: thesis: ( (1,1) --> (- 1) is Negative & (1,1) --> (- 1) is Nonpositive )
thus ( (1,1) --> (- 1) is Negative & (1,1) --> (- 1) is Nonpositive ) ; :: thesis: verum