Matematyka.pl

Formuła \(\displaystyle{ \partial p \vee k(pk<p)}\) jest prawdziwa w strukturze liczb:
a)naturalnych
b)całkowitych
c)rzeczywistych dodatnich
Mi wychodzi, że nie jest prawdziwa żadnej z tych struktur, ale nie jestem pewien.
Ps. Można wybrać kilka odpowiedzi lub wcale. I sorki jak źle zapisałem źle te kwantyfikatory w tym programie, ale myślę że mniej więcej widać o co chodzi.

Maradona126 pisze: 7 gru 2020, o 15:01I sorki jak źle zapisałem źle te kwantyfikatory w tym programie, ale myślę że mniej więcej widać o co chodzi.

Nie widać. Zapisz to jeszcze raz.

Kwantyfikatory to \(\displaystyle{ \forall}\) \forall i \(\displaystyle{ \exists}\) \exists.

JK

Maradona126 pisze: 7 gru 2020, o 15:01Mi wychodzi, że nie jest prawdziwa żadnej z tych struktur,

No i słusznie.

JK

Ok. Dziękuję