Używając tylko kwantyfikatorów, spójników logicznych oraz relacji (=,≠,<,≤) zapi Gnuśny: Używając tylko kwantyfikatorów, spójników logicznych oraz relacji (=,≠,<,≤) zapisać stwierdzenia: 1) układ równań nie ma rozwiązań x²+y²=4 x+y=10 2) liczba 105 jest pierwsza 3) przedział [a,b) nie zawiera punktu x

Stedan:

wredulus_pospolitus: a) ∀_{x,y ∊R} x² + y² ≠ 4 ∨ x + y ≠ 10 b) 105 ∊ P c) x < a ∨ x ≥ b

ite: w c/ chyba może być tak: ∀_y (a≤y<b ⇒ x≠y) ? b/ relacja bycia elementem zbioru nie została wymieniona w poleceniu, więc może ¬∃_k (k∊ℕ ∧ k|105)

ite: za szybko, poprawiam ¬∃k (k∊ℕ\{1,105} ∧ k|105)

wredulus_pospolitus: pytanie do autora ... czy symbol podzielności (lub niepodzielności) jest można wykorzystać

ite: masz rację, symbol podzielności nie jest wymieniony to może tak ∀k ∀m (k∊ℕ\{1,105} ∧ m∊ℕ ⇒ m*k≠105)