Theorem 3an6

Analogue of an4 for triple conjunction. (Contributed by Scott Fenton, 16-Mar-2011.) (Proof shortened by Andrew Salmon, 25-May-2011.)

Conclusion

\( \vdash \varphi \wedge \psi \wedge \chi \wedge \theta \wedge \tau \wedge \eta \leftrightarrow (\varphi \wedge \chi \wedge \tau) \wedge (\psi \wedge \theta \wedge \eta) \)

Proof

an6

bicomi _