oskar
15 lines
393 B
Markdown
15 lines
393 B
Markdown
---
|
|
up:
|
|
- "[[formule logique|formules logiques]]"
|
|
tags:
|
|
- s/maths/logique
|
|
aliases:
|
|
- satisfaisable
|
|
---
|
|
|
|
> [!definition] Définition
|
|
> Soit $\mathscr{A}$ un ensemble de formules du [[calcul propositionnel]]
|
|
> $\mathscr{A}$ est **satisfaisable** (ou **consistant**, ou **non contradictoire**) si et seulement s'il existe au moins une [[valuation]] qui satisfait $\mathscr{A}$
|
|
^definition
|
|
|