| German |
| has gloss | deu: Als Bikonditional, Bisubjunktion oder materiale Äquivalenz, manchmal (aber mehrdeutig) einfach nur Äquivalenz bezeichnet man * eine zusammengesetzte Aussage, die genau dann wahr ist, wenn ihre beiden Teilaussagen denselben Wahrheitswert haben, also entweder beide wahr oder beide falsch sind; * die entsprechend definierte Wahrheitswertfunktion; * das sprachliche Zeichen (den Junktor), mit dem diese beiden Teilaussagen zusammengesetzt werden. |
| lexicalization | deu: Bikonditional |
| Persian |
| has gloss | fas: در منطق و ریاضیات، ترکیب دوشرطی یک عملگر منطقی است که دو گزاره را به هم وصل میکند تا نشان دهد، p اگر و فقط اگر q، که p فرض یا فرضیه است و q حکم یا نتیجه میباشد. |
| lexicalization | fas: دوشرطی منطقی |
| Hebrew |
| has gloss | heb: שתי טענות ייקראו שקולות, אם בכל תנאי אמת בו אחת מהן אמיתית גם השנייה אמיתית, ולהיפך. כלומר, כל אחת מהן מהווה תנאי מספיק ותנאי הכרחי לאמיתות השנייה. או בניסוח מתמטי, A אמיתי אם ורק אם B אמיתי. |
| lexicalization | heb: שקילות לוגית |
| lexicalization | heb: שקילות |
| Macedonian |
| has gloss | mkd: Во логиката и математиката, логичкиот двоуслов (наречен и материјален двоуслов или бикондиционал) е логички опратор кој поврзува два исказа „p ако и само ако q“, каде p е хипотеза (или претходник), а q е заклучок (или следственик). Овој оператор се означува со двострана стрелка (↔), знак за еднаквост (=), знак за еквиваленција (≡), или пак EQV. Ова е логички еквивалентно на (p → q) ∧ (q → p), или Буловиот оператор ИЛЛИ (исклучително НИЛИ) . Ова е еквивалентно на „(не p или q) и (не q или p)“. Логички е еквивалентно и на „(не p и не q) или (p и q)“. |
| lexicalization | mkd: Логички двоуслов |
| Norwegian |
| has gloss | nor: Bisubjunksjon (også ekvijunksjon, ekvivalens eller biimplikasjon) er en sannhetsfunksjon i setningslogikken (latin bis = «to ganger», sub = «under», aequus = «lik», junctio = implicatio = «forbindelse», valere = «å gjelde»). Bisubjunksjonen av to utsagn er sann hvis og bare hvis begge eller ingen av disse utsagnene er sanne. Den symbolske skrivemåten for bisubjunksjonen av to utsagn A og B er :\mathbf A \leftrightarrow \mathbf B og kan uttales som følger: * «hvis og bare hvis A, så B,» * «om og bare om A, så B,» * «av A følger B og vice versa,» * «A er tilstrekkelig og nødvendig for B.» I noen programmeringsspråk eller andre sammenhenger der særtegn ikke kan brukes, skrives også «XNOR» eller likhetstegn («=») istedenfor «↔». «XNOR» er avledet av det engelske uttrykket exclusive nor (i og med at bisubjunksjonen er negasjonen av en «eksklusiv eller»). |
| lexicalization | nor: bisubjunksjon |
| Russian |
| has gloss | rus: Эквивале́нция (или эквивале́нтность ) — двуместная логическая операция. Обычно обозначается символом ≡ или ↔. Задаётся следующей таблицей истинности: |
| lexicalization | rus: Эквиваленция |
| Thai |
| has gloss | tha: ในแคลคูลัสเชิงประพจน์ เงื่อนไขสองทางเชิงตรรกศาสตร์ คือตัวดำเนินการทางตรรกศาสตร์ที่เชื่อมประโยคสองประโยคในรูปแบบ p ก็ต่อเมื่อ q, โดยที่ p มักถูกเรียกว่า สมมติฐาน และ q เรียกว่า ข้อสรุป ตัวดำเนินการนี้ถูกเขียนด้วยลูกศรชี้สองทาง "\leftrightarrow" และสมมูลกับ (p \rightarrow q) \land (q \rightarrow p) |
| lexicalization | tha: เงื่อนไขสองทาง |
