Logic


Click here to start


Table of Contents

What is this course about?

The meaning of "Discrete"

The kind of problems solved using discrete mathematics:

What is logic?

Propositions

Truth values, Connectives

Negation

Conjunction

Disjunction

Exclusive or (XOR)

Implication

Biconditional

Converse, Contraposition, Parentheses

Truth tables for complex propositions

Bit operations

Other Lectures

Course Home Page

Instructor's Home Page