Lecture
Proofs: Logical Equivalence and Inference Rules
In course
DEMO: irure veniam culpa enim
Ea labore amet aute laborum reprehenderit sit occaecat Lorem veniam cupidatat magna ipsum sit. Eiusmod velit culpa id irure sit duis exercitation laboris cupidatat id. Eiusmod veniam duis cupidatat labore eiusmod ex irure sint ex aliquip. Dolor amet mollit laborum adipisicing eiusmod cupidatat excepteur duis elit sit ullamco.
Description
This lecture covers the concept of logical equivalence in proofs, including how to show an argument is correct using truth tables and inference rules for propositional and predicate logic. It also discusses direct proofs, proof by contraposition, contradiction, and cases.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Related lectures (57)
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Predicate Logic: Quantifiers and Normal Forms
Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.
Discrete Mathematics: Logic & Structures
Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.
Predicate Logic: Quantifiers, CNF, DNF
Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.
Propositional Logic: Translations and Equivalences
Covers translating natural language to propositional logic and proving tautologies.