شرطي مادي

شرطي مادي
IMPLY
	مخطط فن لشرطي مادي
التعريف
جدول الحقيقة
بوابة منطقية
نماذج نظامية
فصلي
عطفي
كثير حدود جيغالكين ‏
امتداد شبيكة بوست
الحفاظ على 0
الحفاظ على 1
الرتابة
التآلف
الثِّنْوِيَّة الذاتية

الشرطي المادي^[1]^[2] أو الاقتضاء المادي^[2] عند المنطقيين هي القضية المركبة من قضيتين إحداهما محكوم عليها والأخرى محكوم بها. وهي على قسمين لأنها إن أوجبت حصول إحدى القضيتين عند حصول الأخرى أو سلبته فهي متصلة وإن أوجبت انفصال إحداهما عن الأخرى أو سلبته فهي منفصلة.^[3] فالقضية شرطية مثل كلما كانت الشمس طالعة فالنهار موجود.

انظر أيضًا

مراجع

^ ميشال إبراهيم ساسين؛ رامي أبو سليمان؛ فادي فرحات (2007). قاموس المصطلحات العلمية: فيزياء - كيمياء - رياضيات (إنكليزي - فرنسي - عربي) مع مسرد ألفبائي بالألفاظ الفرنسية (بالعربية والإنجليزية والفرنسية) (ط. 1). بيروت: دار الكتب العلمية. ص. 513. ISBN:978-2-7451-5445-3. OCLC:929661320. OL:53616244M. QID:Q120799140.
^ ^ا ^ب أفرام بوروفسكي؛ جوناثان بوروين (1995)، معجم الرياضيات: إنكليزي - فرنسي - عربي، المعاجم الأكاديمية المتخصصة (بالعربية والإنجليزية والفرنسية)، ترجمة: علي مصطفى بن الأشهر، مراجعة: محمد الدبس، بيروت: أكاديميا إنترناشيونال، ص. 384، OCLC:822262215، QID:Q121833036
^ كشاف اصطلاحات الفنون للتهانوي

هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. فضلًا شارك في تحريرها.

[1] ميشال إبراهيم ساسين؛ رامي أبو سليمان؛ فادي فرحات (2007). قاموس المصطلحات العلمية: فيزياء - كيمياء - رياضيات (إنكليزي - فرنسي - عربي) مع مسرد ألفبائي بالألفاظ الفرنسية (بالعربية والإنجليزية والفرنسية) (ط. 1). بيروت: دار الكتب العلمية. ص. 513. ISBN:978-2-7451-5445-3. OCLC:929661320. OL:53616244M. QID:Q120799140.

[مولد_تلقائيا1-2] ا ^ب أفرام بوروفسكي؛ جوناثان بوروين (1995)، معجم الرياضيات: إنكليزي - فرنسي - عربي، المعاجم الأكاديمية المتخصصة (بالعربية والإنجليزية والفرنسية)، ترجمة: علي مصطفى بن الأشهر، مراجعة: محمد الدبس، بيروت: أكاديميا إنترناشيونال، ص. 384، OCLC:822262215، QID:Q121833036

[:0-3] كشاف اصطلاحات الفنون للتهانوي

[1]

[2]

[3]

IMPLY
مخطط فن لشرطي مادي
التعريف	$x\to y$
جدول الحقيقة	$(1011)$
بوابة منطقية
نماذج نظامية
فصلي	${\overline {x}}+y$
عطفي	${\overline {x}}+y$
كثير حدود جيغالكين ^{[لغات أخرى]}‏	$1\oplus x\oplus xy$
امتداد شبيكة بوست ^{[الإنجليزية]}
الحفاظ على 0
الحفاظ على 1	Y
الرتابة
التآلف
الثِّنْوِيَّة الذاتية