Logika bezendu: Logika (dziś miałem wykład, ale wykładowca uznał, że każdy student to potrafi po liceum) 1/50. Wykaż, że następujące wyrażenia są tautologiami p⇒p p p⇒p 1 1 0 1 Ok ?

kyrtap: Idź spać

pigor: ..., Ok. ...

bezendu: 2/50 p⇒(q⇒p) p q q⇒p 1 1 1 1 0 1 0 1 0 0 0 1 Coś mi tutaj nie pasuję

bezendu: krytap nie pójdę spać dopóki nie przerobię tych zadań i nie zrozumiem.

bcd: Jeszcze 3−ci wiersz: p⇒(q⇒p)

bcd: *kolumna

bcd: Wynikanie jest fałszywe ⇔ gdy z prawdy wynika fałsz (1⇒0), a nie masz tu takiego przypadku (patrzysz na kolumnę nr 1 i 3), więc w 4−tej spokojnie wpisuj jedynki.

pigor: ... daje same 1− ynki no to i jest taut... Ok.

kyrtap: jutro też jest dzień

bezendu: @pigor z prawdy nie wynika fałsz Możesz jaśniej, bo wydaję mi się, że dobrze robię. ?

bcd: No pain, no gain.

pigor: ..., no właśnie implikacja jest 0 (F) tylko wtedy, gdy jej poprzednik jest 1 (T) , a następnik 0 (F) ...

pigor: ... , no dobra to ja robię aut... bo te zera i jedynki mi latają za bardzo przed oczami o tej porze ... dnia. .

asdf: bezendu, bardzo mi sie to podoba: "nie pojde spac puki nie zrobie", no i wez pod uwagę to co napisal Ci bcd "no pain, no gain"

kyrtap: póki

razor: http://pl.wikibooks.org/wiki/Matematyka_dla_liceum/Logika

asdf: ja pisze po swojemu

kyrtap: rzeczywiście

Mila: p q q⇒p p⇒(q⇒p) 1 1 1 1 1 0 1 1 0 1 0 1 0 0 1 1

kyrtap: radzę Tobie asdf iść spać

bezendu: Wiem, tak samo z kodzeniem.. Lepiej nie iść na durny wykład typu filozofia czy inny zapychacz, a w ten czas pokodzić w domu

kyrtap: też muszę się wziąć za programowanie

bezendu: Dziękuję Mila już zrozumiałem, a to zawsze robi się za pomocą tabelki ? @Krytap to idź spać..

kyrtap: Pójdę

bezendu: To chyba czas na Ciebie, bo robisz tutaj spam

kyrtap: Ok Dobranoc

bezendu: p⇔~~p Wiem, że to oczywistość, ale jak to wykazać p ~p 1 0 0 1

asdf: kyrtap, dlaczego mi radzisz isc spac? jestem studentem...o tej porze klada sie celujacy uczniowie, ktorzy chodza do szkoly, albo na nudne wyklady.

kyrtap: really?

kyrtap: widocznie nudny kierunek obrałem

asdf: nie powiedzialem, ze nie ma ciekawych wykladow, tylko jesli jutro rano mam nudny wyklad (albo ciekawsze rzeczy z rana do roboty − jak kto woli) to po prostu nie ide...chociaz na 1 roku wiekszosc wykladow jest obowiazkowa.

kyrtap: wiem ale na takie rzeczy to ja będę mógł sobie pozwolić od drugiego roku

bezendu: Czemu od drugiego roku ? TI zanosisz świadectwo i masz ocenę przepisaną z LO, filozofia chyba, żeby się tam zanudzić jedyne słuszne wykłady to matematyka i programowanie

bezendu: My tu gadu gadu a ja nadal nie wiem p⇔~~p

Godzio: Dołóż jeszcze jedną kolumnę z podwójną negacją,

Godzio: I tyle: p ¬p ¬¬p 0 1 0 1 0 1 Dobranoc

bezendu: p ~p ~~p 1 0 ? 0 1 ?

bezendu: Skoro idziesz spać, to wrócimy jutro. Dziękuję i dobranoc.

asdf: p ~p 1 0 0 1 ~p ~(~p) 0 1 1 0

bcd: ^Prawo podwójnej negacji.^

asdf: ale od razu uprzedzam, zaczniesz kodzic i bedziesz chcial to sprawdzic na liczbach != {0,1}, to nie zadziala, np. int x =10; x != !x <−− true x == !(!x) <−− false int p = 0 lub 1; p != !p <−− true p == !(!p) <−− true dzieje sie tak dlatego, ze kazda liczba rozna od zera to prawda, a rowna zeru to falsz, no i masz: x != 0, to dla !x jest prawda, x = 57; x = !x; <−− x = 0 x = !x; <−− x = 1

bezendu: Czyli tutaj nie wyszła tautologia

xdx: W jakim przykładzie nie wyszła

bezendu: w ostatnim

xdx: p⇔~~p p ~p ~(~p) p⇔~~p 1 0 1 1 0 1 0 1

bezendu: a które kolumny mam brać pod uwagę robiąc p⇔~~p ?

kyrtap: pierwszą i trzecią tak jak napisał xdx

undefined: To było w pierwszej klasie LO. Jeśli chcesz mogę ci zrobić zdjęcia z podręcznika. tam jest wszystko włącznie z rozwiązanymi przykładami(tymi rozbudowanymi w tabelce).

bezendu: underfined nie potrzebuję zdjęć, tę tabelki znam już na pamięć.

asdf: masz je rozumiec a nie znac na pamiec

kyrtap: po co się tego uczyć −.−

bezendu: rozumiem co z czego wynika @krytap Po to żebyś miał pytanie....

asdf: kyrtap, zeby myslec?

asdf: http://www.math.uni.opole.pl/~ebryniarski/logika_dla_opornych.pdf ogarnij sobie, na internecie sa gdzies odpowiedzi nawet