Exercices 3.3
Soit \(F_1 = A ⇒ B\ \ et \ \ F_2 = ¬(¬B ⇒ ¬A)\) deux formules (où \(A\) et \(B\) sont des formules atomiques).
Exercice
A-t-on \(F_1 = ¬F_2\) ?
Votre choixChoix attenduRéponse
Exercice
Étant donnée une structure \(M\), a-t-on \([F_1]^M ≡ \overline{[F_2]^M}\)
Votre choixChoix attenduRéponse
Exercice
Étant donnée une structure \(M\), a-t-on \([F_2]^M ≡ \overline{\overline{I_M(A)} + I_M(B)}\) ?
Votre choixChoix attenduRéponse
Exercice
A-t-on \(F_1\) 
\(\ F_2\) ?
Votre choixChoix attenduRéponse
Exercice
A-t-on \(¬F_1\) \( ¬F_2\) ?
Votre choixChoix attenduRéponse
Exercice
A-t-on \(F_1\) \(\ ¬F_2\) ?
Votre choixChoix attenduRéponse
Exercice
A-t-on \(¬F_1\) \(\ F_2\) ?
Votre choixChoix attenduRéponse
Exercice
A-t-on \(F_1\) \(\ ¬¬F_2\) ?
Votre choixChoix attenduRéponse
Exercice
A-t-on \(F_1 \models F_2\) ?
Votre choixChoix attenduRéponse
Exercice
A-t-on \(¬F_2 \models F_1\) ?
Votre choixChoix attenduRéponse
Exercice
La formule \(F_1 \Rightarrow F_2\) est :
Votre choixChoix attenduRéponse
Exercice
La formule \(¬F_1 \Rightarrow F_2\) est :
Votre choixChoix attenduRéponse
Exercice
La formule \(F_1 ∨ F_2\) est :
Votre choixChoix attenduRéponse
Exercice
La formule \(F_1 ∨ ¬F_2\) est :
Votre choixChoix attenduRéponse
Exercice
La formule \(F_1 ∧ F_2\) est :
Votre choixChoix attenduRéponse
Exercice
La formule \(false ⇒ F_2\) est :
Votre choixChoix attenduRéponse
Exercice
La formule \(F_2 ⇒ false\) est :
Votre choixChoix attenduRéponse
Exercice
La formule \(true ⇒ F_2\) est :
Votre choixChoix attenduRéponse
Exercice
La formule \(F_2 ⇒ true\) est :