• English only

# Differences

This shows you the differences between two versions of the page.

Recall our summary of [[propositional logic informally|propositional logic]] from [[lecture01]] where we also defined the truth tables for logical connectives $\land, \lor, \lnot, \rightarrow,​ \leftrightarrow$. Recall our summary of [[propositional logic informally|propositional logic]] from [[lecture01]] where we also defined the truth tables for logical connectives $\land, \lor, \lnot, \rightarrow,​ \leftrightarrow$.