predykaty x: Zapisać w języku rachunku predykatów następujące zdania: −−− C(X) = x jest człowiekiem M(x) = x jest matematykiem −−− a) Archimedes jest matematykiem M(Archimedes) b) Każdy matematyk jest człowiekiem ∀x (M(x) → C(x)) c) Niektórzy matematycy są ludźmi ∃x (M(x) → C(x)) ⋀ ¬∀x (M(x) → C(x)) d) Żaden matematyk nie jest człowiekiem ∀x (M(x) → ¬C(x)) e) Niektórzy matematycy nie są ludźmi ∃x (M(x) → ¬C(x))∧¬∀x (M(x)→¬C(x)) f) Tylko ludzie są matematykami ∀x (M(x)→C(x)) −− Proszę o sprawdzenie.

predykat: może ktoś potwierdzić?

wredulus_pospolitus: (c) zamiast tego bym podał: ∃_x ∃_y (M(x) → C(x)) ∧ (M(y) → ~C(y)) (f) nie ... zdanie rozum jako: żaden 'nieczłowiek' nie jest matematykiem

ite: e) Niektórzy matematycy nie są ludźmi. ∃x (M(x) ∧ ¬C(x)) natomiast zapis 2 gru 2017 to zdanie: Tylko niektórzy matematycy nie są ludźmi. Czyli istnieją tacy, którzy są ludźmi. A to ze zdania e) nie wynika, ponieważ ono mówi, że niektórzy − a może i wszyscy − nie są. A u wredulusa to nawet ci sami mogą być i nie być ludźmi.

ite: a f) prawidłowo, to samo co 16 paź 16:49