ss Ridin: Witam. Mam zadanie tego typu; sprawdzić czy prawdziwa jest rownowaznosc ; ( ewentualnie podac implikacje jezeli jest prawdziwa w ktorąś stronę ) ; A⊂C ⇔ (A⊂B) ∧ (B⊂C) wiem ze jest to bardzo proste ale wymagaja od nas przesadnego formalizmu i chcialbym zeby ktoś zrobił to formalnie jak nalezy , a ja sobie przemysle, z gory dzieki za odpowiedzi Jeszcze jakby ktos mogl mi polecic jakąs ksiazke z takimi rzeczami tylko zeby byly rozwiazania ^^

Maverick: Guzicki Zakrzewszki wstęp do matematyki naprawdę daje radę A wykazujesz biorąc x∊do tego wyrażenia po prawo i przekształcasz by wyszło z tego że x∊A⊂C

Ridin: czyli tak; L= (A⊂C) ⇔ [x∊A ⇒ x∊C] P=[(A⊂B) ⋀ (B⊂C)] ⇔ [(x∊A ⇒ x∊B ) ⋀ (x∊B ⇒ x∊C)] ⇒ [(x∊A ⇒ x∊C)] czyli ; z P⇒L ale czy z L⇒P ?

Ridin: ?