rachunek zdań logika: O liczbie rzeczywistej x wiadomo, że: (1) jeśli x > 0, to (x > 5, o ile x < 3) oraz (2) jeśli x ≤ 5, to x > 0 Czy z tego wynika, że x > 3? Czyli skoro x ≤ 5, to również x > 0. Stąd z (2) wiemy, że w (1) x > 0 i jednocześnie ¬(x > 5), bo x ≤ 5 w (2). Czyli ostatecznie nie wiadomo, czy x > 3, tak?

Pytający: z // x > 0 t // x < 3 p // x > 5 Więc w treści podano (kolejno linijki przekształcane równoważnie): (z ⇒ (t ⇒ p)) ∧ (~p ⇒ z) (z ⇒ (~t ∨ p)) ∧ (p ∨ z) (~z ∨ (~t ∨ p)) ∧ (p ∨ z) (~z ∨ ~t ∨ p) ∧ (p ∨ z) p ∨ ((~z ∨ ~t) ∧ z) p ∨ ((~z ∧ z) ∨ (~t ∧ z)) p ∨ (~t ∧ z) x > 5 ∨ (x ≥ 3 ∧ x > 0) x > 5 ∨ x ≥ 3 x ≥ 3

logika: Rozumiem, chciałem iść na skróty i nie wyszło. Dziękuję uprzejmie