oskar
21 lines
583 B
Markdown
21 lines
583 B
Markdown
---
|
|
up:
|
|
- "[[calcul propositionnel]]"
|
|
tags:
|
|
- s/maths/logique
|
|
aliases:
|
|
---
|
|
|
|
> [!definition] [[ensemble de formules satisfait]]
|
|
> Soit $\mathscr{A}$ un ensemble de formules du [[calcul propositionnel]] sur l'ensemble de variables propositionnelles $P$
|
|
> Soit $\delta$ une [[valuation d'une formule logique|valuation]] sur $P$
|
|
> On dit que $\mathscr{A}$ est **satisfait** par $\delta$ si et seulempent si $\delta$ satisfait toutes les formules qui appartiennent à $\mathscr{A}$ :
|
|
> $\boxed{\forall F \in \mathscr{A},\quad \delta(F) = 1}$
|
|
^definition
|
|
|
|
# Propriétés
|
|
|
|
# Exemples
|
|
|
|
|