Discrete Mathematical Structures, Lecture 2.1: Propositions and logical operators

Discrete Mathematical Structures, Lecture 2.1: Propositions and logical operators.

In logic, a proposition is a statement to which precisely one of "true" or "false" can be applied. Starting with logical variables, we can make more complicated statements by using operations such as "and", "or", "not" "implies", "if and only if", etc. We introduce all of these, and then examine the difference between an implication, its converse, contrapositive, inverse, and negation. This helps us understand the subtle but important difference between language such as "if", "only if", vs. "if and only if", and "necessary" vs. "sufficient".

UNDER CONSTRUCTION. Completion date: May 2019

[kaikleinbard]

Thanks for your super clear explanations! Slowly going through the whole series:)