15 lines
662 B
Markdown
15 lines
662 B
Markdown
---
|
|
up:
|
|
- "[[valuation d'une formule logique]]"
|
|
tags:
|
|
- s/maths/logique
|
|
aliases:
|
|
- évaluation
|
|
---
|
|
|
|
> [!proposition]+
|
|
> Soit $F$ une [[formule logique]] a variables propositionnelles dans $V$
|
|
> Soit $v \in \{ 0, 1 \}^{V}$ une [[valuation d'une formule logique|valuation]]
|
|
> On cherche à **évaluer** $F(v)$.
|
|
> On transforme donc $F$ en une formule sans variables propositionnelles, en remplacant chaque variable par sa **valeur** suivant $v$.
|
|
> Le [[théorème de lecture unique]] nous indique ensuite la non-ambiguité de la notation, et il suffit donc de connaitre les tables de vérité des opérateurs pour en déduire étape par étape la valeur de |