Logical Equivalences: Constructing and Proving Equivalences

In course

Minim tempor duis sunt deserunt enim incididunt culpa quis sint qui. Id et proident eiusmod occaecat fugiat cupidatat anim et dolore est cupidatat voluptate laboris laboris. Dolor elit veniam veniam Lorem esse magna nulla do sunt deserunt cupidatat eu. Esse in Lorem veniam voluptate laborum dolore dolore ea amet id est laboris. Quis elit ipsum mollit nostrud ex do voluptate non anim cillum Lorem excepteur tempor cillum. Dolore nulla dolore adipisicing et deserunt non fugiat amet aliqua aute. Qui est labore anim adipisicing.

Description

This lecture covers the process of constructing and proving logical equivalences by developing a series of equivalent statements, including examples such as De Morgan's Laws and tautology proofs, leading to the introduction of Normal Forms.

Official source

https://mediaspace.epfl.ch/media/0_9rc0ib7r

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

Logic

Classical logic: First-order logic

Related lectures (32)