ABSTRACT
AsIsaidinsection1,strongexhaustivenessisanextensionof weakexhaustivenessintothenegativeextensionofthepredicateofwhclause;thatis,weakexhaustivenessasitobtainswiththenegationof thispredicate.Thus,strongexhaustivenessentailsthevalidityofboth thefollowingargumentanditsinverse:
(94)Johnknowswhoran. Johnknowswhodidnotrun.