Information for "Deductive closure"

Basic information

Display title	Deductive closure
Default sort key	Deductive closure
Page length (in bytes)	2,016
Namespace ID	0
Page ID	205828
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	0
Counted as a content page	Yes
HandWiki item ID	None

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

Page creator	imported>Ohm
Date of page creation	13:45, 31 July 2022
Latest editor	imported>Ohm
Date of latest edit	13:45, 31 July 2022
Total number of edits	1
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Hidden category (1)	This page is a member of a hidden category: Category:All articles with unsourced statements
Transcluded templates (29)	Templates used on this page: Template:Category handler (view source) Template:Citation needed (view source) Template:Delink (view source) Template:Fix (view source) Template:Fix/category (view source) Template:Imbox (view source) Template:Main (view source) Template:Main other (view source) Template:Reflist (view source) Template:Reflist/styles.css (view source) Template:Short description (view source) Template:Sourceattribution (view source) Template:Tmath (view source) Module:Arguments (view source) Module:Category handler (view source) Module:Category handler/blacklist (view source) Module:Category handler/config (view source) Module:Category handler/data (view source) Module:Category handler/shared (view source) Module:Check for unknown parameters (view source) Module:Delink (view source) Module:Message box (view source) Module:Message box/configuration (view source) Module:Namespace detect/config (view source) Module:Namespace detect/data (view source) Module:No globals (view source) Module:String (view source) Module:Unsubst (view source) Module:Yesno (view source)

Description	Content
Article description: (`description`) This attribute controls the content of the `description` and `og:description` elements.	In mathematical logic, a set $ {\mathcal {T}} $ of logical formulae is deductively closed if it contains every formula $ \varphi $ that can be logically deduced from $ {\mathcal {T}} $, formally: if $ {\mathcal {T}}\vdash \varphi $ always implies $ \varphi \in {\mathcal {T}} $. If $ T $ is a set of...

Information from Extension:WikiSEO