Theorem pm3.37

Theorem *3.37 (Transp) of [WhiteheadRussell] p. 112. (Contributed by NM, 3-Jan-2005.) (Proof shortened by Wolf Lammen, 23-Oct-2012.)

Conclusion

\( \vdash (\varphi \wedge \psi \rightarrow \chi) \rightarrow \varphi \wedge \neg \chi \rightarrow \neg \psi \)

Proof

pm4.14

biimpi _