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

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.
Which statement is a proposition?
Which statement is not a proposition?
Which statement is a proposition?

Next Lesson

The second lesson of the course is Using truth tables.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.