Logika Benny: Zapisz przy pomocy symboli matematycznych poniższe wyrażenia: a) Proste k i l (w n−wymiarowej przestrzeni euklidesowej) są równoległe (skorzystać z oznaczeń: ϱ₀ − zbiór punktów przestrzeni euklidesowej, ϱ₁ − zbiór prostych, ϱ₂ − zbiór płaszczyzn, itd.). b) n jest najmniejszą liczbą naturalną, która jest sumą sześcianów trzech kolejnych liczb naturalnych. Dostępne symbole to: a, ..., z, A, ..., Z, 0, ..., 9, ℕ, ℛ, +, −, *, :, ..., =, ≤, <, ∊, ⊂, ∨, ∧, ¬, ⇒, ⇔, (), {}, ∀, ∃ Co do podpunktu a to kolega podesłał rozwiązanie: ¬∃_x( ϱ₀(x) ∧ x⊂k ∧ x⊂l) ⋀∃_y( ϱ₂(y) ⋀ l⊂y ∧ k⊂y) Trochę tego rozwiązania nie ogarniam. Inaczej można to zapisać?

Benny:

Benny: