Визначення бикондиции

Якщо ми подивимося на термін bicondicional в словнику Королівської іспанської академії ( RAE ), ми його не знайдемо. Концепція, однак, часто використовується в галузі філософії та логіки .

Двобічний - це твердження, яке має подвійну обумовленість , закріплену формулами, які вона відноситься до бінарного способу. У розмовній мові ідея пов'язана з виразом "якщо і тільки якщо" : двояковим є істинним, якщо терміни, якими він посилається, мають значення істини (тобто, якщо дві формули вірні або якщо дві формули невірні) ). З іншого боку, коли формули мають різні значення істини (оскільки один є помилковим, а інше істинно), двоякісний є помилковим.

Інакше кажучи, двокондиційний означає, що R є достатньою і необхідною умовою для S. Також можна вказати, що "якщо R, то S" і що "якщо S, то R" .

Візьмемо приклад наступного твердження: «Людина має біологічне відношення до чоловічого статі, якщо у нього є чоловічі репродуктивні органи». Залишивши осторонь питання культури та ідентичності, можна стверджувати, що людина є частиною чоловічого роду "якщо і тільки якщо" вона має чоловічі репродуктивні органи.

Повертаючись до наведених вище формул: "Якщо людина належить біологічно до чоловічої статі, то вона має чоловічі репродуктивні органи". Це також може бути виражене у зворотному порядку: "Якщо у людини є чоловічі репродуктивні органи, то вона належить біологічно до чоловічої статі". Як ви можете бачити, у нас є двоякісна пропозиція : вона вимагає, щоб обидва терміни мали однакову істинну цінність, щоб бути правдою.

Окрім згаданих нами «частинок» або «неексусів», які є істотними в бікондиційному, ми не можемо ігнорувати інші елементи, які в ньому так само використовуються. Ми маємо на увазі, наприклад, "необхідний і достатній для" або "еквівалент".

Так само ми не можемо не помітити й інших дійсно важливих аспектів бікондиції. Ми маємо на увазі, наприклад, те, що він також сильно використовується в галузі математики. У цьому випадку необхідно зазначити, що символи, що використовуються для впливу на двосторонній, є двоколісними стрілками, по одному в кожному напрямку.

Крім того, ми повинні мати на увазі, що з розвитком технології ми також стикаємося з тим, що це також важливо в межах так званої цифрової логіки. У цьому випадку дводольний оператор, який використовується, є XNOR.

На додаток до зазначеного, для того, щоб узагальнити певні ідеї, ми повинні виходити з того, що двобічна пропозиція має різні форми перекладу, серед яких можна виділити наступні: \ t
-P є необхідною і достатньою умовою для q.
-P так і тільки так q. Прикладом може бути: "P = Трикутник - це прямокутник. Q = Трикутник має прямий кут ", з якого виходить, що трикутник є прямокутником, якщо і тільки якщо він має прямий кут".
-Si p, потім q і взаємно.
-Q є необхідною і достатньою умовою для p.
-Q так і тільки так p.
-Якщо тоді q і взаємно.

border=0

Пов'язані визначення

Пошук іншого визначення