Логическая эквивалентность
Логическая эквивалентность – двухместная логическая операция, имеет значение «истина», если оба операнда имеют одинаковое значение. Операция отражает употребление союза «тогда и только тогда» в логических высказываниях.
Обозначается в математике и логике как
или
.
Диаграмма Венна для операции
Таблица истинности выглядит следующим образом:
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/1298134001_51fea9562996ecedb3db3346a00ffde26.png)
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/thumbs/1298134025_6b00f26888edbff7cab64474708887934.png)
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/1298134028_75f8fe0256363eac0342783d6899eeb11.png)
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/thumbs/1298133997_8227f42c4ac4826f093ce169c9dd98e97.png)
Множество операций
является функционально полной:
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/1298134052_1077b7ec6c324beecfea4b8bf24ee94078.png)
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/1298134021_11f264121fda788f43eccb855e9b03698a.png)
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/1298134065_127c2dcd1c2d5f0e6da461cee3ab4f22ee.png)
…
Обозначается в математике и логике как
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/1298134050_11b18a4c4fc578ef4cfd1cc0eb0daa473.png)
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/1298134063_26f67f3cae216bf87f0c28aad8b6ad363.png)
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/1298134073_3150px-Venn1001.svg.png)
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/1298133991_4a2549b5fd397a1f889ff828163a1944d.png)
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/1298134001_51fea9562996ecedb3db3346a00ffde26.png)
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/thumbs/1298134025_6b00f26888edbff7cab64474708887934.png)
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/1298134028_75f8fe0256363eac0342783d6899eeb11.png)
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/thumbs/1298133997_8227f42c4ac4826f093ce169c9dd98e97.png)
Множество операций
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/1298133992_978fab39eeabe17bf63b5643b96e2baf3.png)
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/1298134052_1077b7ec6c324beecfea4b8bf24ee94078.png)
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/1298134021_11f264121fda788f43eccb855e9b03698a.png)
![Логическая эквивалентность Логическая эквивалентность](/uploads/posts/2011-02/1298134065_127c2dcd1c2d5f0e6da461cee3ab4f22ee.png)
…
![](/templates/simpletape-v2-105/images/full-news-line1.png)
![](/templates/simpletape-v2-105/images/full-news-line2.png)
Взгляд как в молодости
Желание каждого человека выглядеть сногсшибательно вполне естественно. Причем, не только женщины требуют от своей внешности соответствия высоким стандартам, все чаще и мужчинам приходится
ПОДРОБНЕЕ
Ринопластика: что следует знать перед операцией
Ринопластика – так на языке медиков называется хирургическая операция по улучшению или полному изменению формы носа. Этот вид хирургических операций относится к пластическим вмешательствам.
ПОДРОБНЕЕ
Дедукция
Дедукция – процесс вывода выводу, что гарантированно следует, если исходные предположения истинные и вывод на их основании действует (см. Правильность). Заключение должно базироваться исключительно
ПОДРОБНЕЕ
Рациональные числа
Рациональные числа – в математике множество рациональных чисел Q определяется как множество нескоротних дробей с целым числителем и натуральным знаменателем: или как множество решений уравнения ,
ПОДРОБНЕЕ
Алгебраическая система
Алгебраическая система (алгебраическая структура – множество G с заданным на нем набором операций и отношений, удовлетворяющим некоторой системе аксиом. Основной задачей абстрактной алгебры является
ПОДРОБНЕЕ
Коммутативность
Бинарная операция на множестве S является коммутативной, если x x y = y x x для всех x и y ? S. В противном случае x является некомутативнои. Если x x y = y x x для отдельной пары элементов …
ПОДРОБНЕЕ