Note that the logical operators that were obtained in Definition 9 get their
standard meaning.
We can now define the notion of entailment.
Definition 11 Let Γ ∪ {φ} be a set of sentences. Γ (standardly) entails φ,
Γ =s φ, iff, for each model M, and each assignment a for M, VM (φ, a) = 1,
if VM (γ, a) = 1 for all γ ∈ Γ.
It will be useful to have a typographical convention which helps us distinguish
between variables of various types. The following table gives an overview of
the symbols we shall typically use for variables of a fixed type. For variables
whose type is not fixed, we shall continue to use ξ and ζ .
Type |
Variables |
e |
x,y,z,v |
e → t |
X |
s |
i,j |
s × s |
r |
s × s → t |
X,Y |
5 Nonlogical Axioms
There are two kinds of constraints we wish to impose on our models. First,
we want our domain Ds to behave as a set of states. Second, we want De to
behave as the natural numbers.
Starting with the second requirement, we impose the (second order) Peano
Axioms, which for the sake of completeness we shall list here. We refer to
the conjunction of these axioms as PA2 .
-∃x. S(x) = 0
∀x ∀y. S(x) = S(y) → x = y
∀x. x + 0 = x
∀x ∀y. x + S(y) = S(x + y)
∀x. x × 0 = 0
∀x ∀y. x × S(y) = (x × y) + x
∀X ((X (0) ∧∀x(X(x) → X (S(x)))) →∀xX(x))
12
More intriguing information
1. Achieving the MDGs – A Note2. AGRICULTURAL PRODUCERS' WILLINGNESS TO PAY FOR REAL-TIME MESOSCALE WEATHER INFORMATION
3. ENVIRONMENTAL POLICY: THE LEGISLATIVE AND REGULATORY AGENDA
4. Demand Potential for Goat Meat in Southern States: Empirical Evidence from a Multi-State Goat Meat Consumer Survey
5. The Modified- Classroom ObservationScheduletoMeasureIntenticnaCommunication( M-COSMIC): EvaluationofReliabilityandValidity
6. The name is absent
7. Are Japanese bureaucrats politically stronger than farmers?: The political economy of Japan's rice set-aside program
8. The name is absent
9. The name is absent
10. Cryothermal Energy Ablation Of Cardiac Arrhythmias 2005: State Of The Art