Logika Antek: Bardzo proszę o sprawdzenie mi przykładu z logiki: [(p⋀q)−>r]→[(p⋀¬r)→¬q] używając p→q⇔¬p⋁q [¬(p⋀q)∨r]⇒[¬(p⋀¬r)⋁¬q] [¬p⋁¬q∨r]⇒[¬p⋁r⋁¬q] czy jest jakaś różnica używając strzałki → a ⇒? dopiero się uczę więc wybaczcie mi głupie pytanie

Saizou : nie ma różnicy, ale jak już piszesz to zdecyduj się na jedną wersję

Antek: ok czyli jest wporządku? a ten przykład: [p⋀(q∨r)]→[(p⋀q)∨(p⋀r)] proszę o jakąś podpowiedź bo mam spory problem

Antek: gdybym użył p→q⇔¬p⋁q ¬(p⋀q)⇔¬p⋁¬q (p⋀q)⋁(p⋀r)⇔p⋀(q⋀r) to: [p⋀(q∨r)]→[(p⋀q)∨(p⋀r)] [¬(p⋀(q∨r)]⋁[(p⋀q)∨(p⋀r)] [¬p∨¬(q∨r)]⋁[p⋀(q⋁r)] (¬p∨q)⋁(p⋁¬q) Czy to jest źle?

Saizou : a co ty chcesz z tym zrobić ?

Antek: szczerze mówiąc nie wiem tak mam w notatkach u koleżanki i najpierw chciałem zapytać czy tak faktycznie może być