This video introduces you to symbolic logic:

 

Part 1: Symbolic Logic Videos

 

This second video gives you a sense of what doing a proof is like:

 

Part 9: Symbolic Logic (more easy proofs)

 

To find all my symbolic logic videos, click here.