deductive closure
deductive closure · deductive closures
The set of all the statements that can be deduced from a given set of statementsThe set of all the statements that can be deduced from a given set of statements.
Значення
значень: 1The set of all the statements that can be deduced from a given set of statements.
Форми
множина: deductive closures| Однина | deductive closure |
|---|---|
| Множина | deductive closures |
правильне