voilà je crée ce post pour que les gens qui passent les exams nous montrent les trucs tordus sur lesquels ils ont buté pendant les exams. Je pense que ça nous permettra d'avoir une idée des atrocités que peuvent pondre les profs.
Je commence (sachant que mon clavier ne possède pas les touches adequates, je reposterais depuis un linux).
synthaxe :
qqs : quelquesoit
ie : il existe
Montrer par la méthode de deduction naturelle la validité de la propriété suivante :
|-- (ie x) ( (A(x) ou B(x) ) <--> ( (qqs X) A(x) ou (ie x) B(x) )
voilà pour l'ennoncé, je vous montre pas un exemple de résolution, je risque de vous faire fuir.
J'ai meme pas eu le courage de lire l'ennoncé jusqu'à maintenant : on a fait un exemple en TD mais UN seul et en plus un ridicule, pas comme celui là.
à vous.