Logique propositionnelle classique - MLO - Ensiie

More documents

Recommendations

Info

Le calcul des propositions (aussi appelé logique propositionnelle, ou bien CP0) est une des logiques les plus simples, elle ne comporte que des variables et des connecteurs logiques. Catherine Dubois, Julien Narboux (Strasbourg) () Logique propositionnelle classique 2 / 60
Premier volet : la syntaxe Catherine Dubois, Julien Narboux (Strasbourg) () Logique propositionnelle classique 3 / 60
Page 1: Logique propositionnelle classique
Page 5 and 6: Exemples de formules (avec V = {p,
Page 7 and 8: Deuxième volet : la sémantique Ca
Page 9 and 10: Théorème soit une formule F , soi
Page 11 and 12: ◮ Si I (F ) = 1 on dit que I sati
Page 13 and 14: Un petit problème Un psychiatre po
Page 15 and 16: Théorème Σ |= F ⇒ G ssi Σ, F
Page 17 and 18: Equivalences et tautologies par sub
Page 19 and 20: Corollaires : 1. Si |= F alors |= F
Page 21 and 22: Décidabilité Les notions de valid
Page 23 and 24: ◮ Exemples de formules en forme n
Page 25 and 26: Exemple ¬(p ⇒ q ∧ q ⇒ p) Cat
Page 27 and 28: Exemple ¬(p ⇒ q ∧ q ⇒ p) ¬(
Page 33 and 34: Attention ! La formule peut grandir
Page 35 and 36: Utilité pratique de SAT ◮ Encode
Page 37 and 38: Algorithmes incomplets ◮ Avantage
Page 39 and 40: Preuve formelle et règles de dédu
Page 41 and 42: Règles de déduction : généralit
Page 43 and 44: Déduction naturelle Il y a trois s
Page 45 and 46: Déduction naturelle : élimination
Page 47 and 48: Déduction naturelle : Absurdité c
Page 49 and 50: Exemple : F ∧ G ⇒ G ∧ F est u
Page 51 and 52: Exemple : F ∧ G ⇒ G ∧ F est u
Page 53 and 54:
Exemple : F ∧ G ⇒ G ∧ F est u
Page 55 and 56:
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
Encore un autre exemple : démontro
Page 63 and 64:
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Exercices Prouver que: ◮ ⊢ A
Page 71 and 72:
Règles dérivées Quand on doit d
Page 73 and 74:
Exemple : manipuler les hypothèses
Page 75 and 76:
Solution I ¬¬A, ¬A ⊢ ¬¬A ¬
Page 77 and 78:
Solution III (A ⇒ B) ⇒ A, ¬A
Page 79 and 80:
Correction et complétude Lien entr
Page 81:
• Cas 3 : La démonstration H ⊢
show all

Logique propositionnelle classique - MLO - Ensiie

Create successful ePaper yourself

Delete template?

Save as template?