szukanie zaawansowane
 [ Posty: 2 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 30 sty 2018, o 19:12 
Użytkownik

Posty: 306
Lokalizacja: Polska
Niech zakresem zmienności zmiennych będą liczby naturalne. Zapisz przy użyciu symboli 0,1,+, \cdot ,\le,|
oraz symboli logicznych następujące zdania i funkcje zdaniowe:

a) x jest liczbą parzystą,
b) x jest liczbą pierwszą,
c) x jest liczbą złożoną,
d) x=\mbox{NWD}\:(y,z) ,
e) każde dwie liczby mają najmniejszą wspólną wielokrotność,
f) nie istnieje największa liczba pierwsza,
g) każda liczba parzysta większa od 2 jest sumą dwóch liczb pierwszych (hipoteza Goldbacha),
h) każda liczba naturalna jest sumą czterech kwadratów liczb naturalnych (twierdzenie Lagrange’a).

Pomijając już a), czy b) mogę zapisać tak:
\left( \forall x\right)\left( x|x \wedge 1|x \wedge \neg x=1\right) \wedge \left( \forall k\right) \left( (\neg k = x \wedge \neg k=1 ) \Rightarrow \neg k | x\right)
Góra
Mężczyzna Offline
PostNapisane: 30 sty 2018, o 21:43 
Administrator

Posty: 22990
Lokalizacja: Wrocław
aolo23 napisał(a):
czy b mogę zapisać tak:
\left( \forall x\right)\left( x|x \wedge 1|x \wedge \neg x=1\right) \wedge \left( \forall k\right) \left( (\neg k = x \wedge \neg k=1 ) \Rightarrow \neg k | x\right)

Pierwszy błąd jest na samym początku - x jest zmienną wolną, nie wolno jej kwantyfikować.

JK
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 2 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Zdania z kwantyfikatorami  matematix  9
 Funkcja i zdanie z kwantyfikatorami  Andrea  4
 Logika 1 rzędu - podstawowe definicje  paulo14d  3
 Tautologie dla zdan z kwantyfikatorami.  fishman4  0
 Rozkład na klauzule implikacji z kwantyfikatorami  Fray  0
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl