This course focuses on identifying, extracting, and assessing reasoning in everyday contexts by developing an artificial symbolic language to provide a clear representation of deductive reasoning (i.e. reasoning where the truth of the premises guarantees the truth of the conclusion).