Czy ktoś może mi pomóc udowodnić to twierdzenie na zajęciach z filozofii? (¬  P↔Q)↔  P↔¬Q)) Potrafię dość łatwo rozwiązać jedną stronę funkcji dwuwarunkowej, korzystając z wyprowadzenia warunkowego, ale nie mam pojęcia, jak rozwiązać drugą stronę. Nie wolno mi używać w moim dowodzie żadnych innych twierdzeń (praw De Morgana itp.). Czy są jacyś geniusze, którzy chcieliby spróbować? |