หากเรามองหาคำสองคำในพจนานุกรมของ Royal Spanish Academy ( RAE ) เราจะไม่พบมัน อย่างไรก็ตามแนวคิดนี้มักใช้ในด้าน ปรัชญา และ ตรรกะ

biconditional เป็น โจทย์ ที่มี เงื่อนไขสองครั้ง แก้ไขโดยสูตรที่เกี่ยวข้องในทางไบนารี ในภาษาพูดความคิดที่เกี่ยวข้องกับการแสดงออก "ถ้าหาก" : เงื่อนไขที่เป็น จริง ถ้ามันเกี่ยวข้องกับ เงื่อนไขความจริงตามตัวอักษรร่วมกันตามตัวอักษร (นั่นคือถ้าทั้งสองสูตรเป็นจริง ) ในทางกลับกันเมื่อสูตรมีค่าความจริงต่างกัน (เนื่องจากสูตรหนึ่งเป็นเท็จและอีกสูตรหนึ่งจริง) เงื่อนไขที่เป็นเท็จจะเป็นเท็จ

กล่าวอีกนัยหนึ่งว่าเงื่อนไขมีความหมายว่า R เป็น เงื่อนไขที่ เพียงพอและจำเป็น สำหรับ เอส นอกจากนี้ยังสามารถระบุได้ว่า "ถ้า R แล้ว S" และ "ถ้า S แล้ว R"

ยกตัวอย่างของข้อเสนอต่อไปนี้: "มนุษย์เป็นอวัยวะทางชีวภาพของเพศชายหากเขามีอวัยวะสืบพันธุ์เพศชาย" ทิ้งประเด็นทางวัฒนธรรมและอัตลักษณ์ไว้ข้างๆมันสามารถยืนยันได้ว่า มนุษย์ เป็นส่วนหนึ่งของเพศชาย "ถ้าหาก" มีอวัยวะสืบพันธุ์เพศชาย

กลับไปที่สูตรดังกล่าวข้างต้น: "ถ้ามนุษย์เป็นชีวภาพทางเพศของผู้ชายแล้วมันก็มีอวัยวะสืบพันธุ์ชาย" สิ่งนี้สามารถแสดงออกได้ในทางกลับกัน: "ถ้ามนุษย์มีอวัยวะสืบพันธุ์เพศชายมันก็จะเป็นอวัยวะทางชีวภาพของเพศชาย" อย่างที่คุณเห็นเรามี ข้อเสนอแบบ สองเงื่อนไข: มันต้องการให้ทั้งสองคำมี ค่า ความจริงเดียวกันเป็นจริง

นอกเหนือจาก "อนุภาค" หรือ "แก่นเรื่อง" ที่เราได้กล่าวถึงไปแล้วว่ามีความสำคัญในเงื่อนไขแบบสองมิติเราไม่สามารถมองข้ามองค์ประกอบอื่น ๆ ที่มีการใช้ในลักษณะเดียวกัน ตัวอย่างเช่นเราอ้างถึง "จำเป็นและเพียงพอสำหรับ" หรือ "เทียบเท่า"

ในทำนองเดียวกันเราไม่สามารถมองข้ามแง่มุมที่สำคัญอื่น ๆ ของเงื่อนไขได้ ยกตัวอย่างเช่นเราอ้างถึงข้อเท็จจริงที่ว่ามันถูกใช้อย่างแข็งขันในสาขาคณิตศาสตร์ ในกรณีนี้จะต้องมีการระบุว่าสัญลักษณ์ที่ใช้ในการสร้างผลกระทบต่อเงื่อนไขเป็นลูกศรสองจุดหนึ่งในแต่ละทิศทาง

นอกจากนี้เราต้องจำไว้ว่าด้วยความก้าวหน้าของเทคโนโลยีเราก็พบว่ามันมีความสำคัญในสิ่งที่เรียกว่าตรรกะดิจิทัล ในกรณีนี้ตัวดำเนินการแบบสองเงื่อนไขที่จะใช้คือ XNOR

นอกจากสิ่งที่ระบุไว้เพื่อสรุปความคิดบางอย่างเราต้องเริ่มจากข้อเท็จจริงที่ว่าข้อเสนอแบบสองเงื่อนไขมีการแปลในรูปแบบต่าง ๆ ซึ่งเราสามารถเน้นสิ่งต่อไปนี้:
-P เป็นเงื่อนไขที่จำเป็นและเพียงพอสำหรับ q
-P ใช่และเฉพาะใช่ q ตัวอย่างจะเป็น: "P = สามเหลี่ยมเป็นรูปสี่เหลี่ยมผืนผ้า Q = สามเหลี่ยมมีมุมฉาก "ซึ่งจะปรากฎว่าสามเหลี่ยมนั้นเป็นสี่เหลี่ยมถ้าหากมันมีมุมฉาก"
-Si แล้ว q และซึ่งกันและกัน
-Q เป็นเงื่อนไขที่จำเป็นและเพียงพอสำหรับ p
-Q ใช่และเฉพาะใช่ p
- ถ้างั้นแล้วก็ถามและตอบกลับ