Introduction to Logic – Spring 2024

Exam Parameters for Joe Student (s1234567)

Friday 7th June 2024

This is your personal sheet of parameters that accompanies the exam in ANS. The exam is

conducted in ANS and you are expected to submit your answers there according to the provided

instructions.

First-Order Logic Signature

Throughout the exam, you use the first-order signature L with L = (F,R,ar), where

F = {d,g,i} R = {O,T,Q}

ar(d) = 3 ar(g) = 1 ar(i) = 2

ar(O) = 3 ar(T) = 1 ar(Q) = 0

First-Order Horn Theories and Uniform Proofs

For this part of the examination you use additionally the following image.

Primitive Recursion

Your primitive recursion function f: N1 → N is given by the following equation.

f = C2(I1(Π1,Π3),C1(S,S),S)

1 1 1 1

1