Logika Garth: p | q | r | s | ... | [(p ∧ r) ∨ (q ∧ s)] ⇔ [( p ∨ q) ∧ (r ∨ s)] 0 | 1 | 1 | 0 | ... | 0 Chcialo by sie komus sprawdzic ten jeden przypadek? Bo nie wiem, czy ja gdzies sie myle i tego nie widze [a sprawdzalem kilka razy i za nic w swiecie nie moge doszukac sie bledu], czy to teza w zadaniu jest falszywa. Moze po prostu myla mi sie gdzies symbole, nie wiem. Z gory dziekuje.

asdf: nie za bardzo rozumiem zapis, masz sprawdzić czy zachodzi tautologia, czy za zmienne p = s = 0, q=r=1 co wychodzi?

asdf: jak to drugie to: [(0 i 1) + (1 i 0)] <=> [(0 + 1) i (1 + 0)] [0 + 0] <=>[1 i 1] 0 <=> 1 fałsz

Garth: Mam sprawdzic, czy zachodzi tautologia, aczkolwiek tylko w tym przypadku [ przypadek, jak widac, to sytuacja, gdy p oraz s maja wartosc logiczna 0, a q i r wartosc logiczna 1] mi wychodzi wartosc logiczna schematu 0.

Garth: Poprawka: mam w zadaniu udowodnic tautologie.

asdf: jakby tam była na środku implikacja to tautologia zachodzi, dobrze przepisałeś?

Garth: Sprawdzilem juz po raz kolejny i tak, dobrze przepisalem. Wiec pewnie miala byc implikacja, ale sie pomylili.

asdf: pewnie tak http://www.wolframalpha.com/input/?i=%5B+%28p+and+r%29+or+%28q+and+s%29+%5D+%3D%3E+%5B+%28p+or+q%29+and+%28r+or+s%29+%5D

asdf: bardzo ciekawa publikacja, tak łopatologicznie tłumaczone, że o dziwo przerobiłem to w jakies 4 godziny: http://bartij.free.fr/i8/Matematyka%20Dyskretna/wieczorek-logika_dla_opornych.pdf na internecie poszukaj odpowiedzi do tego, gdzies jest (ale juz mi sie nie chce szukac)

asdf: http://mailgrupowy.pl/shared/resources/8363,logika/20761,materialy na dole są zadania i odpowiedzi

asdf: albo tutaj masz: http://chomikuj.pl/S-H/STUDIA/LOGIKA/Logika+dla+opornych

Garth: Dzieki