نظام صوري

(تم التحويل من Formal system)

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


. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

المصادر


قراءات اضافية

  • Raymond M. Smullyan, Theory of Formal Systems: Annals of Mathematics Studies, Princeton University Press (April 1, 1961) 156 pages ISBN 069108047X
  • S. C. Kleene, 1967. Mathematical Logic Reprinted by Dover, 2002. ISBN 0486425339

انظر أيضاً

وصلات خارجية

قالب:بذرة منطق