في هذا البحث ستتم دراسة نفي نوع من الجمل في اللغة العربية، وهي الجمل الشرطية باستعمال تطبيقات رياضية، وسيتم ذلك في ثلاث خطوات: الخطوة الأولى هي تحويل الجملة الشرطية المراد نفيها من اللغة العربية إلى عبارة رياضية شرطية، والخطوة الثانية هي نفي العبارة الرياضية الشرطية التي تم الحصول عليها في الخطوة الأولى نفياً رياضياً باستخدام خواص النفي في المنطق الرياضي، والخطوة الثالثة هي تحويل العبارة الرياضية الشرطية المنفية التي تم الحصول عليها في الخطوة الثانية إلى جملة في اللغة العربية وبذلك يتم الحصول على الجملة الشرطية المنفية.
