as Hence the proposition ∼(p.∼q) reads as follows If we here substitute 'p' for 'q' and examine how the outermost and are connected with the innermost ones, the result will be that the truth of the whole proposition is correlated with all the truth combinations of its argument, and its falsity with none of the truthcombinations.