« (4) princíp cyklickosti :: hore :: (5) príprava pojednávania »
Autor: RNDr. Marián Olejár
matematika, logika:
Extenzie princíp hovorí, že dve množiny sú rovné, ak majú rovnaké prvky (členov), tvrdil už Leibnitz.
Takže A = B vtedy a len vtedy, keď pre všetky prvky x platí x `in` A `hArr` x `in` B.
Ak použijem logicko-množinový jazyk, reláciu rovnosti množín môžeme zapísať:
`AA_A AA_B [[AA_x (x in A hArr x in B)] hArr (A = B)]`
« (4) princíp cyklickosti :: hore :: (5) príprava pojednávania »
Pridané: 19/01/05 Posledná zmena: 11/04/07
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: princíp extenzie; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/princip_extenzie.php
Verzia pre PC: Encyklopédia YS, princíp extenzie
(c) 2007, Marián Olejár, Jr.
All rights reserved.
kontakt: marianolejar (zavinac) yahoo (bodka) com