Double negation

Related lectures (26)

Page 2 of 3

Covers logical equivalences, quantifiers, and De Morgan's Laws in predicate logic.

Introduces numbers and booleans in Python, covering numeric types, arithmetic operations, logical operations, and comparisons.

Covers propositional logic, logical connectives, truth tables, and compound propositions.

Explores predicate logic, focusing on domains, quantifiers, and surprising insights on empty domains.

Explores the link between properties and variables, including contraries and propositions.

Covers proof techniques including direct proof, contraposition, contradiction, cases, and counterexample.

Explores expert systems, backward chaining, and uncertainty through fuzzy logic in practical applications.

Covers inference rules in propositional logic and common logical fallacies.

Explores the distribution of quantifiers, logical equivalences, and negations in predicate logic.

Covers examples of direct and indirect proofs in mathematics.