Відношення еквівалентності
Еквівалентними є такі судження, значення істинності яких збігається, тобто вони є одночасно істинними або одночасно хибними. Еквівалентність між судженнями записується формулою: А є В (А еквівалентне В).
| А | В |
| 1 | І |
| O | O |
Серед категоричних суджень (А, Е, І, О) можна виділити такі еквівалентні відношення:
1) ~ A(SP) ? O(SP).
Заперечне загальностверджувальне судження еквівалентне частко- возаперечному. Наприклад, судження “Неправильно, що всі студенти є членами наукових гуртків” еквівалентне судженню “Деякі студенти не є членами наукових гуртків”.
2) ~ E(SP) ? I(SP).
Заперечне загальнозаперечне судження еквівалентне частково- стверджувальному. Наприклад, судження “Неправильно, що жоден студент не є відмінником” еквівалентне судженню “Деякі студенти є відмінниками”.
3) ~ I(SP) ? E(SP).
Заперечне частковостверджувальнс судження еквівалентне загаль- нозаперечному. Наприклад, “Неправильно, що деякі кентаври живуть у Греції” еквівалентне “Жоден кентавр не живе у Греції”.
4) ~ O(SP) ? A(SP).
Заперечне частковозаперечне судження еквівалентне загальностверд- жувальному судженню. Наприклад, “Неправильно, що деякі люди не вживають ліків” еквівалентне “Усі люди вживають ліки”.
3.