binary connective

[ریاضیات] ادات دو طرفی، ادات دو تایی