• Aucun résultat trouvé

TD de programmation fonctionnelle et logique TD 7 : logique

N/A
N/A
Protected

Academic year: 2022

Partager "TD de programmation fonctionnelle et logique TD 7 : logique"

Copied!
1
0
0

Texte intégral

(1)

TD de programmation fonctionnelle et logique TD 7 : logique

Analyse de v´erit´e

Au moyen d’une analyse de v´erit´e, prouver les ´egalit´es suivantes : 1. ¬(a∨b) = (¬a)∧(¬b).

2. a→b= (¬b)(¬a)(c’est la formule du raisonnement par contrapos´ee).

3. (a∧b)∨c= (a∨c)∧(b∨c).

4. (a∨b)∧c= (a∧c)∨(b∧c).

Remarque : prouvez l’´egalit´eA=Best ´equivalent `a montrer queA↔Best une tautologie.

Mise sous Forme Normale Conjonctive

Mettre sous Forme Normale Conjonctive les formules suivantes (on pourra se servir des formules d´emontr´ees `a la section pr´ec´edente) :

((p(q∨r))∧((q∨s)→(t∧u)))∧ ¬t

M´ethode de r´esolution

Montrer par r´efutation que : 1.

((a∨b∨ ¬d)∧(¬a∨c∨ ¬d)∧(¬b)∧d)→c 2.

(((p(q∨r))∧((q∨s)→(t∧u)))∧ ¬t)→(p→r)

Transcription d’un ´enonc´e

Une association est r´egie par le r`eglement int´erieur suivant :

1. Les membres de la direction financi`ere doivent ˆetre choisis parmi ceux de la direction g´en´erale.

2. Nul ne peut ˆetre `a la fois membre de la direction g´en´erale et de la direction de la biblioth`eque s’il n’est membre de la direction financi`ere.

3. Aucun membre de la direction de la bibioth`eque ne peut ˆetre membre de la direction financi`ere.

On d´esigne par les lettref,g etb les proposition atomiques« ˆetre membre de la direction financi`ere»,«ˆetre membre de la direction g´en´erale»,«ˆetre membre de la direction de la bibioth`eque».

Ecrire sous forme d´ecompos´ee l’ensemble des trois articles du r`eglement.´

Montrer, par une analyse de v´erit´e, que cet ensemble est s´emantiquement ´equivalent `a l’ensemble de deux propo- sitions suivant :{f →g, g→ ¬b}. R´ediger un nouveau r`eglement.

1

Références

Documents relatifs

En 1225 Leonardo Fibonacci a relev´ e le d´ efi lanc´ e par Fr´ ed´ eric II de Ho- henstaufen roi de Sicile et empereur germanique, en trouvant le plus petit nombre rationnel dont

On peut donc s’aider en utilisant des équi- valents ; en se demandant dans quels cas la formule est fausse, dans quels cas elle est vraie ; en dernier recours, en calculant la table

Pour chacun des ensembles de formules T suivants, complétez I de deux façons différentes afin qu’elle soit un modèle de

Si les points du QQ-plot sont sur une droite, il y a une parfaite correspondance entre les quantiles empiriques et th´ eoriques, ainsi la loi normale est une bonne approximation de

– Si vous utilisez une calculatrice (vous n’en avez pas besoin), celle-ci doit ˆetre valid´ee par une vignette autocollante ´emise par la COOP ´etudiante ZONE... – Ne d´etachez

´ Ecrivez deux versions d’une fonction qui prend en entr´ee les coordonn´ees de deux points (sous forme de paires de r´eels) et qui renvoie le carr´e de la longueur du

Ecrire une fonction qui prend en entr´ee un entier ´ n et une paire de valeurs r´eelles qui sont en fait les valeurs du cosinus et du sinus d’un certain angle x, et qui renvoie la

Un polynˆome (creux) sera alors constitu´e d’une liste de monˆomes, cette liste n’´etant pas suppos´ee ˆetre tri´ee en fonction des degr´es des