Forum de Mathématiques: Maths-Forum

a(n) = 1+2+3+...+n = n(n+1)/2
donc a(n+1) = 1+2+3+..+n+(n+1) = n(n+1)/2 + (n+1) ?

Bonjour, J'ai une suite de nombre, 1, 3, 6, 10... auxquels je dois déterminer une relation de récurrence sur a_{n} puis la formule explicite de a_{n} . On nous dis également que l'on devra trouver a_{n} = \frac{n(n+1)}{2} Donc je valide une première valeur à a_{1} = \frac{1(1+1)}{2} ...

Merci ! :D :D :D Bonsoir, L'assertion (p ⇔ q) ⇔ ((p⇒q) ∧ (q⇒p)) ⇒ (p ⇒ q) est évidemment vraie (de la forme A ∧ B ⇒ A). Pour le montrer en termes de logique propositionnelle (les lignes ci-dessous sont équivalentes) : ((p ⇒ q) ∧ (q ⇒ p)) ⇒ (p ⇒ q) ￢ ((￢p ∨ q) ∧ (￢q ∨ p)) ∨ (￢p ∨ q) (p ∧￢q) ∨ (q ∧￢p)...

(p ⇔ q) ⇔ ((p⇒q) ∧ (q⇒p)) ⇒ (p ⇒ q) Merci pour votre réponse, mais je suis toujours dans le flou, en développant je n'arrive pas à prouver que c'est vrai : ((p ⇒ q) ∧ (q ⇒ p)) ⇒ (p ⇒ q) ((￢p ∨ q) ∧ (￢q ∨ p)) ∨ (￢p ∨ q) (￢p ∧￢q) ∨ (￢p ∧￢p) ∨ (q ∧￢q) ∨ (q ∧ p) ∨ (￢p ∨ q) (￢p ∧￢q) ∨ (q ∧ p) ∨ (￢p ∨ q)

Bonjour :D , Je n'arrive pas à prouver que cette énoncé est vrai, je retombe toujours sur ￢q ∧ p quoi que je fasse :? Pouvez vous m'aiguiller ? énoncé : (p ⇔ q) ⇒ (p ⇒ q) (p ∧ q) ∨ (￢p ∧ ￢q) ⇒ ￢p ∨ q (p ∨￢p) ∧ (p ∨￢q) ∧ (q ∨￢p) ∧ (q ∨￢q) ⇒ ￢p ∨ q (p ∨￢q) ∧ (q ∨￢p) ⇒ ￢p ∨ q ￢((p ∨￢q) ∧ (q ∨￢p)) ∨ ￢p ...

Salut, je suis Paul, j'ai 24 ans et je suis étudiant en programmation informatique

A+ sur le forum !