• Aucun résultat trouvé

Logique des prédicats - Système déductif

N/A
N/A
Protected

Academic year: 2021

Partager "Logique des prédicats - Système déductif"

Copied!
8
0
0

Texte intégral

(1)

Logique des Prédicats

Système déductif

K.Akli & S. Mazouz

Département d’Informatique USTHB 2016-2017

(2)

Système Déductif

1. Axiome du système

Les axiomes affirment que certaines propositions sont des théorèmes.

Les axiomes sont en général vus comme des règles sans prémisses.

Le système déductif du calcul des prédicats comporte l’axiome suivant : Soit x une variable,

(3)

Système Déductif

2. Règles de déductions :

- les règles du calcul propositionnel (E, I, E, I)

- en plus de trois règles spécifiques au calcul des prédicats :

– Règle de particularisation (E)

– Règle de généralisation (I)

(4)

Système déductif

Règle de particularisation (E) x α(x) α(t) Cas particulier x α(x) α(x)

(E) (t libre pour x dans α)

(5)

Système déductif

Règle de généralisation (I) α(x) x α(x) Règle de remplacement (R) t1 = t2 α(t1) α(t )

(I)) (x n’apparait pas libre dans les prémisses non éliminées au dessus de α(x) )

(t1 et t1 et t2 libres pour x dans α(x) (R)

(6)

Définition

(Déduction)

Soit  un ensemble de formules et α une formule. On dira que  implique α, noté  α,

s’il existe une déduction utilisant éventuellement l’axiome telle que :

1. α est la conclusion

2. les seules prémisses non éliminées à part l’axiome sont dans 

(7)

Exemples (Déduction)

x α(x)   x α(x) Or  x α(x) =def (x  αx)) Montrons la déduction x α(x)  (x  αx)) x α(x) [x α(x)] α(x) α(x) (x α(x))

(E) x libre pour x (E) x libre pour x

(8)

Exemples de déduction

Montrer les déductions suivantes :

1. x α(x)  x (α(x)(x))

2. , α(x)    ,  x α(x)   (x non libre dans  et )

3. α(t)  x α(x) avec t libre pour x dans α(x) 4. (x (H(x)  M(x))) H(S)  M(S) où S est

Références

Documents relatifs

Deux expressions littérales sont égales si elles donnent le même résultat, quelle que soit la valeur numérique attribuée à la lettre. Simplifications d’un

+ Formalisation logique solide + Possibilité de démonstrations + Monde clos?. - Pas de fonctions - Pas

ñ Raisonnement logique, évident pour un humain ñ Impossible à formuler en logique des propositions.. ñ Logique des prédicats, extension

§ Avantages et inconvénients la logique des propositions + Formalisation logique solide.. + Possibilité de démonstrations +

La forme logique d’un énoncé exhibe ses conditions de vérité : elle ne concerne que ce qui, pour Frege, est crucial à l’interpréta- tion de n’importe quel

(b) ils ne font pas de distinction entre termes singuliers et prédicats ; par conséquent, elles ne traitent de phrases existentielles que si on introduit des prédicats qui ne sont

(b) elles ne distinguent pas entre termes singuliers et prédicats ; par conséquent, elles ne traitent de propositions existentielles que si on introduit des prédicats qui ne

Pour qu’une application des règles ( SU ) et ( GE ) soit correcte, il est requis que le terme remplacé par la variable soit libre pour cette variable dans la formule qui le