logika element: Proszę o pomoc w zrozumieniu wynikania logicznego. Mam taką definicję: X |= B wtw gdy dla każdego wartościowania v zachodzi: jeżeli v(A) = 1 dla każdego A ∊ X, to v(B) = 1 Czy chodzi o implikację A → B? Mam wątpliwości ponieważ implikacja jest prawdziwa w sytuacji kiedy 0 → 1 albo 0 → 0 a tutaj podkreślono, że wartościowanie musi wynosić 1?