Template:Formal Logic/TOCPageNav

Begin

[[Formal Logic/{{{up}}}|↑ {{{up}}}]]

End

Usage

Used to navigate modules at the second level below the {{{base}}}. In particular, intended for navitating modules at the second level below [[Formal Logic]].

Example

{{Formal Logic/BookNav|base=Formal Logic|up=Sentential Logic|prev=Formal Syntax|next=Formal Semantics}}

Parameter base

• The grandparent to the current page.
• In the example, [[Formal Logic]].
• Intended and defaults to "Formal Logic" (relosving to [[Formal Logic]]).
• May be missing, but must not be blank (i.e., you can omit the parameter, but do not use "|base=|").

Paramteter up

• [[base/up]] is the parent to the current page.
• In the example, [[Formal Logic/Sentential Logic]].
• There is no default. The parameter must be neither blank nor missing.

Parameter prev

• [[base/up/prev]] is the pervious page at the current level.
• In the example, [[Formal Logic/Sentential Logic/Formal Syntax]].
• If blank, to '''Begin''' is substituted for a link to the previous page.
• May be blank, but must not be missing (i.e., you can use "|prev=|", but do not omit the parameter entirely).

Parameter next

• [[base/up/next]] is the next page at the current level.
• In the example, [[Formal Logic/Sentential Logic/Formal Semantics]].
• If blank, to '''End''' is substituted for a link to the next page.
• May be blank, but must not be missing (i.e., you can use "|next=|", but do not omit the parameter entirely).</noincude>