Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03650331n
Noun Concept
Categories: Set theory, Logical consequence, Deductive reasoning, Propositional calculus, Mathematical logic stubs
EN
deductive closure  Closure  Deductive closure principle
EN
In mathematical logic, a set T {\displaystyle {\mathcal {T}}} of logical formulae is deductively closed if it contains every formula φ {\displaystyle \varphi } that can be logically deduced from T {\displaystyle {\mathcal {T}}}, formally: if T ⊢ φ {\displaystyle {\mathcal {T}}\vdash \varphi } always implies φ ∈ T {\displaystyle \varphi \in {\mathcal {T}}}. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic, a set T {\displaystyle {\mathcal {T}}} of logical formulae is deductively closed if it contains every formula φ {\displaystyle \varphi } that can be logically deduced from T {\displaystyle {\mathcal {T}}}, formally: if T ⊢ φ {\displaystyle {\mathcal {T}}\vdash \varphi } always implies φ ∈ T {\displaystyle \varphi \in {\mathcal {T}}}. Wikipedia
A principle in logic Wikipedia Disambiguation
The set of all the statements that can be deduced from a given set of statements. Wiktionary
IS A
property
Wikipedia
EN
deductive closure
Wikidata
EN
deductive closure
Wiktionary
EN
deductive closure
Wikipedia Redirections
EN
Closure (logic), Deductive closure principle

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License