logika Zdzislaw Waligrucha: jak zapisac za pomoca symboli matematycznych i funkcji zdaniowych? Jeśli istnieje człowiek który jest kobieta, to każdy człowiek jest kobieta

Basia: ∃_człowiek(człowiek jest kobietą) ⇒ ∀_człowiek(człowiek jest kobietą)

Basia: albo jeszcze lepiej tak ∃_x=człowiek(x=kobieta) ⇒ ∀_x=człowiek(x=kobieta)

Zdzislaw Waligrucha: A daloby sie to zrobic wprowadzając funkcje zdaniowe? np, ∃x∊Zf(x) ⇒ ∀x∊Zf(x) x − obiekt Z − zbiór ludzi f(x)=czlowiek jest kobietą Czy tak byloby dobrze?

Basia: moim zdaniem dobrze tylko napisałabym krótko f(x) = kobieta no bo funkcja elementowi x (czyli człowiekowi) przyporządkowuje wartość czyli "kobieta"

Zdzislaw Waligrucha: ok dziekuje