Propositional Logic: Basic Logical Connectives

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Propositional Logic: Normal Forms and Applications

Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, their applications, and complexity, with practical examples.

Propositional Logic: Normal Forms

Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, showing how to construct them and discussing their complexity.

Logical Equivalences: Constructing, Proving, and Applying

Covers the process of showing logical equivalences through examples and introduces De Morgan's Laws.

Propositional Logic: Examples

Covers interesting facts about propositional logic and Sudoku solving strategies.

Propositions Calculation

Covers the calculation of propositions in predicate logic with a focus on logical connectives.

Predicate Logic: Domains and Quantifiers

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

Discrete Mathematics: Logic & Structures Log in to Mediaspace to watch this video

Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.

Mathgraph Theorem Prover Log in to Mediaspace to watch this video

Introduces the Mathgraph Theorem Prover, showcasing its unique approach to representing propositions and organizing graphs for first-order logic.

Discrete Mathematics: Logic, Structures, Algorithms Log in to Mediaspace to watch this video

Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.

Integer Representations: Magnitude & Complement Log in to Mediaspace to watch this video

Explores integer representations, focusing on sign-and-magnitude, one's complement, two's complement, Excess-N, overflow, underflow, and binary multiplication.

Page 2 of 2