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
- Espaces vectoriels et Applications linéaires - supérieur
- Un best-of d'exos de probabilités (après le bac)
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... Licence Maths 1e ann LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Licence Maths 1e ann
Logique assertionnelle
Posté par Mariusco
Madame Agnes n'aime pas la campagne.Mais les personnes qui aiment les montagnes aiment aussi le bagne et la campagne.Donc,si Madame Agnes n'aime pas le bagne,c'est qu'elle n'aime pas les montagnes.
Formalisez cet argument en une formule logique A qui utilise les variables:
r : Madame Agnes aime les montagne
p : Madame Agnes aime le bagne
q : Madame Agnes la campagne
salut
la première assertion se traduit donc par : non q
ensuite un si ... alors ... se traduit surement par une implication ...