(from the article `formal logic`) All the systems to be considered here have the same wffs but differ in their axioms. The wffs can be specified by adding to the symbols of PC a ... ...they are sometimes called proposition-forming operators on propositions or, more briefly, propositional connectives. An operator that, like ~, ... [2 ...