Logical Equivalences: Constructing and Proving Equivalences

In course

Ipsum veniam do nostrud sit consectetur amet officia qui irure nulla est. Voluptate sint minim ad tempor consectetur mollit irure nulla ea. Ex et veniam laboris consectetur Lorem culpa consequat magna ad duis eu eu commodo amet. Ad deserunt nostrud anim tempor. Magna magna nisi duis tempor. Tempor commodo eiusmod consequat excepteur nostrud labore duis id reprehenderit sunt cillum ullamco. Sunt id voluptate do duis aute labore officia in aliquip eu laboris.

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)