• Aucun résultat trouvé

Systèmes DN pred et G pour le calcul des prédicats

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Systèmes DN pred et G pour le calcul des prédicats"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Université Paris Diderot - Licence 3 Année 2014-2015

Devoir Maison de Logique n

o

3

Systèmes DN pred et G pour le calcul des prédicats

Toutes les questions de tous les exercices sont indépendantes les unes des autres.

Exercice 1 Donnez une dérivation des séquents suivants dans DN

pred

et dans G : 1. ` (∃x p(x)) → (∃x p(x) ∨ ∃x q(x))

2. ` (∀x (p(x) ∨ q(x))) → (∃x p(x) ∨ ∃xq(x))

Exercice 2 Donner une dérivation des séquents suivants dans G : 1. ∀x∀y (p(x, y) → p(y, x)), p(a, b) ` p(b, a)

2. ∀x∀y (p(x, y) → p(y, x)), ∀x∀y (p(x, y) → p(x, f(y))), p(a, b) ` p(f (b), a)

Exercice 3 Les formules suivantes énoncent trois propriétés qui peuvent être satisfaites par une relation binaire :

• ∀x∀y∀z ((p(x, y) ∧ p(x, z)) → p(y, z)) (Euclidianité)

• ∀x p(x, x) (réflexivité)

• ∀x∀y (p(x, y) → p(y, x)) (symétrie)

1. Proposez une interprétation pour le langage Σ = {p}, dans laquelle I(p) est Euclidienne, symétrique, mais pas réflexive.

2. On considère une interprétation I =< D, I > pour Σ = {p} telle que :

• D = {a, b, c}

• I (p) = {(a, b), (a, c)}

L’interprétation I(p) du prédicat p dans I n’est ni Euclidienne, ni réflexive, ni symétrique.

Quels couples d’élements de D faut-il ajouter à I(p) afin qu’elle devienne Euclidienne, réflexive et symétrique ?

3. (Question BONUS non obligatoire) Donner une dérivation du séquent suivant dans G :

∀x∀y∀z ((p(x, y) ∧ p(x, z)) → p(y, z)), ∀x p(x, x) ` ∀x∀y (p(x, y) → p(y, x))

Vous pouvez vous aider pour le choix des témoins de la démonstration sémantique suivante : Soit I =< D, I > une interpétation pour une signature Σ avec p ∈ Σ et p d’arité 2.

On suppose que I(p) (l’interpétation de p par I) satisfait les hypothèses du séquent (i.e., I(p) est Euclidienne et réflexive) et on en déduit que I(p) est également symétrique. Soit a, b ∈ D tels que (a, b) ∈ I (p). La relation interprétant p dans I étant réflexive, on a (a, a) ∈ I (p). En d’autres termes :

[p(x, y) ∧ p(x, z)]

I[x:=a,y:=b,z:=a]

= V Par Euclidianité on a donc également :

[p(y, z)]

I[x:=a,y:=b,z:=a]

= V

I.e., (b, a) ∈ I(p). La relation interprétant p dans I est donc bien symétrique.

1

Références

Télécharger maintenant ( PDF - 1 Page - 129.49 KB )

Documents relatifs

dN dt

ƒ (pas assez d’énergie pour sonder les très courtes distances).

Exercice sur la dérivation 1. Exercice (a) La fonction g

Déterminer les limites de f aux bornes de son intervalle de définition, le tableau de variation de f et donner une valeur approchée de f (α) à 0,01

dN / dt = -  N---

[r]

Montrer que 1 2π Z 2π 0 DN(t)dt= 1, DN(x

On cherche, connaissant la temp´erature d’une barre m´etallique `a l’instant initial en tout point et aux deux extr´emit´es en tout temps, `a d´eterminer la temp´erature u(t, x)

Exercice Les questions 1 et 2 sont indépendantes. 1.

(On pourra donner les expressions sans démonstrations). Exprimer en fonction de z M la force exercée par le dipôle sur la molécule, préciser si cette force est attractive

da/dN (m/cycle)

Intrusions et extrusions induisent des concentrations de contraintes locales Amorçage par plasticité localisée : échelle d’un seul grain (monocristal). déformation en traction :

On peut conjecturer que, pour tout n∈N,dn= 1 i.e

On se place à présent dans le cas

Dans tous les exercices suivants, on justifiera toutes les réponses par un raisonnement.

Tracer une figure correspondant au problème posé, à l’échelle ½, en utilisant une règle graduée et