Statements

Abstract

This is a project for the first day of a Discrete Mathematics course, where symbolic logic is the first unit of content. Students will discern what types of sentences can be labeled as true or as false, in order to synthesize a definition of the word "statement." Students will also use negations, conjunctions, and disjunctions in order to form compound statements out of component statements and to translate between statements written as complete sentences and symbolic representations of those sentences.

Level: Undergraduate
Setting: Classroom
Activity Type: Learning Cycle
Discipline: Mathematics
Course: Discrete Mathematical Structures
Keywords: statement, compound statement, component statement, conjunction, disjunction, negation