Nếu chúng ta tìm thuật ngữ bicondicional trong từ điển của Học viện Hoàng gia Tây Ban Nha ( RAE ), chúng ta sẽ không tìm thấy nó. Tuy nhiên, khái niệm này thường được sử dụng trong lĩnh vực triết học và logic .

Một nhị phân là một mệnh đề có một điều kiện kép, được cố định bởi các công thức mà nó liên quan theo cách nhị phân. Trong ngôn ngữ thông tục, ý tưởng được liên kết với biểu thức "nếu và chỉ khi" : nhị phân là đúng nếu các thuật ngữ liên quan chia sẻ giá trị thật (nghĩa là, nếu hai công thức là đúng hoặc nếu hai công thức là sai) ). Mặt khác, khi các công thức có các giá trị chân lý khác nhau (vì một là sai và khác đúng), nhị phân là sai.

Nói cách khác, một nhị phân ngụ ý rằng R là điều kiện đủ và cần thiết cho S. Cũng có thể chỉ ra rằng "nếu R, thì S" và "nếu S, thì R" .

Lấy ví dụ về mệnh đề sau: "Một con người thuộc về sinh học đối với giới tính nam nếu anh ta có cơ quan sinh sản nam" . Bỏ các vấn đề về văn hóa và bản sắc sang một bên, có thể khẳng định rằng một con người là một phần của giới tính nam "nếu và chỉ khi" nó có cơ quan sinh sản nam.

Quay trở lại các công thức được đề cập ở trên: "Nếu một con người thuộc về giới tính sinh học, thì nó có cơ quan sinh sản nam" . Điều này cũng có thể được thể hiện ngược lại: "Nếu một con người có cơ quan sinh sản nam, thì nó thuộc về mặt sinh học đối với giới tính nam" . Như bạn có thể thấy, chúng ta có một đề xuất nhị phân : nó yêu cầu cả hai thuật ngữ có cùng giá trị chân lý là đúng.

Ngoài các "hạt" hoặc "nexuses" mà chúng tôi đã đề cập là rất cần thiết trong điều kiện lưỡng tính, chúng tôi không thể bỏ qua các yếu tố khác, theo cách tương tự, được sử dụng trong đó. Ví dụ, chúng tôi đang đề cập đến "là cần thiết và đủ cho" hoặc "tương đương với".

Theo cùng một cách, chúng ta không thể bỏ qua các khía cạnh thực sự quan trọng khác của xe đạp. Ví dụ, chúng tôi đang đề cập đến thực tế rằng nó cũng được sử dụng mạnh mẽ trong lĩnh vực toán học. Trong trường hợp này, phải nói rằng các biểu tượng được sử dụng để tạo ra tác động lên xe đạp là các mũi tên hai đầu, mỗi mũi tên mỗi hướng.

Ngoài ra, chúng ta phải nhớ rằng, với sự tiến bộ của công nghệ, chúng ta cũng bắt gặp một thực tế rằng nó cũng quan trọng trong cái được gọi là logic kỹ thuật số. Trong trường hợp này, toán tử nhị phân được sử dụng là XNOR.

Ngoài những gì được chỉ ra, để tóm tắt một số ý tưởng nhất định, chúng ta phải bắt đầu từ thực tế rằng đề xuất nhị phân có các hình thức dịch thuật khác nhau, trong đó chúng ta có thể nêu ra những điều sau đây:
-P là điều kiện cần và đủ cho q.
-P có và chỉ có có q. Một ví dụ sẽ là: "P = Một tam giác là một hình chữ nhật. Q = Một tam giác có một góc vuông ", từ đó nó sẽ chỉ ra rằng một tam giác là một hình chữ nhật khi và chỉ khi nó có một góc vuông".
-Si p rồi q và đối ứng.
-Q là điều kiện cần và đủ cho p.
-Q có và chỉ có có p.
-Nếu sau đó q và đối ứng.