Logic in Mathematics: Properties and Propositions

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (28)

Page 2 of 3

Propositional Logic: Examples

Covers interesting facts about propositional logic and Sudoku solving strategies.

Maths Puzzle: Bear Family and Honey

Presents a mathematical puzzle involving a bear family and honey consumption.

Propositions and Proofs

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

Logic and Truth Tables

Covers logic, truth tables, and mathematical propositions, demonstrating how to analyze logical statements.

Logic: Proof Techniques

Explores proof techniques in logic, demonstrating how to prove or disprove propositions using negations and assumptions.

Untitled

Inductive Propositions: Understanding Evaluation in Coq

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Propositional Logic: Basic Logical Connectives

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

Propositional Logic: Inference Rules

Covers the interpretation of propositional logic and inference rules for implication, conjunction, and double negation.

Propositions as Types: Logic and Programming Correspondence

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.