Arbre de preuve

[Javos]

Bonjour,
Je dois donner l'arbre de preuve du théorème suivant :
p OU vrai est équivalent à vrai.

Je fais donc une introduction de l'equivalent ce qui me donne un arbre à deux branches avec
p OU vrai implique vrai, vrai implique p OU vrai

Après je fais une introduction de l'implique de chaque coté et là je bloque.
Merci pour votre aide.

[Sa Majesté]

Bonjour

P peut prendre la valeur V ou F
Si P est V alors (P ou V) est V
Si P est F alors (P ou V) est V
Dans tous les cas (P ou V) est V
C'est un début de réponse

[Javos]

Oui merci mais je dois le faire sous forme d'arbre de preuve avec élimination ou introduction par exemple de l'implique, du et...