Difference between revisions of "Template:Logic"

From blackwiki
Jump to navigation Jump to search
imported>Gregbard
(duplicate link)
imported>Gregbard
m (logical consequence)
Line 29: Line 29:
  
 
  |group5 = [[Mathematical logic|Mathematical]]
 
  |group5 = [[Mathematical logic|Mathematical]]
  |list5  = {{nowrap begin}} [[Formal language]]{{·w}} [[Formal grammar]]{{·w}} [[Formal system]]{{·w}} [[Deductive system]]{{·w}} [[Formal proof]]{{·w}} [[Formal interpretation]]{{·w}} [[Formula (mathematical logic)|Formula]]{{·w}} [[Well-formed formula|Wff]]{{·w}} [[Set]]{{·w}} [[Element (mathematics)|Element]]{{·w}} [[Class (set theory)|Class]]{{·w}} [[Axiom]]{{·w}} [[Rule of inference]]{{·w}} [[Relation (mathematics)|Relation]]{{·w}}[[Theorem]]{{·w}}  [[Consistency]]{{·w}} [[Soundness]]{{·w}} [[Completeness]]{{·w}} [[Decidability (logic)|Decidability]]{{·w}} [[Boolean satisfiability problem|Satisfiability]]{{·w}} [[Independence (mathematical logic)|Independence]] {{·w}} [[Set theory]]{{·w}} [[Axiomatic system]]{{·w}} [[Proof theory]]{{·w}} [[Model theory]]{{·w}} [[Recursion theory]]{{·w}} [[Type theory]]{{·w}} [[Syntax (logic)|Syntax]]{{·w}} [[Formal semantics]]{{·w}} [[Syntactic consequence]] {{nowrap end}}
+
  |list5  = {{nowrap begin}} [[Formal language]]{{·w}} [[Formal grammar]]{{·w}} [[Formal system]]{{·w}} [[Deductive system]]{{·w}} [[Formal proof]]{{·w}} [[Formal interpretation]]{{·w}} [[Formal semantics]]{{·w}} [[Formula (mathematical logic)|Formula]]{{·w}} [[Well-formed formula|Wff]]{{·w}} [[Set]]{{·w}} [[Element (mathematics)|Element]]{{·w}} [[Class (set theory)|Class]]{{·w}} [[Axiom]]{{·w}} [[Rule of inference]]{{·w}} [[Relation (mathematics)|Relation]]{{·w}}[[Theorem]]{{·w}}  [[Logical consequence]]{{·w}} [[Consistency]]{{·w}} [[Soundness]]{{·w}} [[Completeness]]{{·w}} [[Decidability (logic)|Decidability]]{{·w}} [[Boolean satisfiability problem|Satisfiability]]{{·w}} [[Independence (mathematical logic)|Independence]] {{·w}} [[Set theory]]{{·w}} [[Axiomatic system]]{{·w}} [[Proof theory]]{{·w}} [[Model theory]]{{·w}} [[Recursion theory]]{{·w}} [[Type theory]]{{·w}} [[Syntax (logic)|Syntax]]{{·w}}{{nowrap end}}
  
 
  |group6 = [[Propositional logic|Propositional]]
 
  |group6 = [[Propositional logic|Propositional]]

Revision as of 22:12, 19 May 2008


Initial visibility: currently defaults to autocollapse

To set this template's initial visibility, the |state= parameter may be used:

  • |state=collapsed: {{Logic|state=collapsed}} to show the template collapsed, i.e., hidden apart from its title bar
  • |state=expanded: {{Logic|state=expanded}} to show the template expanded, i.e., fully visible
  • |state=autocollapse: {{Logic|state=autocollapse}}
    • shows the template collapsed to the title bar if there is a {{navbar}}, a {{sidebar}}, or some other table on the page with the collapsible attribute
    • shows the template in its expanded state if there are no other collapsible items on the page

If the |state= parameter in the template on this page is not set, the template's initial visibility is taken from the |default= parameter in the Collapsible option template. For the template on this page, that currently evaluates to autocollapse.

ar:قالب:منطق fa:الگو:منطق mk:Шаблон:Логика zh:Template:??