Jei ieškosime termino „ dvigubas “ Karaliaus Ispanijos akademijos ( RAE ) žodynuose, mes to nerasime. Tačiau koncepcija dažnai naudojama filosofijos ir logikos srityje .

Dvigubas yra pasiūlymas, turintis dvigubą sąlygą, nustatytą formulėmis, kurias jis sieja dvejetainiu būdu. Kalbos kalba ši idėja siejama su išraiška „jei ir tik tada, jei“ : dvejopos sąlygos yra teisingos, jei jame nurodytos sąvokos turi tiesos vertę (ty, jei dvi formulės yra teisingos arba jei dvi formulės yra klaidingos) ). Kita vertus, kai formulės turi skirtingas tiesos reikšmes (nes viena yra klaidinga ir kita tiesa), dvejopos sąlygos yra klaidingos.

Kitaip tariant, dvejopos sąlygos reiškia, kad R yra pakankama ir būtina sąlyga S. Taip pat galima nurodyti, kad "jei R, tada S" ir "jei S, tada R" .

Paimkite tokį teiginį: „Žmogus yra biologiškai susijęs su vyriška lytimi, jei jis turi vyriškus lytinius organus . “ Palikę kultūrinius ir tapatybės klausimus, galima teigti, kad žmogus yra vyriškos lyties dalis, „jei ir tik tada, jei“ turi vyriškus lytinius organus.

Grįžtant prie pirmiau minėtų formulių: „Jei žmogus biologiškai priklauso vyriškos lyties lytims, tada jis turi vyrų reprodukcinius organus . “ Tai taip pat galima išreikšti atvirkščiai: „Jei žmogus turi vyrų reprodukcinius organus, tai jis biologiškai priklauso vyrų lytims . “ Kaip matote, mes turime dvigubą pasiūlymą : jis reikalauja, kad abu terminai būtų vienodi tiesos vertei .

Be „dalelių“ ar „nexusų“, kurių mes minėjome, yra būtini dvigubiose sąlygose, mes negalime ignoruoti kitų elementų, kurie tuo pačiu būdu naudojami jame. Pavyzdžiui, kalbame apie „yra būtinas ir pakankamas“ arba „yra lygiavertis“.

Taip pat negalime pamiršti kitų tikrai svarbių dviračių sąlygų aspektų. Pavyzdžiui, kalbame apie tai, kad ji taip pat naudojama stipriu matematikos srityje. Šiuo atveju reikia pažymėti, kad simboliai, naudojami smūgiams į dviračius, yra abipusiai rodyklės, po vieną kiekviena kryptimi.

Be to, turime nepamiršti, kad, pažengus technologijai, taip pat susiduriame su tuo, kad jis taip pat svarbus ir vadinamojoje skaitmeninėje logikoje. Tokiu atveju dvigubas operatorius, kuris turi būti naudojamas, yra XNOR.

Be to, kas nurodyta, siekiant apibendrinti tam tikras idėjas, turime pradėti nuo to, kad dvejopo pasiūlymo variantai yra įvairūs, tarp kurių galime pabrėžti:
-P yra būtina ir pakankama sąlyga q.
-P taip ir tik taip q. Pavyzdys būtų: "P = trikampis yra stačiakampis. Q = Trikampis turi teisingą kampą ", iš kurio paaiškėtų, kad trikampis yra stačiakampis, jei ir tik tada, kai jis turi teisingą kampą".
-Si p tada q ir abipusiškai.
-Q yra būtina ir pakankama sąlyga p.
-Q taip ir tik taip p.
-Jei tada q ir abipusiškai.