A pareina nuo B silpnąja prasme, jei ir tik jei visiems galimiems pasauliams w bei visiems x ir y pasaulyje w galioja, kad jei x ir y turi tas pačias B savybes, tai x ir y turi tas pačias A savybes.
A pareina nuo B silpnąja prasme, jei ir tik jei visiems galimiems pasauliams w bei visiems x ir y pasaulyje w galioja, kad jei x ir y turi tas pačias B savybes, tai x ir y turi tas pačias A savybes.