and I use lines to express the correlation of the truth or falsity of the whole proposition with the truthcombinations of its truth arguments, in the following way So this sign, for instance, would represent the proposition.