Introduction to boolean logic

Type classification: this is a lesson resource.

Welcome! This is a lesson in the Introductory Discrete Mathematics for Computer Science course here at Wikiversity.

Basic Principles of Logic edit

For computer science, it is necessary to understand the basics of logic. Logic is the foundation on which a computer system is built internally. Bits are switched on and off using the binary 1's and 0's. In Boolean Logic, these translate into T (true) and F (false) statements.

Propositions edit

  • Definition: A statement that is either true or false.
Which statement is a proposition?

Which statement is not a proposition?

Which statement is a proposition?

Next Lesson edit

The second lesson of the course is Using truth tables.