no akoze podstatne su vazne este tie axiomy... a potom este popisat, ze aky vztah je co....
no ale tak ked tak chcete mozem tu nieco zapotit, ale to bola len taka priprava pred skuskou, potom som o inom pisal:
x O y .... byt vzajomne vo vojne
x ! y ... x vyhralo nad y
H(x) ... x je vitaz
(pricom je DOLEZITE pri pisomke poznamenat akeho typu su tieto zadefinovane symboly... u mna su to vsetko predikaty... ale mozete mat aj funkcie (ked si dobre pamatam nazov))
axiomy (pricom V je vseobecny kvantifikator a E je existencny)
x O y <=> y O x
x ! y => neg (y ! x)
H(x) <=> (Vy) (x O y & x ! y)
neg H(x) <=> (Ey) (x O y & neg(x ! y))
(x ! y & y ! x) => x = y
(H(x) & H(y)) => x = y
ako ludia je tam toho niekedz mozno naviac ale tha stale dat viac... ale nieze teraz kazdy bude mat rovnake