|
|
|
@ -296,6 +296,7 @@ En logique mathématiques, les **assertions** sont représentées par des *lettr |
|
|
|
[EN] (auto-trad.!) |
|
|
|
_assertion is a genaral term, and statement = assertion that may be true or false ?_ |
|
|
|
|
|
|
|
---------------------------------------------------------- |
|
|
|
|
|
|
|
*[Math-Logic-11] : valor de verdad / valeur de vérité / ?* |
|
|
|
|
|
|
|
|
