два высказывания A и B, каждое из которых следует из другого. Такие высказывания либо оба ложны, либо оба истинны (верны), связываются знаком эквивалентно сти A <=> B
Эквивалентность
Определение 6
Эквивалентность – сложное высказывание вида "$A$, если и только...
", тоже обозначается "эквивалентность"....
Если обозначить эквивалентность символом $↔$, то для формулы $A ↔ B$ таблица истинности будет выглядеть...
Эквивалентность истинна тогда и только тогда, когда все составляющие ее высказывания либо ложны, либо...
Соответственно, эквивалентность является ложной, когда одно из входящих в нее высказываний истинно, а
In represented work the opportunity of use of the semantic information of a pragmatical level is analyzed at construction of a tree of deep syntax with reference to natural language's statement's sense's comparison's problems
несколько базовых методов доказательства:
Метод редукции: путем последовательного применения логических эквивалентностей...
Из одних высказываний могут быть построены другие, более сложные....
высказывания, при котором истинностное значение сложного высказывания зависит только от истинностных...
значений исходных высказываний....
Эквивалентность: две пропозициональные формулы называются эквивалентными, если они имеют одинаковые значения
Описывается предложенная авторами методика концептуально-ситуационного моделирования высказываний естественного языка для задачи обучения интеллектуального агента распознаванию ситуаций смысловой эквивалентности. Предложен подход к формированию агентом текущих концептуальных знаний об изучаемом языке, включая выявление, обобщение и применение закономерностей в ситуациях употребления высказываний.
способ определения множества, при котором задаются некоторые элементы определяемого множества и некоторые правила, позволяющие из имеющихся получать другие элементы этого множества; в частном случае определение понятия P (n), зависящего от натурального параметра n, протекает по следующей схеме: задаются P (0) и правило получения P (n + 1) от n и P (n); напр., факториал n! определяется так: 0! = 1, (n + 1)! = (n + 1) · n!
e число
число, обладающее свойствами: a ± 0 = a, a ⋅ 0 = 0; деление на нуль невозможно
