LEADER |
03059nam a22002537a 4500 |
001 |
1931858 |
041 |
|
|
|a ara
|
044 |
|
|
|b سوريا
|
100 |
|
|
|9 635143
|a ناصيف، نبال منير
|e مؤلف
|
245 |
|
|
|a حساب القضايا في منطق برتراند رسل
|
246 |
|
|
|a Calculus of Propositions in Bertrand Rassell's Logic
|
260 |
|
|
|b جامعة تشرين
|c 2016
|
300 |
|
|
|a 217 - 237
|
336 |
|
|
|a بحوث ومقالات
|b Article
|
520 |
|
|
|a يحاول هذا البحث تسليط الضوء على مسألة أساسية وهامة في المنطق الرمزي وهي مسألة حساب القضايا في منطق برتراند رسل، والتي من خلالها نستطيع التعرف على أنواع القضايا عند رسل وعلاقتها بالوقائع نظرا للارتباط الكبير بينهما، ونتعرف أيضا على وجهة نظره من القضية الحملية الأرسطية. ويتناول هذا البحث مسألة دوال الصدق البسيطة التي يعالجها حساب القضايا ويتضمنها على هيئة نسق استنباطي، ويوضح الفرق الواضح بين اللزوم المادي واللزوم الصوري. ويتناول أخيرا النسق الاستنباطي في حساب القضايا من خلال كتاب المبادئ الرياضية.
|
520 |
|
|
|b This research tries to concentrate on an essential and important issue in symbolic logic, which is the calculus of propositions in Rassell's logic. By studying this issue we will be able to understand propositions in Rassell's logic and its relationship with facts because of the great relationship between them. also we are going to know his opinion of Aristote's Categorical proposition. This research aims to study the issue of simple truth functions which are treated by calculus of propositions and deals with it as axiomatic and clarify the difference between material implication and formal implication. Finally it studies the axiomatic in calculus of propositions depending on the book principles of mathematics.
|
653 |
|
|
|a الفلسفة الإنجليزية
|a المنطق الرمزي
|a راسل، برتراند، 1872-1970
|
692 |
|
|
|a حساب القضايا
|a دوال الصدق
|a دوال الصدق
|a النسق الاستنباطي
|a اللزوم المادي واللزوم الصوري
|b Calculus of Propositions
|b Truth Functions
|b Axiomatic
|b Material Implication and Formal Implication
|
773 |
|
|
|4 الادب
|6 Literature
|c 013
|e Tishreen University Journal for Research and Scientific Studies - Arts and Humanities
|f Mağallaẗ ğāmiʿaẗ tišrīn li-l-buḥūṯ wa-al-dirāsāt al-ʿilmiyyaẗ. Silsilaẗ al-ʿulūm al-insāniyyaẗ
|l 005
|m مج38, ع5
|o 0530
|s مجلة جامعة تشرين للبحوث والدراسات العلمية - سلسلة الآداب والعلوم الإنسانية
|v 038
|x 2079-3049
|
856 |
|
|
|u 0530-038-005-013.pdf
|
930 |
|
|
|d y
|p y
|q n
|
995 |
|
|
|a AraBase
|
995 |
|
|
|a HumanIndex
|
999 |
|
|
|c 1186607
|d 1186607
|