Demo Logique mathematique

Posté par bastos90 bastos90

bonsoir j'ai quelque petit probleme pour une démonstration :
*sachant qu'un littéral est soit une variable propositionnelle soit une negation de variable propositionelle montrer que toute formule qui est une disjonction de littétaux comportant au moins un atome non lie est equivalent a une formule qui n'uitlise que les deux connecteur " , "

MERci d'avance .

Posté par bastos90 bastos90

quelqu'un pourait m'expliquer l'enoncé silvouplait merci !

Posté par comaths comaths

Dans quel bahut on te fait ce cours ? c'est pas vraiment au programme de sup en maths !!
Comaths

Posté par bastos90 bastos90

je re.UP ce topic donc si quelqu'un pouvait m'aider a demontrer la proposition de mon premier topic ca m'aiderai !

Merci beaucoup .

Posté par bastos90 bastos90

up

Posté par bastos90 bastos90

quelqu'un pour me demontrer la petite demo
merci

Posté par bastos90 bastos90

je revient une derniere fois pour demander une petit aide sur cette demonstration a faire j'en ai vraiment besoin donc si quelqu'un a une idée merci de me la communiquer !

merci .

Posté par bastos90 bastos90

uup

Posté par bastos90 bastos90

personne pour m'aider pour cette demo avant l'exam de demain ... c pas grave bonne nuit a tous les habitant de l'ile !

_{123 viva l'algerie (qui vient de battre la cote d'ivoire sur 3-2) .}