Zadania z kwantyfikatorami

[ssyys]

Mam zdanie w jezyku potocznym:

istnieje pies którego boją sie wszystkie koty , a z tego ze istnieje pies ktorego boja sie wszystkie koty wynika ze istnieje kot który nie jada myszy.

i zaprzeczyć zdaniu
przyjmijmy że k-kot
p-pies
(E- to istnieje bo nie ma tu tego znaku chyba w LaTeX)
A-dla każdego

\(\displaystyle{ \partial \left( k,p\right)}\) -kot boi się psa
\(\displaystyle{ \partial (k)}\) -kot nie jada myszy


w języku kwantyfikatórów to bedzie:
\(\displaystyle{ E p \in P A k \in K \partial \left( k,p\right) \Rightarrow E k \in K\partial \left( k\right)}\)


mam pytanie czy to jest dobrze ułozone zdanie i jak temu zaprzeczyc ?

[yorgin]

Nie mam pojęcia co to za cudowne oznaczenia wprowadzasz...

Nie wiesz jak zaprzeczać? Zamieniasz kwantyfikatory duże na małe i odwrotnie, podobnie jak zaprzeczasz wszystkie formuły.

[krzeslo789]

To są pochodne cząstkowe po psie i po kocie!