
On the basis of their knowledge and comprehension of techniques covered in class, students will be able to:
 Identify, explain, and apply the notion and basic concepts of truthfunctional and firstorder formal logic
 Translate natural language sentences into sentences in truthfunctional and firstorder logic
 Test the validity of arguments and the consistency of sets of sentences in truthfunctional logic and firstorder logic
 State and apply a proof system for truthfunctional and firstorder logic
 Define and demonstrate familiarity with metalogical notions and concepts, including the expressive adequacy, soundness, and completeness of truthfunctional logic
 Define and demonstrate knowledge of fundamental notions and concepts in set theory


Logic plays a fundamental role in a wide variety of disciplines and topics, including in computer architecture (Boolean logic, digital gates, hardware verification), software engineering (specification, verification), programming languages (semantics, type theory, logic programming), databases (relational algebra, database query language), artificial intelligence (automated theorem proving, knowledge representation), algorithms, and theories of computation (complexity, computability, expressiveness).
This course serves as an introduction to logic, providing students with a grasp of certain formal tools that will prove invaluable for future study. It particularly focuses on two logical systems: TruthFunctional Logic (TFL) and First Order Logic (FOL). For each, we discuss the syntax (what it means to construct a well formed sentence in the logic), the semantics (how one decides whether or not a sentence in the logic is true), a proof theory (how, if you know some true things, you can figure out what else is true), and how to translate between natural language and these formal languages. We will also discuss some metalogic, as well as some basic settheory.
Required Literature
These are open source textbooks, the former of which is based upon P.D. Magnus’ forallx. Because of their licenses, students are able to freely download & print copies.





Written test opportunities 
Omschrijving/Description  Toets/Test  Blok/Block  Gelegenheid/Opportunity  Datum/Date 


Written test opportunities (HIST) 
Omschrijving/Description  Toets/Test  Blok/Block  Gelegenheid/Opportunity  Datum/Date 

Midterm 30% / Midterm 30%  MIDTERM_01  SM 1  1  16102018  Schriftelijk 50% / Written 50%  EXAM_01  SM 1  1  14122018  Schriftelijk 50% / Written 50%  EXAM_01  SM 1  2  18012019  Midterm 30% / Midterm 30%  MIDTERM_01  SM 1  2  18012019 

  Required materialsLiterature(1) Forallx: Cambridge, 2017, T. Button. http://people.ds.cam.ac.uk/tecb2/forallx.shtml
(2) Metatheory, 2017, T. Button. http://people.ds.cam.ac.uk/tecb2/metatheory.shtml
Both are open source textbooks. 

 Recommended materialsTestsWritten 50%
 Midterm 30%
 10 Papers 20%


 