previous up next
Go backward to Proof
Go up to Top
Go forward to Disjunctions
RISC-Linz logo

Notation

Because of associativity, setting of parentheses in nestings of conjunctive formulas do not matter.


Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next