З Вікіпедії, вільної енциклопедії
Еквіваленція, також еквівалентне судження, тотожне судження, логічна рівність — вид складних суджень, які будуть істинними у тому разі, коли збігатимуться істиннісні значення тих суджень, із яких вони складаються, тобто тоді, коли обидві її частини будуть або разом істинні, або разом хибні.[1] Це судження, в які об'єднуються прості судження зі взаємною (прямою або зворотною) умовною залежністю.[2] Оператор еквіваленції позначається символами: “↔”, “≡”.[1] Еквівалентні судження утворюються з простих, а аналогом оператора еквіваленції в еквівалентних судженнях в українській мові є сполучник «якщо і тільки якщо..., то...», «тільки у тому випадку ... якщо», «тоді і тільки тоді ... коли», «якщо ... тоді ..., і навпаки», «... еквівалентне ...» та інші.[2][1] Екзистенційні судження є окремим видом атрибутивних суджень, в яких ідеться про наявність або відсутність самого предмета думки.[1] Предикат них позначається словами: «існує» («не існує»), «є» («не є»), «був» («не був») тощо. Елементарні (прості) судження містять у своїй структурі лише один суб'єкт і один предикат.[1]
| Еквіваленція | |
 | |
| Зображений на | ⇔[d], ⟺[d], ↔[d] і ≡[d] |
|---|---|
| Підтримується Вікіпроєктом | Вікіпедія:Проєкт:Математика |
| Команда TeX | \iff |
Seamless Wikipedia browsing. On steroids.