Утверждение, от латинского affirmatio, является действием и следствием подтверждения или подтверждения . Обычно термин используется для обозначения деяния, которое позволяет человеку выразить свое согласие с утверждением или причиной. Например: «Жестом подтверждения допрашиваемый признал, что он знал подозреваемого», «Утверждение женщины удивило соседей», «Я не могу согласиться с таким утверждением» .

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

Это не означает, что большой процент людей лгут ежедневно, но что значение слова «утверждение» широко, и что оно зависит от контекста, в котором оно используется. Кроме того, утверждать что-то ложное, полагая, что это правда, нельзя назвать ложью, но, в любом случае, небрежностью .

Логические эквиваленты

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

Как бы легко это ни казалось, чтобы проанализировать истинность утверждения в повседневной жизни, логика выходит за рамки простой проверки, которую мы можем выполнять на ежедневной основе, и разбивает каждое выражение на части, изучает их взаимосвязь и Он рассматривает их так, как если бы они были математическими уравнениями, так что демонстрация эквивалентности дает результаты, которые невозможно опровергнуть.

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