Fichier PDF

Partage, hébergement, conversion et archivage facile de documents au format PDF

Partager un fichier Mes fichiers Convertir un fichier Boite à outils Recherche Aide Contact



Série3 .pdf


Nom original: Série3.pdf
Titre: Série3
Auteur: lamia

Ce document au format PDF 1.4 a été généré par PDFCREATOR Version 0.9.5 / GPL Ghostscript 8.61, et a été envoyé sur fichier-pdf.fr le 08/04/2011 à 18:59, depuis l'adresse IP 41.96.x.x. La présente page de téléchargement du fichier a été vue 1161 fois.
Taille du document: 141 Ko (2 pages).
Confidentialité: fichier public




Télécharger le fichier (PDF)









Aperçu du document


Série n° :3
Ex01 :
Mettre la formule suivante sous forme prénexe :
Exo2 :
Trouver skolem(A) pour les cas suivants :

Exo3 :
Mettre la formule suivante sous forme clausale :
Ex04 :
soit la formule suivante :
1. mettre cette formule sous forme prénexe ?
2. trouver une formule universelle en appliquant une transformation de Skolem ?

Ex05 :
considérons la formule
1. trouver le domaine de Herbrand ?
2. montrer que F n'est pas satisfiable ?

, où a est une constante.

Ex06 :
On considère la formule
1. trouver le domaine de Herbrand ?
2. montrer que F est satisfiable ?

.

Ex07 :
On considère la formule
1. trouver le domaine de Herbrand ?
2. montrer que F ne possède pas de modèle?

.

Ex08 :
On considère la formule
Montrer que G est un théorème ?.

Exo9 :
On considère les formules du calcul des prédicats :

.

1. Mettre les formules sous forme prénexe en utilisant un nombre
minimum de quantificateurs.
2. Mettre les formules sous forme de Skolem.
Exo10 :
Mettre les formules suivantes sous forme standard de Skolem, puis
sous forme clausale.

Exo11 :
1. Trouvez un modèle de Herbrand pour les formules suivantes :

2. Prouvez, en construisant un arbre sémantique pour la base de
Herbrand, que la formule suivante est non-satisfaisable :


Série3.pdf - page 1/2
Série3.pdf - page 2/2

Documents similaires


Fichier PDF serie3
Fichier PDF serie3 corrige
Fichier PDF serie2
Fichier PDF serie10 les alcools aliphatiques 1
Fichier PDF theme1 tomographie
Fichier PDF serie 1 chimie 1ere


Sur le même sujet..