to je jaka kktina bordel v tych predikatoch, raz je to konjukcia, raz je to implikacia .. uhm ..
niekto ma dobru kondiciu
ja by som povedal ze
existuje niekto taky co ma dobru kondicku
cize
Ex O(x) => K(x)
ale v zosite mam
Ex O(x) /\ K(x)
co je existuje niekto a ma dobru kondicku
.. nechapem ..inac je to cele jasne, len toto s implikaciou vs konjukciou ak mam z vety tvorit predikat, je loteria..