La restitution des travaux d'audit fiscal

476 mots 2 pages
La résolution en calcul propositionnel

Résolution
Méthode par réfutation :

∆ |= A ssi A s'obtient à partir de ∆ par résolution ∆ |= A ssi ∆ ∪ {¬A} insatisfaisable i ∆ ∪ {¬A} est réfutable

2

Forme Normale Conjonctive (DNC) Dénition :
 Un littéral est une formule de la forme p ou ¬p, où p est une lettre propositionnelle quelconque.  Une clause est une formule de la forme l1 ∨ . . . ∨ ln , n ≥ 0, où chaque li est un littéral. La clause vide (n = 0) s'écrit ⊥.  Une formule est en forme normal conjonctive ssi elle est de la forme D1 ∧ . . . ∧ Dn , n ≥ 0, où chaque Di est une clause.

3

Forme Normale Disjonctive (FND) Dénition :
 Une conjonction élémentaire est une formule de la forme l1 ∧ . . . ∧ ln , n ≥ 0, où chaque li est un littéral.La conjonction élémentaire vide (n = 0) s'écrit .  Une formule est en forme normal disjonctive ssi elle est de la forme C1 ∨ . . . ∨ Cn , n ≥ 0, où chaque Ci est une conjonction élémentaire.

4

Existence de la FND et de la FNC Théorème : Soit A une formule.
 Il existe une formule A1 en FND telle que A1 ≡ A.  Il existe une formule A2 en FNC telle que A2 ≡ A.

Lemme : Soit ∆ = {A1 , . . . , An } et F N C∆ = {E1 , . . . , En } où chaque Ei est une FNC de Ai . Pour chaque Ei de la forme Di1 ∧ . . . ∧ Dik on construit CEi = {Di1 , . . . , Dik }. Soit C∆ = 1≤i≤n CEi . Alors ∆ est satisfaisable ssi C∆ est satisfaisable.
5

Formes normales et tables de vérité p q r A A≡ (p ∧ q ∧ ¬r) ∨ (p ∧ ¬q ∧ r)∨ (¬p ∧ q ∧ r) ∨ (¬p ∧ ¬q ∧ ¬r) ¬A ≡ (p ∧ q ∧ r) ∨ (p ∧ ¬q ∧ ¬r)∨ (¬p ∧ q ∧ ¬r) ∨ (¬p ∧ ¬q ∧ r) A≡ (¬p ∨ ¬q ∨ ¬r) ∧ (¬p ∨ q ∨ r)∧ (p ∨ ¬q ∨ r) ∧ (p ∨ q ∨ ¬r)

V V V F V V F V F V F F F F F F V F F V V V

V V V V F F F F V F

6

Règles de la résolution
Axiomes : aucun Règles d'inférence : (D et C sont deux clauses)

D∨p

C ∨ ¬p

D∨C

(coupure)

p

¬p ⊥

(cas particulier)

D∨p∨p D∨p

(f actorisation)

7

Dérivation par résolution Exemple : p∨r∨s r ∨ ¬s ¬r p∨r∨r p∨r p

en relation

  • 12 Rapport daudit
    3242 mots | 13 pages
  • procédure de controle interne
    12976 mots | 52 pages
  • Audit fiscal
    1791 mots | 8 pages
  • Intervention du commissaire aux comptes dans le cadre d'un audit post implémentation d'un progiciel de consolidation : proposition d'une méthodologie d'audit
    9599 mots | 39 pages
  • Lexique audit anglais français
    14294 mots | 58 pages
  • Audit fiscal
    5304 mots | 22 pages
  • Audit fiscal
    7432 mots | 30 pages
  • Synhèse de prise de connaissance
    1235 mots | 5 pages
  • Termes techniques d'audit
    13873 mots | 56 pages
  • Audit et controle de gestion
    4510 mots | 19 pages