"eeltingimuseta" - 1 õppematerjal

3-Hulgateooria valemid - põhjalik konspekt

tähendus y, järeldub valem W(y), mille saame, kui asendame valemis W(x) tähise x tähisega y ning lisaks valemile W(y) järeldub ka see, et valemi W(y) tähiseks on valem W(x). Ehk lühemalt: [W(x)&(xy)] É [W(y) & (W(x)W(y))] Näited üldistustest koos üllatustega Näide 1. Mõnevõrra ohtlik oleks anduda ahvatlusele ja postuleerida, [W(x)&(xy)]É[W(y)&(W(x)W(y))] ilma eeltingimuseta, et W(x) pole zx! Näiteks: kas nõustute, et [ ($USD) & (USDUniv. of San Diego) ] É É [ ($Univ. of San Diego) & ($USD)($Univ. of San Diego) ] Näide 2. Samavõrra ohtlik oleks anduda ahvatlusele ja postuleerida, [W(x)&(yx)]É[W(y)&(W(y)W(x))] ilma eeltingimuseta, et W(x) pole xz! Näiteks: kas nõustute, et [ (USDUniv. of San Diego) & ($USD) ] É É [ ($Univ. of San Diego) & ($Univ. of San