Zapisać za pomocą kwantyfikatorów i funkcji zdaniowych: asd: Zapisać za pomocą kwantyfikatorów i funkcji zdaniowych: równanie x⁵ − x⁴ + 1 ma tylko jedno rozwiązanie rzeczywiste to będzie: ∃_x∊R x⁵ − x⁴ + 1 ? równanie x⁵ − x⁴ − 142i nie ma rozwiązania rzeczywistego to będzie: ∀_x x⁵ − x⁴ − 142i ? Nie wiem jak ugryzc takie zadania

chichi: Uwaga odczytuje twój zapis: Istnieje 'x' należące do zbioru liczb rzeczywistych takie, że x⁵−x⁴+1 Może jakieś znaki równości, coś ten? Sama sobie odpowiedz

chichi: Czy znasz symbol ∃! Jeśli nie, to trzeba wprowadzić również y i zapisać warunek, że jeśli on tez spełnia równanie to x=y

asd: = 0 powinno być jeszcze ? nie znam tego symbolu,poczytam

chichi: ∃! − istnieje dokładnie jeden, ∃ − istnieje (może istnieć wiele)

ite: Inny sposób (bez kwantyfikatora ∃!): Zapisałe(a)ś, że podane równanie ma rozwiązanie (nie wiadomo ile: czy jedno, czy więcej, czy nieskończenie wiele). Spróbuj zapisać, że ma jakieś rozwiązanie i że każde inne rozwiązanie jest mu równe. Tu jest podobny przykład https://prnt.sc/xpergx W drugim przykładzie można zapisać, że nie istnieje liczba rzeczywista spełniająca podane równanie lub jeśli istnieje liczba spełniająca podane równanie, to nie jest rzeczywista.

asd: S(x) − podane rownanie ma rozwiazanie Z(x) − nie ma innego rozwiazania,oprocz tego jedynego (po polsku to będzie że ma tylko i wylacznie pierwiastek jednokrotny? ) ∀_y ((S(y)∧S(y)) −> y=x) ? czy to jest ok? do pierwszego przykladu

ite: W podanym w linku przykładzie predykatem było zdanie x jest studentem, którego nie da się zapisać za pomocą symboli matematycznych. Tutaj najlepiej użyć symboli matematycznych ∃_x∊R (x⁵−x⁴+1=0 ∧ ∀_y∊R ((y⁵−y⁴+1=0)⇒x=y)) ↑ ↑ równanie ma rozwiązanie rzeczywiste ale tylko jedno

asd: dziękuje