ABSTRACT

AsIsaidinsection1,strongexhaustivenessisanextensionof weakexhaustivenessintothenegativeextensionofthepredicateofwhclause;thatis,weakexhaustivenessasitobtainswiththenegationof thispredicate.Thus,strongexhaustivenessentailsthevalidityofboth thefollowingargumentanditsinverse:

(94)Johnknowswhoran. Johnknowswhodidnotrun.