Logika Ania: cześć mam takie zadanie: jest dane zdanie: w grupie grzybiarzy 2g istnieje taki grzybiarz, który zebrał więcej niż 12 podgrzybków i dokładnie 7 maślaków. przy założeniu że f(a) wyznacza liczbę zebranych podgrzybków a oraz g(b) wyznacza liczbę zebranych maślaków b, zapisz podane zdanie formalnie. próbowałam tak: ∃a,b∊2g:(f(a)>12⋀g(b)=7) nie mam pojęcia jak zapisać w tym zadaniu formalnie, że 'istnieje grzybiarz'

ite: Jeśli przez '2g' oznaczony jest zbiór przemierzających las grzybiarzy, a f(a) i g(b) oznaczają wyznacza liczby zebranych grzybów, to a oraz b oznaczają gatunki grzybów [odpowiednio: podgrzybki i maślaki]. Więc jasno widać, że zapis ∃a ∃b∊2g oznacza: istnieją podgrzybki i maślaki, które są też grzybiarzami. Chyba, że w treści jest 'f(a) wyznacza liczbę podgrzybków zebranych przez grzybiarza a ? Wtedy ewentualnie proponowany zapis można szybko poprawić.