részformula
Magyar
Kiejtés
- IPA: [ ˈreːsformulɒ]
Főnév
részformula
- (matematika) Az F logikai formula rekurzív előállításában az egyes lépések eredményeként kapott formulákat az F formula részformulájának hívjuk. Az F formulában szereplő ítéletváltozókat illetve magát F -et nem tekintjük F részformulájának.