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... Licence Maths 1e ann LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Licence Maths 1e ann
Méta-théorème de la déduction
Posté par Joffrey25
Bonsoir,
Je dois montrer que la règle d'introduction de 
est correcte pour l'interprétation booléenne des formules propositionnelles. On prendra n=1.
Ce qui nous donne :
(P(T tourné d'un quart vers la gauche (le signe n'est pas dans les symboles)Q)/(PQ).
Je pense qu'il faut que je démontre le méta-théorème non ?
Merci d'avance.
Bonjour,
je veux bien essayer d'aider mais je ne comprends pas trop le problème comme il est présenté.
Le problème est-il dans le cadre de la "déduction naturelle" ? Dans ce cas, il n'y a rien à démontrer : le règle d'introduction de l'implication est comme son nom l'indique une règle. Dans la déduction naturelle, cette règle signifie juste que, si on veut montrer que sous un ensemble d'hypothèses, P implique Q, alors il faut montrer Q sous ces hypothèses et sous l'hypothèse P.
-------------
Je ne vois pas ce qu'il y a à démontrer et où est le problème...
D'autre part qu'est-ce que ce n=1 ?
1emeu
Merci. En fait je dois montrer que la règle d'introduction de est correcte pour l'interprétation booléenne des formules propositionnelles.
Et on a :
P \vdash Q
-------------
PQ