نتائج البحث

اذهب إلى التنقل اذهب إلى البحث
  • ...الرياضيات مصطلح يستعمل في أحيانا في بعض حقول [[رياضيات|الرياضيات]]، مثل [[منطق رياضي|المنطق الرياضي]]، و[[نظرية المجموعات]]، و[[نظرية البرهان]]، و[[نظرية ...ياضية، حيث يقوم إقليدس في الكتاب بتبرير أي افتراض عن طريق سلسلة من [[قياس (منطق)|القياسات المنطقية]] (لا تتفق دوماً مع بشكل صارم مع النماذج التي وضعها أرسط ...
    ٨ كيلوبايت (٥٣ كلمة) - ١٠:٤٩، ١٩ سبتمبر ٢٠٢٤
  • ...ف عن الأنساق المستخدمة في المنطق الكلاسيكي، وذلك من خلال عكس مفهوم برهان [[منطق|الأستدلال]] بشكل محكم. وبشكل خاص، فإن أنساق المنطق الحدسي تستبعد كل من: [[م ...1|صفحة=6}}</ref> ومن أجل ذلك، حاول هيتنج تأسيس توع جديد من المنطق يختلف عن منطق البرنكبيا مستوحيً ذلك من الرياضيات الحدسية فكان المنطق الحدسي، وعلى الرغم م ...
    ٢٢ كيلوبايت (٢٨٤ كلمة) - ٠٩:٤٤، ١١ يناير ٢٠٢٥