Browsable Logic Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: markup/scientific/logic/abstract/extracted
Source used for this grammar: Jurgen Vinju, lang::logic::ast::Booleans, 2011–2012 [GitHub]
Source used for this grammar: Jurgen Vinju, lang::logic::ast::Propositions, 2011–2012 [GitHub]

Summary

• Total 2 production rules with 11 top alternatives and 53 symbols.
• Vocabulary: 15 = 1 nonterminals + 0 terminals + 14 labels + 0 markers.
• Total 1 nonterminal symbols: 1 defined (Formula), 0 root (—), 0 top (—), 0 bottom (—).
• Total 14 labels: [true], [false], [arg], [not], [lhs] ⁵, [rhs] ⁵, [and] ², [args] ², [or] ², [if], [fi], [iff], [x], [id].

Syntax

Formula ::=
	[true]::ε
	[false]::ε
	[not]::[arg]::Formula
	[and]::([lhs]::Formula [rhs]::Formula)
	[and]::[args]::Formula*
	[or]::([lhs]::Formula [rhs]::Formula)
	[or]::[args]::Formula*
	[if]::([lhs]::Formula [rhs]::Formula)
	[fi]::([lhs]::Formula [rhs]::Formula)
	[iff]::([lhs]::Formula [rhs]::Formula)

Formula ::=
	[id]::[x]::string

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]