Rachunek predykatów

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Maradona126
Użytkownik
Użytkownik
Posty: 77
Rejestracja: 7 gru 2020, o 14:34
Płeć: Kobieta
wiek: 21
Podziękował: 29 razy

Rachunek predykatów

Post autor: Maradona126 »

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.
Jan Kraszewski
Administrator
Administrator
Posty: 34073
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 3 razy
Pomógł: 5191 razy

Re: Rachunek predykatów

Post autor: Jan Kraszewski »

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
Użytkownik
Użytkownik
Posty: 77
Rejestracja: 7 gru 2020, o 14:34
Płeć: Kobieta
wiek: 21
Podziękował: 29 razy

Re: Rachunek predykatów

Post autor: Maradona126 »

\(\displaystyle{ ∃p∀k(pk<p)}\)
Ostatnio zmieniony 8 gru 2020, o 14:42 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Brak LaTeX-a. Proszę zapoznaj się z instrukcją: http://matematyka.pl/latex.htm .
Jan Kraszewski
Administrator
Administrator
Posty: 34073
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 3 razy
Pomógł: 5191 razy

Re: Rachunek predykatów

Post autor: Jan Kraszewski »

Maradona126 pisze: 7 gru 2020, o 15:01Mi wychodzi, że nie jest prawdziwa żadnej z tych struktur,
No i słusznie.

JK
Maradona126
Użytkownik
Użytkownik
Posty: 77
Rejestracja: 7 gru 2020, o 14:34
Płeć: Kobieta
wiek: 21
Podziękował: 29 razy

Re: Rachunek predykatów

Post autor: Maradona126 »

Ok. Dziękuję
ODPOWIEDZ