Witam. Mam przykładowe zadanie, którego nie jestem w stanie sama rozwiązać. Bardzo proszę o wszelką pomoc zarówno w rozwiązaniu jak i zrozumieniu tego zadania.
Niech \(\displaystyle{ \alpha}\) będzie językiem, w którym jedynym symbolem jest predykat jednoargumentowy \(\displaystyle{ P}\). Udowodnij, że dla dowolnych \(\displaystyle{ \alpha}\) -struktur \(\displaystyle{ M_1, M_2}\), jeśli \(\displaystyle{ P^{M_i}, M_{i} \setminus P_{M_i}}\) są nieskończone dla \(\displaystyle{ i = 1, 2}\), to \(\displaystyle{ M_1 \equiv M_2.}\)
Z góry dziękuję za pomoc
Ostatnio zmieniony 18 sty 2023, o 11:52 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód:Całe wyrażenia matematyczne umieszczaj w tagach [latex] [/latex].
