18 lines
510 B
Markdown
18 lines
510 B
Markdown
---
|
|
up:
|
|
- "[[valuation d'une formule logique|valuation]]"
|
|
tags:
|
|
- s/maths/logique
|
|
aliases:
|
|
- satisfiable
|
|
sibling:
|
|
- "[[formule logique satisfaite par une valuation]]"
|
|
---
|
|
|
|
> [!definition] Définition
|
|
> Soit $F$ une fomule logique
|
|
> On dit que $F$ est **satisfiable** si il existe une valuation $v$ qui [[formule logique satisfaite par une valuation|satisfait]] $F$
|
|
> Autrement dit si :
|
|
> $\exists v \in \{ 0, 1 \}^{V},\quad v(F) = 1$
|
|
> où $V$ est l'ensemble des variables propositionnelles
|
|
^definition |