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
un peu de logique et de symbolique
Posté par solaris
Bonjour,
je ne vois pas bien comment démontrer ce que l'on me demande, est-ce que vous auriez une idée ?
Montrer que:
a) [A ou (B et C)] est équivalent à [(A ou B) et (A ou C)]
b) [(P implique Q) implique Q] est équivalent à (P ou Q)
Merci d'avance
Bonjour,
dans ce genre de trucs, quand on ne sait rien faire, on peut faire des tables de vérité.
Parfois il y'a des trucs plus rapides, comme montrer que les négations sont équivalentes etc.
j'ai essayé le stables de vérité mais je m'emmêle les pinceaux, et je sais pas bien comment procéder.