ssheffer maria: Zdefiniować implikację oraz równoważność za pomocą operacji jednoczesnej negacji i Sheffera. Mógłby ktoś mi z tym pomóc i rozpisać?

maria:

maria: Z implikacją sobie poradziłam dla Sheffera, potrzebuje wiec rownowaznosc dla Sheffera i implikacje+rownowaznosc dla jednoczesnej negacji. Ktoś cos

jc: Co to jest operacja "jednoczesnej negacji i Sheffera"?

maria: Sheffer − Dysjunkcja czyli np: Alternatywa : pvq⇔~(~p) v ~(~q) ⇔ (~p|~q) ⇔ (p|p)|(q|q) Operacja jednoczesnej negacji czyli np: operację będę zaznaczał Alternatywa pvq⇔ ~(~p ~q )⇔~(p↑q) ⇔ (p↑q)↑(p↑q)

maria: tam zapomnialem dopsiać operację bede zacznać ↑

jc: Czyli to są dwie operacje. p lub q = ~p | ~ q p | q = ~p lub ~q = ~(p i q) (pierwsza operacja) p lub q = ~(p↑q) p↑q = ~(p lub q) (druga operacja) p i q = (p|q) |(p|q) p = a ⇒ b = a | (b|b) q = b ⇒a = b| (a|a) a ⇔ b = (a⇒b) i (b⇒a) Bardzo długi napis wychodzi. Na pewno można krócej.

jc: Wydaje mi się, że tak będzie dobrze. Sprawdź p ⇔ q = (p | (q|q)) | ((p|p) | q)

jc: Jenak pomyliłem się. Tak będzie dobrze: p ⇔ q = ( (p|p) | (q|q) ) | (p|q)

jc: Za to p ⇔ q = ((p↑p) ↑ q) ↑ (p ↑ (q↑q))

maria: Dziekuje bardzo!