Hardegree, Intermediate Logic; Unit 2: Derivations in Function Logic
1 of 14
UNIT 2: DERIVATIONS IN FUNCTION LOGIC
1. EXERCISE SET A (Review of Predicate Logic)
For each of the following arguments, construct a formal derivation of the conclusion (
Hardegree, Intermediate Logic; Unit 3: Translations in Identity Logic
1 of 12
UNIT 3: TRANSLATIONS IN IDENTITY LOGIC
1.
1.
Translation Forms In Identity Logic; Simplified Versions
a is the only F x{Fx x=a} equ: Fa & ~x(xa & Fx) a and b are the on
Hardegree, Intermediate Logic; Unit 5: Translations in Description Logic
1 of 4
Unit 5: Translations in Description Logic
1. EXERCISES
Directions: Using the suggested abbreviations (the capitalized words), translate each of the following statements
Hardegree, Intermediate Logic; Unit 6: Derivations in Description Logic
1 of 9
Unit 6: Derivations in Description Logic
1. EXERCISES
Directions: For each of the following, construct a formal derivation of the conclusion (indicated by "/") from the
Hardegree, Intermediate Logic; Unit 4: Derivations in Identity Logic
1 of 22
UNIT 4: DERIVATIONS IN IDENTITY LOGIC
1. EXERCISES
Directions: For each of the following, construct a formal derivation of the conclusion (indicated by "/") from the prem
Hardegree, Intermediate Logic; Unit 1: Translations in Function Logic
1 of 8
UNIT 1: TRANSLATIONS IN FUNCTION LOGIC
1. Directions for all Exercise Sets in Unit 1
Using the suggested abbreviations (the capitalized words), translate each of the foll