Back to Results
First PageMeta Content
Mathematical logic / Type theory / Formal methods / Classical logic / Metalogic / Lambda calculus / First-order logic / Propositional calculus / Tautology / Dependent type / Well-formed formula / Logic programming


Exam Logical Verification December 18, 2008 There are six (6) exercises. Answers may be given in Dutch or English. Good luck! Exercise 1. This exercise is concerned with first-order propositional logic (prop1) and simply
Add to Reading List

Document Date: 2011-01-12 07:22:28


Open Document

File Size: 62,33 KB

Share Result on Facebook