انا اسف
انا قلت الاجابة علي اساس امتحان 2006
عموما
الاجابة صفحة 45..الجزئيه اللي فوق
اللي تحتها دي بيشرح الحل
وآسف مرة تانيه
يعنى بيشوف لو فيه match بيين حاجتينDina Shaldoum كتب:حد فاهم ال unification ?
فى شابتر 6
وشكرا مقدما
@ seniorita
ممكن توضحي السؤال شويه اصل هوه معوض عاادي في المثال عن
forall , there exist
ايه المشكله بالظبط
alfer3on كتب:
انا اسف
انا قلت الاجابة علي اساس امتحان 2006
عموما
الاجابة صفحة 45..الجزئيه اللي فوق
اللي تحتها دي بيشرح الحل
وآسف مرة تانيه
ماشي كدهforall x (p(x)) ======== p(x)
thereexist x (p(x)) ==== p(a)