Introduction to boolean logic

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

Basic Principles of Logic
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

 * Definition: A statement that is either true or false.

Next Lesson
The second lesson of the course is Using truth tables.