Discrete Mathematics (2009 Spring) Foundations of Logic (s1.1`s1.4