گزاره شرطی یا ترکیب دو شرطی
اگر دو گزاره دلخواه مانند p^q را داشته باشیم مفهوم (اگر p آنگاه q) ایجاد شود ترکیب شرطی p آنگاه q را خواهیم داشت در این گزاره p مقدم و qتالی است.
گزاره p آنگاه q را به حالتهای زیر نیز میتوان گفت:
الف. p نتیجه میدهد q را
ب. p شرط کافی است برای q
ج. q شرط لازم است برای p
ولی وقتی که میگوید p مقدم است و qتالی در اصل میگوید که ستون اول مقدمه است و چه q باشد و یا چه p باشد باز هم ستون اول مقدم است
و در ستون دوم یا همان تعالی هم همینطور است و چه q باشد چه pباشد و هیچ ربطی به q یا p بودن یا rیاs بودن گزاره ندارد.