قضیه ی دو شرطی

به عبارت " اگر P آن گاه q " یک قضیه ی شرطی گفته می شود. P را فرض قضیه و q را حکم قضیه می گویند وآن را با نشان می دهند.

عبارت را عکس قضیه ی شرطی می گویند که درآن جای فرض و حکم عوض شده است. عکس یک قضیه ی شرطی لزوماً برقرار نیست.

اگر یک قضیه ی شرطی باشد، را عکس و نقیض قضیه ی شرطی می نامند. که درآن q~ نقیض گزاره ی q و p~ نقیض گزاره ی p است.

عکس و نقیض یک قضیه ی شرطی با خود آن قضیه ی شرطی معادل است

اگر عکس یک قضیه ی شرطی هم برقرار باشد ، به آن قضیه ی دو شرطی می گوییم و آن را با نشان می دهیم .