Exercices 3.2
Soit \(a\) et \(b\) deux symboles de constante de \(F_0\), \(p\) un symbole de prédicat d'arité \(1\) et \(q\) un symbole de prédicat d'arité \(2\). On considère la formule \(F = q(b, a) ⇒ (p(b) ∨ ¬(q(b, b) ∧ p(a)))\).
Exercice
Cocher la valeur de \([F]^{M_1}\) lorsque \(M_1\) est la structure de domaine \(\{k_1, k_2 \}\) telle que :
\(a^{M_1} = k_1 \ \ \ \ \ \ \ \ \ \ \ \ \ \ p^{M_1} = \{k_2 \}\)
\(b^{M_1} = k_2 \ \ \ \ \ \ \ \ \ \ \ \ \ \ q^{M_1} = \emptyset\)
Votre choixChoix attenduRéponse
Exercice
Cocher la valeur de \([F]^{M_2}\) lorsque \(M_2\) est la structure de domaine \(\{k_1, k_2 \}\) telle que :
\(a^{M_2} = k_1 \ \ \ \ \ \ \ \ \ \ \ \ \ \ p^{M_2} = \{k_2 \}\)
\(b^{M_2} = k_2 \ \ \ \ \ \ \ \ \ \ \ \ \ \ q^{M_2} = \{(k_2, k_1)\}\)
Votre choixChoix attenduRéponse
Exercice
Cocher la valeur de \([F]^{M_3}\) lorsque \(M_3\) est la structure de domaine \(\{k_1, k_2 \}\) telle que :
\(a^{M_3} = k_1 \ \ \ \ \ \ \ \ \ \ \ \ \ \ p^{M_3} = \{k_1 \}\)
\(b^{M_3} = k_2 \ \ \ \ \ \ \ \ \ \ \ \ \ \ q^{M_3} = \{(k_2, k_1)\}\)
Votre choixChoix attenduRéponse
Exercice
Cocher la valeur de \([F]^{M_4}\) lorsque \(M_4\) est la structure de domaine \(\{k_1, k_2 \}\) telle que :
\(a^{M_4} = k_1 \ \ \ \ \ \ \ \ \ \ \ \ \ \ p^{M_4} = \{k_1, k_2 \}\)
\(b^{M_4} = k_2 \ \ \ \ \ \ \ \ \ \ \ \ \ \ q^{M_4} = \{(k_1, k_2)\}\)
Votre choixChoix attenduRéponse
Exercice
Cocher la valeur de \([F]^{M_5}\) lorsque \(M_5\) est la structure de domaine \(\{k_1, k_2 \}\) telle que :
\(a^{M_5} = k_1 \ \ \ \ \ \ \ \ \ \ \ \ \ \ p^{M_5} = \{k_1 \}\)
\(b^{M_5} = k_2 \ \ \ \ \ \ \ \ \ \ \ \ \ \ q^{M_5} = \{(k_2, k_1), (k_2, k_2)\}\)