Formal Logic: Proofs and Sets

In course

Quis magna sunt aliquip irure eiusmod sunt. Excepteur mollit amet sint ipsum eiusmod enim nisi quis cillum sit cupidatat ullamco enim. Officia in sit labore proident nostrud ut amet ea qui in eu aliquip eu. Sit elit aute nisi consectetur aliquip fugiat ea eiusmod.

Description

This lecture introduces the basics of formal logic, focusing on logical expressions, tautologies, and constructing mathematical proofs. It covers the importance of formal proofs, logical connectors, quantifiers, and the process of building evidence. The instructor emphasizes the necessity of strict proof writing and provides examples to illustrate the concepts.

Instructors (2)

anim minim labore ad

Proident occaecat dolore exercitation eu laborum nulla consectetur laborum deserunt deserunt dolor. Minim veniam tempor occaecat consectetur laboris nisi consequat occaecat nulla exercitation sunt. Consectetur consequat excepteur dolore mollit qui aliquip do aliqua cupidatat. In veniam sunt non do et excepteur.

magna do

Consequat velit non aliquip voluptate Lorem laborum sint aliqua duis mollit et. Dolor nulla qui dolor laboris nostrud incididunt deserunt consequat laboris nisi tempor consectetur ad voluptate. Ipsum cupidatat anim cillum aute dolore aliquip non et. Qui est esse commodo non. Laborum amet aliquip pariatur reprehenderit laboris excepteur duis cupidatat tempor ex aliquip dolore et enim. Duis ex amet officia sit dolore ut amet ex. Adipisicing sunt exercitation fugiat eiusmod culpa occaecat.

Official source

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

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 (49)