exo7 115

On suppose que la proposition PP est vraie ainsi que les propositions suivantes :

1

(¬Q)∧P⇒¬S(\neg Q) \wedge P \Rightarrow \neg S.

2

S⇒(¬P)∨QS \Rightarrow (\neg P) \vee Q.

3

P⇒R∨SP \Rightarrow R \vee S.

4

S∧Q⇒¬PS \wedge Q \Rightarrow \neg P.

5

R∧¬(S∨Q)⇒TR \wedge \neg (S \vee Q) \Rightarrow T.

6

R⇒(¬P)∨(¬Q)R \Rightarrow (\neg P) \vee (\neg Q).

Exercice 3yab

Signaler une erreur

  1. Problème
  2. Précisions
  3. Envoi
Quel est le problème ?