Logika Bodek : Witam mam problem z logiką mógłby ktoś pomóc rozwiązać te zadania? Niech zakresem zmienności zmiennych będzie zbiór liczb rzeczywistych. Zapisz za pomocą symboli logicznych oraz symboli: =, <, ≤, +, * i Q następujące formuły: a) Kwadrat każdej liczby jest nieujemny, b) Liczba a jest ograniczeniem górnym zbioru A c) Liczba a jest kresem górnym zbioru A d) Pomiędzy dowolnymi dwoma różnymi liczbami rzeczywistymi istnieje liczba wymierna, e) Funkcja f jest malejąca.

PW: a) ∀_x∊R (x*x ≥ 0)

Bodek : nie mogę używać zera

PW: b) ∀_x∊A (x ≤ a), lub dokładniej ∃_a∊R∀_x∊A (x ≤ a)

PW: A, zbioru liczb rzeczywistych możesz używać, ale zera nie możesz. Sadyści.

Bodek : mają być liczby wymierne

Bodek : sorry pomyłka

PW: Mniejsza o to. Nie wiem jak wyrazić nieujemność liczby, czyli fakt że jest ona zerem lub czymś większym od zera w inny sposób niż pokazując, że jest ona od zera większa lub zeru równa. Prostym językiem: jak powiedzieć, że coś jest większe od zera nie używając zera? Napisać, że x*x ≥ −x*x? To zaraz powiesz, że nie można używać minusa (symbolu liczby przeciwnej). Dla mnie ograniczenie "nie wolno używać zera" jest bzdurne, przecież pisząc x*x w szczególnym wypadku piszemy 0*0.