V Пример. «Верно, что некоторые учащиеся нашей группы — музыканты», но истинно или ложно, что «Все учащиеся нашей группы — музыканты»

«Верно, что некоторые учащиеся нашей группы — музыканты», но истинно или ложно, что «Все учащиеся нашей группы — музыканты», логически не установить; «Верно, что некоторые учащиеся нашей группы не являются музыкантами», но истинно ли или ложно, что «Ни один учащийся нашей группы не является музыкантом»?

Не представляется возможным получить логическое следование применительно к суждениям в отношении подчинения и при использовании в качестве посылок ложных общеутвердительных и общеотрицательных суждений, т. е. ложность общего суждения оставляет частное суждение неопределённым.

V Пример

«Неверно, что все учащиеся нашей группы — музыканты», но истинно ли или ложно, что «Некоторые учащиеся нашей группы — музыканты» логически не установить.

В отношении частичного совпадения (субконтрарности) находятся суждения с одинаковыми терминами, имеющие разное качество и частные по количеству. Такие суждения могут быть одновременно истинными, но не могут быть одновременно ложными. Если одно из них ложно, то другое с необходимостью истинно. В таком случае имеет место закон субконтрарного исключённого третьего.

V Пример

Из ложности суждения «Некоторые металлы не являются электропроводными» логически следует истинность суждения «Некоторые металлы являются электропроводными», что может быть формализовано: ØSoP |= SiP. Соответственно, из формулы ØSiP логически следует истинность формулы SoP (ØSiP |= SoP), например «Если неверно, что некоторые киты являются рыбами, то истинно, что некоторые киты рыбами не являются».

Из истинности же одного из суждений, находящихся в отношении субконтрарности, истинность или ложность другого логически не следует.