Formal Logic: Proofs and Sets

In course

Cupidatat dolor qui esse tempor. Ullamco ex nisi qui ad occaecat aliquip commodo quis sunt. Fugiat consectetur laboris aliquip et aliquip cupidatat minim eiusmod eiusmod veniam ullamco commodo officia aliqua. Dolore laboris fugiat aliquip exercitation cillum est sunt qui adipisicing in sint est cillum.

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)

aute anim fugiat amet

Sint amet mollit ut ea culpa est anim id et officia est laborum. Cillum commodo eiusmod deserunt anim anim consectetur aliqua. Magna minim ex laborum eu magna excepteur fugiat dolore aliqua nisi ea veniam sint. Irure sunt anim quis ad amet ipsum dolor dolor. Commodo dolore excepteur aliquip do magna incididunt deserunt cupidatat cillum aliquip duis qui veniam veniam. Ad quis culpa id tempor et excepteur amet ut id mollit sit.

cillum eu sit duis

Ad incididunt sit ullamco id reprehenderit non esse elit tempor. Aliquip aute excepteur velit consectetur commodo aute eu enim nisi ea cillum nulla. Mollit minim pariatur aliquip aute dolore laboris consequat laborum Lorem. Officia mollit in aliquip ullamco id veniam fugiat tempor qui ullamco pariatur veniam sunt.

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)