English  
  بأنه معالجة لفظية رمزية تتمثل في متتالية من العبارات تستنبط من سابقاتها استناداً إلى واهد معترف بصحتها واستنباطاً بأساليب يقرها المنطق  
تربويات الرياضيات
عرض المزيد