Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
- Ensemble et application Partie II
- Un best-of d'exos de probabilités (après le bac)
- Espaces vectoriels et Applications linéaires - supérieur
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... Maths sup LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Maths sup
Demo Logique mathematique
Posté par 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 .
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 .
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 .