۵. ترکیب دو شرطی-Biconditional « » :
ترکیب دو شرطی P q ، به صورت « p اگر و تنها اگر q » خوانده می شود و در واقع ترکیب عطفی دو گزاره ی « P q » و « q p » است. جدول ارزشی آن به صورت زیر اشت :
P q
q
p
T
F
F
T
T
F
T
F
T
T
F
F
جدول ۶
تعریف : ترکیب P q هنگامی درست است که P و q هر دو درست یا هردو نادرست باشند، در غیر این صورت P q نادرست است.