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>