Dominik: (¬p ⇒ ¬q) ∧ (¬p ⇒ q) ⇒ p za pomoca systemu naturalnej dedukcji (1) zalozmy (¬p ⇒ ¬q) ∧ (¬p ⇒ q) (cel p) (2) zatem ¬p ⇒ ¬q (eliminacja koniunkcji 1) (3) zatem ¬p ⇒ q (eliminacja koniunkcji 1) (4) zalozmy ¬p (cel sprzecznosc) (5) poniewaz ¬p ⇒ q (2), wiec ¬q (regula odrywania 2, 4) (6) poniewaz ¬p ⇒ ¬q (3), wiec q (regula odrywania 3, 4) (7) zatem ⊥ (eliminacja negacji 5, 6) (8) zatem p (wnioskowanie przez zaprzeczenie) (9) zatem (¬p ⇒ ¬q) ∧ (¬p ⇒ q) ⇒ p (wprowadzenie implikacji 1, 8) jest okej?

bezendu: Sorry, że Ci tu spamuje ale takie pytanie Ty przerabiałeś zbiór z pazdro i arkusze maturalne z pazdro ?

Dominik: tylko ich arkusze maturalne (niebieskie).

bezendu: Ok dzięki

ciuchcia: z tego co pamiętam, a było to dość dawno i mogłem o czymś zapomnieć to tak jest , nie musisz tak tego rozdrabniać chodzi o pkt (2), (3) − ponieważ wszystko zawarłeś w (1). Ogólnie takie rzeczy robię w prostokątach i zaznaczam z czego korzystam np.: podwójna negacja, eliminacja alternatywy itp. Jeżeli Ci się bardzo nudzi polecam udowodnić sobie prawo wyłączonego środka dla treningu, to jest chyba jeden z najprostszych przykładów

Gustlik: Negację najlepiej oznaczaj ~p, jest to bardziej czytelne.

Dominik: ciuchcia, docelowo staram sie uzywac pudelek jaskowskiego, ale ciezko je zilustrowac na forum. dowod tertium non datur poznalem ze skryptu. w kazdym razie dzieki za sprawdzenie! Gustlik, na poczatku pisalem ~, ale jakos przed wyslaniem posta natchnelo mnie na zmiane symbolu. na przyszlosc sie zastosuje.

ciuchcia: ¬ też nie jest zły , na jaką uczelnie się wybierasz? pytam, ponieważ niewiele kierunków to przerabia

Dominik: MIM UW.

Dominik: w druga strone, z ciekawosci, co ty studiujesz? wiem, ze snd jest jeszcze na UWr.

ciuchcia: relacja symetryczna , jeszcze na politechnice poznańskiej, naturalnie informatykę

Dominik: zapomnialem dodac: rowniez informatyka.