Propositional Logic: Basic Logical Connectives

In course

Do anim in esse duis aute est voluptate magna. Tempor exercitation sit reprehenderit reprehenderit excepteur reprehenderit occaecat sit voluptate voluptate. Et cillum laboris in et culpa nisi velit ea sint deserunt. Occaecat nisi esse sit officia deserunt ad commodo elit mollit ea ullamco eiusmod minim. Duis veniam irure quis qui elit adipisicing consectetur ea reprehenderit ullamco duis quis. Culpa fugiat ut reprehenderit irure quis esse.

Description

This lecture introduces the concept of propositions, logical connectives like negation, conjunction, and disjunction, truth tables, and the language of propositional logic. It covers the construction of compound propositions and the use of atomic propositions.

Official source

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

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