Exercices 5.2
On considère une structure \(\bf M\) dont le domaine d'interprétation est l'ensemble \({\rm I\!N}\) des entiers naturels, munie de l'addition et d'un prédicat \(p\) d'arité 2 tel que \(p^M = \{(x, y) | y = 2x + 1\}\).
Exercice
Pour une valuation \(v\) quelconque, \([p(0, 0)]^M_v\) est égal à ?
Votre choixChoix attenduRéponse
Exercice
Pour une valuation \(v\) quelconque, telle que \(v(y) = 1\), \([∃x \ p(x, y)]^M_v\) est égal à ?
Votre choixChoix attenduRéponse
Exercice
Pour une valuation \(v\) quelconque, telle que \(v(y) = 1\), \([∃x \ p(y, x)]^M_v\) est égal à ?
Votre choixChoix attenduRéponse
Exercice
Pour une valuation \(v\) quelconque, \([∃x \ ∃y \ p(x, y)]^M_v\) est égal à ?
Votre choixChoix attenduRéponse
Exercice
Pour une valuation \(v\) quelconque, \([∃x \ ∀y \ p(x, y)]^M_v\) est égal à ?
Votre choixChoix attenduRéponse
Exercice
Pour une valuation \(v\) quelconque, \([∀x \ ∃y \ p(x, y)]^M_v\) est égal à ?
Votre choixChoix attenduRéponse
Exercice
Pour une valuation \(v\) quelconque, \([∀x \ ∀y \ p(x, y)]^M_v\) est égal à ?