‏الشرط يعبر عنه في اللغة باستخدام أحد أدوات الشرط مثل. إذا، إن. ويوجد في سائر اللغات أدوات تدل على الشرط، مثلما توجد أدوات تدل على العطف والتخيير والاستدراك والنفي. وهنا سوف نستخدم الرمز ← ليدل على الشرط.

‏انظر إلى الجمل الآية:

‏1. اذا حضر زياد، سيسافر خالد.

٢‏. زياد يحضر ← خالد يسافر.

٣‏. ان ينجح محمود يكمل دراسته أو يتوظف.

٤‏. اما أن ينجح محمود فيكمل دراسته واما أن يتوظف.

٥. اذا نجح محمود فإما أن يكمل دراسته واما أن يتوظف.

6‏. سيسافر خالد اذا حضر زياد.

ص227

‏نلاحظ في الجمل السابقة ما يلي:

‏1. الجملة (٢‏) تعبير منطقي عن الجملة (1)، حيث الرمز ← يدل على العلاقة الشرطية بين الشرط على يمين السهم وجواب الشرط على يسار السهم.

٢. إذا اجتمع الشرط والتخيير في جملة واحدة (٣‏) فقد يحدث غموض في المعنى: هل التخيير بين ما بعد (أو) والجملة الشرطية كلها أم التخيير بين ما بعد (أو) وجواب الشرط فقط ؟ وللتخلص من الغموض، نستعمل إما وإما (٤ ‏، ٥). هاتان الجملتان تحلان الغموض في الجملة ( ٣ ‏).

٣‏. في التركيب الشرطي، يجوز أن تبدأ الجملة بالشرط (1) أو أن تبدأ بجواب الشرط (6‏). ولكن في التعبير المنطقي، الشرط دائماً يسبق الجواب (2‏). فالجملة ( ٢ ‏) هي تعبير منطقي عن الجملة ( ١ ‏) والجملة ( ٦ ‏) على حد سواء.

‏ومن حيث الاستدلال عن العلاقة بين الشرط وجوابه نلاحظ ما يلي.

١‏. إذا كانت س الشرط و ص الجواب وتحققت س ؟ فإن ص تتحقق. إذا تحقق الشرط تحقق الجواب.

ص228

2. إذا كانت س الشرط و ص الجواب، ولم تتحقق ص، فهذا يدل على أن س لم تتحقق: نفي ص يدل على ‏نفي س، وعدم تحقق الجواب يستدل منه على عدم تحقق الشرط.

ص229