... predykaty: Niektórzy matematycy są muzykami. P(x) x jest matematykiem R(x) x jest muzykalny ⋁x(P(x)⇒R(x)) Tak to się robi?

Adamm: ja bym napisał P(x) ∧ R(x), ale twoje też może być

predykaty: ok dzieki zaraz wrzuce jeszcze kilka to jakbys mogl sprawdzic to byloby fajnie

predykaty: b) Niektórzy matematycy nie są muzykalni Vx(P(x)⇒¬R(x)) c) Wszyscy matematycy są muzykalni ⋀x(P(x)⇒R(x)) d) Żaden matematyk nie jest muzykalny ⋀x(P(x)⇒¬R(x)) e) Tylko matematycy są muzykalni ⋀x(R(x)⇒P(x)) f) Nie tylko matematycy są muzykalni Vx(R(x)⇒¬P(x))

predykaty: e) i f) jest pewnie źle

predykaty: albo nie.. e) powinno być ok

Adamm: e) powinna być ⇔ zamiast ⇒ więcej nie widzę błędów

predykaty: ok, dziekuje

predykaty: a jak zapisać "Każda liczba jest równa sobie samej" z wykorzystaniem znaku = ?

Adamm: ∀_x (x=x)

predykaty:

predykaty: Mam już ostatnie 3 zadania do sprawdzenia (1) żadna liczba nie jest mniejsza od samej siebie ⋀x¬(x<x) (2) Jeżeli jakaś liczba jest mniejsza od pewnej liczby, to ta druga nie jest mniejsza od pierwszej ⋀x⋀y( (x<y) ⇒ ¬(y<x)) (3) Z każdych "dwu" różnych liczb jedna jest mniejsza od drugiej. ⋀x⋀y(¬(x=y)⇒(x<y)v(y<x))

predykaty: rzuci ktoś na to okiem?

predykat: może ktoś sprawdzić?

Pytający: @22 lis 2016 13:15

predykat: thx