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.
Rachunek predykatów
-
- Użytkownik
- Posty: 77
- Rejestracja: 7 gru 2020, o 14:34
- Płeć: Kobieta
- wiek: 21
- Podziękował: 29 razy
-
- Administrator
- Posty: 34294
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5203 razy
Re: Rachunek predykatów
Nie widać. Zapisz to jeszcze raz.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.
Kwantyfikatory to \(\displaystyle{ \forall}\)
\forall
i \(\displaystyle{ \exists}\) \exists
.JK
-
- Użytkownik
- Posty: 77
- Rejestracja: 7 gru 2020, o 14:34
- Płeć: Kobieta
- wiek: 21
- Podziękował: 29 razy
Re: Rachunek predykatów
\(\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 .
Powód: Brak LaTeX-a. Proszę zapoznaj się z instrukcją: http://matematyka.pl/latex.htm .
-
- Administrator
- Posty: 34294
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5203 razy
-
- Użytkownik
- Posty: 77
- Rejestracja: 7 gru 2020, o 14:34
- Płeć: Kobieta
- wiek: 21
- Podziękował: 29 razy