Barbra - 2015-10-12, 22:57 logika przecież jest chyba nawet na kierunkach humanistycznych (a przynajmniej ta prosta o której piszemy) p => q to z jakiegoś tam prawa oznacza że ~q => ~p dodatkowo mamy dane ~p => ~q więc widać dobrze że ~p <=> ~q więc p <=> q no to nie jest tautologia ale tak mi pasowało że jakoś to trzeba udowodnić, a pytanie o tautologię było wcześniej i macbed już zapomniał i przeszedł do kolejnego zadania 
icywind - 2015-10-12, 22:57 Byłoby to tautologią gdyby zapisać tak ((p => q )^ (~p => ~q)) <=> (p <=> q) [ Dodano: 2015-10-12, 22:59 ]
Sprytnie rozwiązane 
Nie wiem czy on to tak ogarnia, że to specjalnie tak napisał ale to co mówisz jest prawdą Barbra - 2015-10-12, 23:00 pewnie o to chodziło, może wystarczyło żeby zrobił jakąś tabelkę, nie dowiesz się bo on przestał odpisywać a my się tak staramy żeby pomóc [ Dodano: 2015-10-12, 23:03 ] ja już nic nie wiem pamiętam że był jeszcze jakiś wzór żeby te wszystkie => zredukować do samych lubów i to się tak ładnie rozpisywało ale już nie pamiętam jak icywind - 2015-10-12, 23:07 Swoją drogą, żeby rozwalić mózgi niematematycznym implikacja: Jeśli Barbra jest mężczyzną to Barbra jest piękną kobietą Jest jak najbardziej prawdziwa bo mamy 0=>1 JankielKindybalista85 - 2015-10-12, 23:11
Na kierunkach? W sensie że na studiach? A to nie nie miałem. NA SZCZĘŚĆIE! Tylko w LO - patrz wyżej. I poważnie. Przestańcie kurwa robić taki jebany offtop! Gdzie jest Słownik czyściciel gdy jest potrzebny?! icywind - 2015-10-12, 23:11
No był, w ogóle to wszystko można samymi nandami(i nie tylko) przedstawić ale po co jak tak jest dłużej i trzeba pamiętać wzory? [ Dodano: 2015-10-12, 23:14 ] NARZEKAM NA MATEMATYKOFOBÓW. NIE MA OFFTOPU [ Dodano: 2015-10-12, 23:15 ] Albo tak https://en.wikipedia.org/wiki/Disjunctive_normal_form https://en.wikipedia.org/wiki/Conjunctive_normal_form |
||||||||||||
