حساب محمولات

Calculus of predicates - Calcul des prédicats

حساب المحمولات

المحمولة predicate (القضية الخبرية) هي إفادة تصريحية ذات الشكل الرمزي P(x) أو P(x1...