previous up next
Go backward to
Go up to Top
Go forward to Syntax of Propositional Logic
RISC-Linz logo

Propositional Logic

Rules for construction of formulas and computation of their meanings.


Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next