Lecture
Propositional Logic: Normal Forms and Applications
Related lectures (49)
Propositional Logic: Inference Rules
Covers the interpretation of propositional logic and inference rules for implication, conjunction, and double negation.
Propositional Logic: Applications and Translations
Explores applications of propositional logic, including translations and Boolean search for document queries.
Applications of Propositional Logic
Explores translating natural language to propositional logic, Boolean search, logic puzzles, circuits, and Sudoku.
Propositional Logic: Quiz Answers
Covers the answers to a quiz on propositional logic, emphasizing the importance of clarity in logical statements.
Logical Equivalences: Part 1
Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.
Propositional Logic: Inference Rules and Valid Arguments
Covers inference rules in propositional logic and common logical fallacies.
Valid Arguments
Explains how to determine and build valid arguments in propositional logic.
Search Algorithms: Abductive Reasoning
Explores abductive reasoning, search algorithms, and heuristic search for problem-solving.
Information, Computation, and Society
Explores the history and societal impact of information, communication, and computation sciences in the digital era.
Logical Reasoning: Quiz Analysis
Analyzes a quiz on logical reasoning, discussing correct and incorrect answers.