Lazi

ctruth, vérité condionnelle, $CT[ (...) ⊢ x ]

Contexte

En lazi, l'objet d'une déduction n'est pas une vérité mais un ensemble fini de conditions et une vérité. Les conditions sont des formules qui doivent être vraies pour pouvoir déduire la vérité. Ce couple ( conditions, conclusion ) est nommé "ctruth" ou en français "vérité conditionnelle".

Définition

Pour m une mathématique, on dit que x est une ctruth, ou encore une vérité conditionnelle, ssi x est une paire $T[ liste de formules (dites conditions), formule (dite conclusion) ].

Le sens d'une ctruth est : on peut déduire la conclusion si les conditions sont vérifiées.

Si x1, ... xn sont les conditions et y la conclusion, la ctruth se note $CT[ ( x1, ..., xn ) ⊢ y ]

@lexique