presne tak,mozeme to zapisat aj formalnejsie.
VETA:Ku kazdej mnozine terminov T=(A,B,C,D,E,FX) sa da zostrojit redukovana mnozina terminov T'=(A,B,C,D,E,FX),kde FX je pascovy stav.
DOKAZ:Nech je dana mnozina studentov |n|=120.A predpokladajme,ze pocet studentov ktory spravia skusku je taktiez 120.Vidime,ze pojde o dokaz sporom:)Zvysok dokazu bude az v lete...