Логика: Учебник для студентов юридических вузов и факультетов

а) Если истинно подчиняющее суждение (А, Е) , то тем более истинно подчиненное (соответственно I, О), но если истинно подчиненное (I, О), то подчиняющее (А, Е) неопределенно: оно может быть как истинным, так и ложным.

Примеры. Если истинно А, что «Все адвокаты — юристы», то тем более истинно I, что «По крайней мере некоторые адвокаты — юристы». Но если истинно I, что «Некоторые свидетели правдивы», то отсюда еще не следует, что истинно А: «Все свидетели правдивы».

В данном случае это ложное суждение. В других случаях А может быть истинным. Например: если истинно I, что «Некоторые адвокаты — юристы», то истинно А, что «Все адвокаты — юристы».

б) Если ложно подчиненное суждение (I, О), то тем более ложно подчиняющее (А, Е), но если ложно подчиняющее (А, Е), то подчиненное (I, О) неопределенно: оно может быть как истинным, так и ложным.

Примеры. Если ложно I, что «Некоторые граждане вправе нарушать законы», то тем более ложно А, что «Все граждане вправе нарушать законы». Но если ложно А, что «Все свидетели правдивы», то отсюда еще не следует, что ложно I: «Некоторые свидетели правдивы». В данном случае это истинное суждение. В других случаях I может быть ложным. Например: если ложно А, что «Все граждане вправе нарушать законы», то ложно и I, что «Некоторые граждане вправе нарушать законы».

Частичная совместимость (субконтрарность) — это отношение между суждениями одинакового количества, но разного качества: между частноутвердительными (I) и частноотрицательными (О) суждениями. Для нее характерна следующая закономерность: оба суждения могут быть одновременно истинными, но не могут быть одновременно ложными. Например, при истинности I, что «Некоторые свидетели правдивы», может быть истинно и О, что «Некоторые свидетели не правдивы». Но О может быть и ложным. Например: если истинно I, что «Некоторые адвокаты — юристы», то это не значит, что истинно О: «Некоторые адвокаты — не юристы». Оно ложно. Однако если ложно I, что «Некоторые граждане вправе нарушать законы», то не может быть ложным О, что «По крайней мере некоторые граждане не вправе нарушать законы». Оно будет непременно истинным.

Несовместимые суждения. Они имеют следующие логические отношения: противоположности и противоречия.

Противоположность — это отношение между общеутвердительными (А) и общеотрицательными (Е) суждениями. Оба таких суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Тут, следовательно, закономерность, обратная той, что характеризовала отношения частичной совместимости. Так, если истинно А, что «Все адвокаты — юристы», то ложно Е, что «Ни один адвокат — не юрист». И если истинно Е, что «Ни один гражданин не вправе нарушать законы», то ложно А, что «Все граждане вправе нарушать законы». Но если ложно А, что «Все свидетели правдивы», то отсюда еще не следует истинность Е; что «Ни один свидетель не правдив». В данном случае оно тоже ложное.

Истинно здесь I, что «Некоторые свидетели правдивы», и О, что «Некоторые свидетели не правдивы». В других случаях Е может быть истинным. Так, если ложно А, что «Все граждане вправе нарушать законы», то истинно Е, что «Ни один гражданин не вправе нарушать законы».

Противоречие (контрадикторность) — отношение между такими суждениями, как общеутвердительное (А) и частноотрицательное (О), общеотрицательное (Е) и частноутвердительное (I). Им присущи следующие закономерности: они не могут быть одновременно истинными и не могут быть одновременно ложными. Это «самые несовместимые» из всех суждений: между ними, образно говоря, отношения «кошки и собаки», поскольку те не могут ужиться друг с другом.

Примеры. Если истинно А, что «Все адвокаты — юристы», то ложно О, что «Некоторые адвокаты — не юристы». Если ложно А, что «Все свидетели правдивы», то истинно О, что «Некоторые свидетели не правдивы».

Вот таблица истинности (и) и ложности (л), а также неопределенности (н) простых, категорических суждений А, Е, I, О.