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. The name is absent2. Corporate Taxation and Multinational Activity
3. AN EXPLORATION OF THE NEED FOR AND COST OF SELECTED TRADE FACILITATION MEASURES IN ASIA AND THE PACIFIC IN THE CONTEXT OF THE WTO NEGOTIATIONS
4. Optimal Private and Public Harvesting under Spatial and Temporal Interdependence
5. The Cost of Food Safety Technologies in the Meat and Poultry Industries.
6. Evaluation of the Development Potential of Russian Cities
7. Literary criticism as such can perhaps be called the art of rereading.
8. Policy Formulation, Implementation and Feedback in EU Merger Control
9. ¿Por qué se privatizan servicios en los municipios (pequeños)? Evidencia empírica sobre residuos sólidos y agua.
10. Industrial Employment Growth in Spanish Regions - the Role Played by Size, Innovation, and Spatial Aspects