serie2 .pdf


Nom original: serie2.pdf
Titre: serie2
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:51, depuis l'adresse IP 41.96.x.x. La présente page de téléchargement du fichier a été vue 1755 fois.
Taille du document: 147 Ko (2 pages).
Confidentialité: fichier public


Aperçu du document


Série TD N° : 2

Exercice 1 :
Etablir une classification des fbf suivantes :

déterminer la validité de la formule suivante en
utilisant la méthode de balayage :
(p->q)->p
Exercice 7
Parmi les formules suivantes, quelles sont les
formules bien formés :

Exercice 2:
Mettre la formule suivante sous une forme
normale conjonctive en spécifiant les différentes
étapes et en donnant les règles de transformation.
Exercices 3
Soit F ={p->q, q->r}
- vérifier que p->r est une conséquence
logique de F ?
- vérifier que ¬r ν p est une conséquence
logique de F ?
Exercice 4 :
Mettre la formule suivante sous l’une de ses
deux formes normalisées, puis conclure sur sa
validité :

Exercice 8 :

trouver l’ensemble des sous formules de :
Exercice 5 :
Déterminer si les formules suivantes sont
valides, invalides, consistantes ou inconsistantes
:

Exercice 6 :
Soit la méthode de balayage
suivante :

Exercice 9 :

appliquer les substitutions suivantes :

Mohamed HAFIDI, lamia MAHNANE, Université d’ANNABA, Initiation à la programmation logique &
fonctionnelle , LMD-Licence Informatique 3eAnnée Novembre 2009

Mohamed HAFIDI, lamia MAHNANE, Université d’ANNABA, Initiation à la programmation logique &
fonctionnelle , LMD-Licence Informatique 3eAnnée Novembre 2009


serie2.pdf - page 1/2
serie2.pdf - page 2/2


Télécharger le fichier (PDF)

serie2.pdf (PDF, 147 Ko)

Télécharger
Formats alternatifs: ZIP







Documents similaires


serie2corrige
serie2
exercices logique
alg1td1
programme version finale congres atpc 2017
td serie 1

Sur le même sujet..