I am stuck on how to connect the ideas that two spin half particles must form a anti-symmetric wavefunction. Is there a proof on how to show that two spin one half particles must form a anti-symmetric wavefunction?
\begin{align} \Psi(x_1,x_2) = \Psi_1(x_2) \Psi_2(x_1) - \Psi_2(x_1) \Psi_1(x_2) \end{align}
This would indeed prove that spin half particles must obey the Pauli Exclusion Principle, because if two fermions were in the same state, then the wavefunction would equal zero.