افتح القائمة الرئيسية
الصفحة الرئيسية
عشوائي
دخول
الإعدادات
حول Marefa data
إخلاء مسؤولية
Marefa data
بحث
(Q1195022)
راقب
بيانات
Wikidata item
الإنجليزية
Q899616
٠ مرجع
named after
الإنجليزية
هاسكل كاري
١ مراجع
Imported from Wikidata item
الإنجليزية
Q899616
Freebase ID
الإنجليزية
/m/01445f
١ مراجع
Imported from Wikidata item
الإنجليزية
Q899616
instance of
الإنجليزية
مفارقة
١ مراجع
Imported from Wikidata item
الإنجليزية
Q899616
مفهوم رياضي
١ مراجع
Imported from Wikidata item
الإنجليزية
Q899616
Microsoft Academic ID
الإنجليزية
2776482350
١ مراجع
Imported from Wikidata item
الإنجليزية
Q899616
defining formula
الإنجليزية
X
:=
(
X
→
Y
)
X
→
X
identity
X
→
(
X
→
Y
)
substitution
X
→
Y
contraction
X
substitution
Y
modus ponens
{\displaystyle {\begin{aligned}&X:=(X\to Y)\\&X\to X&{\text{identity}}\\&X\to (X\to Y)&{\text{substitution}}\\&X\to Y&{\text{contraction}}\\&X&{\text{substitution}}\\&Y&{\text{modus ponens}}\end{aligned}}}
١ مراجع
Imported from Wikidata item
الإنجليزية
Q899616
وصلات الموقع
Marefa
(٠ : لا وصلات)
عدِّل
ويكيبيديا
(١ وصلة واحدة)
عدِّل
enwiki
Curry's paradox