https://jasonejohnson.org/jasonejohnson.org/Homehttps://jasonejohnson.org/jasonejohnson.org/Classes/CYCS+1310+-+Foundations+of+Cybersecurity/00+-+Propositional+Logichttps://jasonejohnson.org/jasonejohnson.org/Classes/CYCS+1310+-+Foundations+of+Cybersecurity/10+-+Proof+Techniques