Adaptez les exercices résolus à votre matière. Inscrivez-vous gratuitement
Verifiez si la formule B est consequence logique de l'en-
semble de formules {A1...An}
26. [Exercice 26] A1= p ∧ q; B= p
| p | q | ¬p | p ∧ q | (p ∧ q) ∧ ¬p |
|---|---|---|---|---|
| 1 | 1 | 0 | 1 | 0 |
| 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 1 | 0 | 0 |
| 0 | 0 | 1 | 0 | 0 |
C'EST UNE CONSEQUENCE LOGIQUE.
27. [Exercice 27] A1= (p ∧ q) → r; B= p → (q → r)
| p | q | r | p ∧ q | (p ∧ q) → r | q → r | p → (q → r) | ¬[p → (q → r)] | A1 ∧ ¬B |
|---|---|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
| 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 |
| 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 |
| 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 |
| 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 |
| 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 |
| 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 |
C'EST UNE CONSEQUENCE LOGIQUE. Les formules sont logiquement equivalentes (Loi d'exportation).
28. [Exercice 28] A= ¬q ∨ p; A2=p → q; B=p ↔ q
| p | q | ¬q | p → q | p ↔ q | ¬(p ↔ q) | ¬q ∧ p → q ∧ ¬(p ↔ q) |
|---|---|---|---|---|---|---|
| 1 | 1 | 0 | 1 | 1 | 0 | 0 |
| 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 1 | 0 | 1 | 0 |
| 0 | 0 | 1 | 1 | 1 | 0 | 0 |
C'EST UNE CONSEQUENCE LOGIQUE.
29. [Exercice 29] A1= ¬(p → q); B=q→¬p
| p | q | ¬p | p → q | ¬(p → q) | q → ¬p | ¬(q → ¬p) | ¬(p → q) ∧ ¬(q → ¬p) |
|---|---|---|---|---|---|---|---|
| 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 |
| 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 |
C'EST UNE CONSEQUENCE LOGIQUE.
30. [Exercice 30] A1= p → q; A2= r → q; A3= s → q; B= (p ∨ q ∨ s) → q
| p | q | r | s | A p → q | B r → q | C s → q | p ∨ q | p ∨ q ∨ r | D (p ∨ q ∨ r) → q | ¬D | A ∧ B ∧ C ∧ ¬D |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
| 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
| 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
| 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
| 1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 |
| 1 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 |
| 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 |
| 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 |
| 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
| 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
| 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
| 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0 |
| 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 |
| 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 |
C'EST UNE CONSEQUENCE LOGIQUE