Удивительная логика

Импликативное суждение (импликация) – это сложное суждение с условным союзом ЕСЛИ…ТО, который обозначается знаком «=>». С помощью этого знака импликативное суждение, состоящее из двух простых суждений, можно представить в виде формулы: а => в (читается «если а, то b»), где а и b – это два простых суждения. Например, сложное суждение Если вещество является металлом, то оно электропроводно представляет собой импликативное суждение (причинно-следственную связь) двух простых суждений: Вещество является металлом и Вещество электропроводно. В данном случае эти два суждения связаны таким образом, что из первого вытекает второе (если вещество – металл, то оно обязательно электропроводно), однако из второго не вытекает первое (если вещество электропроводно, то это вовсе не означает, что оно является металлом).

Первая часть импликации называется основанием, а вторая – следствием; из основания вытекает следствие, но из следствия не вытекает основание. Формулу импликации: а => b, можно прочитать так: «если а, то обязательно b, но если b, то не обязательно а».

Эквивалентное суждение (эквиваленция) – это сложное суждение с союзом ЕСЛИ…ТО не в его условном значении (как в случае с импликацией), а в тождественном (эквивалентном). В данном случае этот союз обозначается знаком «<=>», с помощью которого эквивалентное суждение, состоящее из двух простых суждений, можно представить в виде формулы: а <=> b (читается «если а, то b, и если b, то а»), где а и b – это два простых суждения. Например, сложное суждение Если число является четным, то оно делится без остатка на 2 представляет собой эквивалентное суждение (равенство, тождество) двух простых суждений: Число является четным и Число делится без остатка на 2. Нетрудно заметить, что в данном случае два суждения связаны так, что из первого вытекает второе, а из второго – первое: если число четное, то оно обязательно делится без остатка на 2, а если число делится без остатка на 2, то оно обязательно четное.

Понятно, что в эквиваленции (в отличие от импликации) не может быть ни основания, ни следствия, так как две ее части являются равнозначными суждениями.

Отрицательное суждение (отрицание) – это сложное суждение с союзом НЕВЕРНО, ЧТО, который обозначается знаком «¬». С помощью этого знака отрицательное суждение можно представить в виде формулы: ¬ а (читается «неверно, что а»), где а – это простое суждение. Здесь может возникнуть вопрос: где же вторая часть сложного суждения, которую мы обычно обозначали символом b? В записи ¬ а, уже присутствуют два простых суждения: а – это какое-то утверждение, а знак «¬» – его отрицание. Перед нами как бы два простых суждения – одно утвердительное, другое отрицательное. Пример отрицательного суждения: Неверно, что все мухи являются птицами.