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
- Les séries - 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
Question "général"
Posté par xxguizmo95xx
Bonjour,
J'ai un exercice :
L'affirmation suivantes est elle correcte, justifiez votre réponse.
Il existe une infinité de forme propositionnelle de hauteur 3 sur les variables X1, X2, X3.
Pour cette exercice je n'ai pas compris la question.
Ensuite dans un exercice on me demande de donner la définition de l'équivalence de deux formules
J'ai cherché la définition partout mais je n'ai rien trouvé. Est-il possible de me donner le lien d'un site ou je peux la trouver ?
Bonsoir,
1. Qu'est-ce que la hauteur d'une forme propositionnelle ? A partir de cette définition, es-tu capable d'en donner un exemple ? Et en travaillant un peu plus, imaginer une infinité d'exemples ?
2. Est-ce une question générale, comme tu le dis, ou te donne-t-on deux formules ? Si la question est générale, comment est définie une formule ? Quelque chose comme une forme propositionnelle dépendant d'un nombre fini de variables ? Auquel cas l'équivalence signifie probablement d'abord des variables identiques et ensuite la même valeur de vérité pour toutes les valeurs des variables.