۵. ترکیب دو شرطی-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 نادرست است.