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
- Ensemble et application Partie II
- Ensemble et application Partie I
- Espaces vectoriels et Applications linéaires - supérieur
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - 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... Licence Maths 1e ann LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Licence Maths 1e ann
calcul des prédicat
Posté par khadi
salut SVP qui pourra m'aider pour résoudre cet exercice
Soit la formule 
x p(x,f(x)) ou p est prédicat binaire et f une fonction monaire
soit l'interprétation I suivante:
D=*
entier naturel
p(x,y) signifie x<y
f(x) signifie double(x)
-interpréter cette formule pour I est elle vraie ou fausse?
-trouver une interprétation qui rend cette formule fausse
Bonjour
Ici, la formule devient
Tu peux certainement dire si elle est vraie ou fausse... Je vois mal ce que tu as écrit; si (entiers naturels strictement positifs) évidemment ça change... et en disan,t ceci j'ai répondu à ma deuxième question!
ah OK donc si je donne une autre interprétation pour qu'elle soit fausse elle peut être comme ça
D=
-
ceci donne
(x
-)x<2x
et ceci est faux
c'est ça je me trompe pas ??
merci pour votre aide