Intro to logic: Laws of Logic