11. DOWODZENIE II REGUŁY ELIM, WPR, MTP
|
|
- Teresa Sowińska
- 7 lat temu
- Przeglądów:
Transkrypt
1 11. DOWODZENIE II REGUŁY ELIM, WPR, MTP Cele Umiejętność stosowania reguł pierwotnych Elim, Wpr oraz reguły wtórnej MTP. Umiejętność przeprowadzania prostych dowodów z użyciem tych reguł Reguła Elim (reguła opuszczania równoważności) Jeżeli w pewnym wierszu dowodu występuje (swobodnie) równoważność, a w innym wierszu dowodu występuje (swobodnie) jeden z jej członów, to wolno do dowodu dołączyć wiersz, gdzie (swobodnie) występuje pozostały jej człon. i. p r j. p r Elim i, j i. p r j. r p Elim i, j Intuicje Reguła Elim jest podobna do reguły Elim, choć w przeciwieństwie do reguły Elim ma dwie wersje. Wiąże się to z tym, że o równoważności p wtedy i tylko wtedy, gdy r można myśleć jako o koniunkcji implikacji p wtedy, gdy r (r p) oraz implikacji p tylko wtedy, gdy r (p r). Odmienność reguły Elim a zarazem jej intuicyjność pokazuje również refleksja nad wartościami logicznymi. Jeżeli równoważność p r jest prawdziwa, a jeden z jej członów (pierwszy lub drugi) jest również prawdziwy, to pozostały człon (odpowiednio: drugi lub pierwszy) musi mieć tę samą wartość logiczną, tj. musi być prawdziwy. Wpiszcie brakujące wnioski: Zofia dostanie ocenę celującą wtedy, ale tylko wtedy, gdy otrzyma 100% na teście. Zofia dostała ocenę celującą. Rafał dostanie ocenę celującą wtedy, ale tylko wtedy, gdy otrzyma 100% na teście. Rafał otrzymał 100% na teście. Porada babuni (o regule Elim) Nie mieszaj Elim z Elim. Katarzyna Paprzycka Logika nie gryzie. Część I: Samouczek logiki zdań.
2 11. Dowodzenie II 218 Stosowanie reguły Elim Regułę Elim można stosować tylko w jeden sposób (uwaga: druga wersja reguły Elim wymaga, aby dane były inne zdania): 1. ~A ~(B C) Zał. 2. ~A Zał. 3. ~(B C) Elim 1, 2 1. B (~B A) Zał. 2. ~B A Zał. 3. B Elim 1, 2 Nie wolno reguły Elim stosować do członów zdań: 3. B Elim 1, 2 1. (A B) D Zał. 2. B Zał. 3. A Elim 1, 2 Ćwiczenie 11.A Elim 1 Uzupełnij brakujące informacje. (Rozwiązania, s ). 1. C D Zał. 1. C D Zał. 2. C Zał. 2. D Zał. 3. D Elim 1, 2 3. C Elim 1, 2 1. B ~D Zał. 2. ~D Zał. 3. B Elim 1, 2 (e) 1. A (D B) Zał. 2. D B Zał. 3. A Elim 1, 2 (g) 1. ~A ~B Zał. 2. ~A Zał. 3. ~B Elim 1, 2 (i) 1. (A B) (C D) Zał 2. C D Zał. 3. A B Elim 1, 2 (k) 2. (~D A) C Zał. 3. ~D A Zał. 4. ~D Elim 1, 3 1. (C A) B Zał. 2. C A Zał. 3. B Elim 1, 2 (f) 1. M ~~N Zał. 2. ~~N Zał. 3. M Elim 1, 2 (h) 1. A B Zał 2. ~C (A B) Zał. 3. ~C Elim 1, 2 (j) 1. A B Zał 2. A Zał. 3. B Elim 1, 2 (l) 1. ~A ~C Zał 2. ~A D Zał. 3. ~C Zał. 4. ~A Elim 1, 3
3 11. Dowodzenie II 219 (m) 1. C Zał 2. A Zał. 3. [A (A B)] C Zał. 4. A (A B) Elim 1, 3 (o) 1. ~(D A) Zał. 2. (~D A) C Zał. 3. ~(D A) ~C Zał. 4. ~C Elim 1, 3 (q) 1. (A B) C Zał 2. ~(B C) Zał. 3. A B Zał. 4. C Elim 1, 3 (n) 1. ~D ~C Zał 3. ~C Zał. 4. ~D Elim 1, 3 (p) 1. A B Zał 2. B C Zał. 3. B Zał. 4. A Elim 1, 3 (r) 1. ~A ~C Zał 2. A (D (A C)) Zał. 3. D (A C) Zał. 4. A Elim 2, Przykłady dowodów Każdy z następujących dowodów spróbujcie skonstruować samodzielnie. Pełne dowody znajdziesz w Rozwiązaniach, s Przykład 1 1. (A D) B Zał. Dowieść: C 2. C (A D) Zał. Zaczynamy, jak zwykle od analizy docelowej. Naszym celem jest wyprowadzenie zdania C, które jest pierwszym członem równoważności w wierszu 2. Znamy regułę, która pozwala na wyprowadzenie członu równoważności jest to Elim. Moglibyśmy zastosować regułę Elim pod warunkiem, że dany byłby również swobodnie stojący drugi człon tej równoważności, tj. w naszym przypadku A D, którego jednak nie mamy. Musimy się zastanowić, jak otrzymać zdanie A D. Zdanie A D jest koniunkcją. Zwykle otrzymywaliśmy koniunkcję, łącząc ją z elementów za pomocą reguły Wpr. Tym razem jednakże nie mamy elementów do złączenia, natomiast cała koniunkcja A D jest pierwszym członem koniunkcji w wierszu 1, możemy ją zatem uzyskać, stosując regułę Elim: 3. A D Elim 1 Skoro mamy równoważność C (A D) w wierszu 2 oraz jej drugi człon A D w wierszu 3, to możemy wyprowadzić pierwszy człon tej równoważności, o którego wyprowadzenie w dowodzie chodziło: 4. C Elim 2, 3
4 11. Dowodzenie II 220 Przykład 2 1. A (B C) Zał. Dowieść: ~D 3. B ~D Zał. Ponieważ będziemy musieli wykorzystać informację zawartą w przesłance 1 (pozostałe przesłanki to implikacja i równoważność, z którymi nie zrobimy nic bez jakiejś dodatkowej informacji), więc dostosujemy się do porady babuni dla koniunkcji zastosujemy regułę Elim: 4. A Elim 1 5. B C Elim 1 Teraz pomyślmy. Naszym celem jest wyprowadzenie zdania ~D, które występuje tylko w przesłance 3, jako drugi człon równoważności B ~D; będziemy mogli wyprowadzić zdanie ~D, stosując regułę Elim, jeśli będziemy dysponowali pierwszym członem tej równoważności, tj. swobodnie stojącym zdaniem B, którego jednak nie mamy. Jak wyprowadzić zdanie B? Poza zdaniem w wierszu 3, zdanie B występuje też w zdaniu w wierszu 5, gdzie jest pierwszym członem równoważności B C. (O wierszu 1 nie wspominamy, gdyż tam zdanie B występuje jako komponent członu koniunkcji; ponadto zdanie w wierszu 5 jest przecież właśnie wynikiem wyciągnięcia informacji ze zdania w wierszu 1, całość informacji dotyczącej zdania B, którą zawierało zdanie w wierszu 1 zawiera teraz zdanie w wierszu 5). Stosując regułę Elim, moglibyśmy wyprowadzić zdanie B, gdybyśmy mieli drugi człon równoważności B C, tj. swobodnie stojące zdanie C, którego nie mamy. Jak wyprowadzić C? Poza wierszem 5 zdanie C występuje też w wierszu 2, gdzie jest następnikiem implikacji A C. Moglibyśmy więc wyprowadzić zdanie C, stosując regułę Elim, jeśli mielibyśmy swobodnie stojący poprzednik tej implikacji, tj. zdanie A, które na szczęście mamy w wierszu 4. Możemy zatem przystąpić do dalszej części dowodu, kierując się powyższym rozumowaniem. Zaczynamy od wyprowadzenia zdania C za pomocą reguły Elim zastosowanej do swobodnie stojącej implikacji A C (wiersz 2) oraz swobodnie stojącego poprzednika tej implikacji, tj. zdania A (wiersz 4): 6. C Elim 2, 4 Ponieważ mamy już swobodnie stojące zdanie C (wiersz 6), możemy zastosować regułę Elim do tego zdania oraz do swobodnie stojącej równoważności B C (wiersz 5), żeby wyprowadzić zdanie B: 7. B Elim 5, 6 Ponieważ mamy już swobodnie stojące zdanie B (wiersz 7), możemy zastosować regułę Elim ponownie, tym razem do swobodnie stojącej równoważności B ~D (wiersz 3), żeby wyprowadzić wniosek, o którego wyprowadzenie chodziło w dowodzie: 8. ~D Elim 3, 7
5 11. Dowodzenie II 221 Ćwiczenie 11.B Elim 2 W następujących dowodach brakuje dokładnie jednego kroku, aby dowieść wniosku znajdującego się w ostatnim wierszu. Uzupełnij brakujący krok, uzasadnij go oraz uzasadnij krok ostatni. (Rozwiązania, s. 369). 1. (A B) C Zał. 2. B Zał. 3. A B Elim 1 4. A Elim 2,3 1. C B Zał. 2. B ~A Zał. 3. B Elim 2 4. C Elim 1,3 1. B C Zał. 2. A B Zał. 3. A Zał. 4. B Elim 2,3 5. C Elim 1,4 (e) 2. B C Zał. 3. A Zał. 4. B Elim 1,3 5. C Elim 2,4 1. C B Zał. 2. ~A B Zał. 3. C Zał. 4. B Elim 1,3 5. ~A Elim 2,4 (f) 2. B C Zał. 3. C Zał. 4. B Elim 2,3 5. A Elim 1,4 Ćwiczenie 11.C Elim 3 W następujących dowodach brakuje dokładnie dwóch kroków, aby dowieść wniosku znajdującego się w ostatnim wierszu. Uzupełnij brakujące kroki, uzasadnij je oraz uzasadnij krok ostatni. (Rozwiązania, s. 370). 1. (A B) C Zał. 2. C A Zał. 3. A B Elim 1 4. A Elim 2 5. B Elim 3,4 1. (A B) C Zał. 2. B D Zał. 3. A B Elim 1 4. B Elim 2 5. A Elim 3,4 1. B C Zał. 2. C D Zał. 3. A B Zał. 4. B Elim 3 5. C Elim 1,4 6. D Elim 2,5 (e) 1. B C Zał. 2. (A C) C Zał. 3. A B Zał. 4. C Elim 2 5. B Elim 1,4 6. A Elim 3,5 1. B C Zał. 2. A B Zał. 3. D C Zał. 4. C Elim 3 5. B Elim 1,4 6. A Elim 2,5 (f) 1. (A B) (~C A) Zał. 2. ~C Zał. 3. A Zał. 4. ~C A Wpr 2,3 5. A B Elim 1,4 6. B Elim 3,5
6 11. Dowodzenie II 222 Ćwiczenie 11.D dowody 1 Skonstruuj następujące dowody. (Rozwiązania, s. 370). Dowiedź: C 1. A (B C) Zał. 2. A B Zał. 3. A Zał. 4. B Elim 2,3 5. B C E lim 1,3 6. C Elim 4,5 Dowiedź: A 1. (A B) (B C) Zał. 2. B C Zał. 3. C Zał. 4. B Elim 2,3 5. A B Elim 1,2 6. A Elim 4,5 Dowiedź: C 1. B (B C) Zał. 2. A (B D) Zał. 3. A Zał. 4. B D Elim 2,3 5. B Elim 4 6. B C Elim 1,5 7. C Elim 5,6 Dowiedź: B D 2. C D Zał. 3. A C Zał. 4. A Elim 3 5. B Elim 1,4 6. C Elim 3 7. D Elim 2,6 8. B D Wpr 5,7 (e) Dowiedź: A C 2. C D Zał. 3. B D Zał. 4. B Elim 3 5. A Elim 1,4 6. D Elim 3 (f) Dowiedź: H 1. (~A C) (B C) Zał. 2. H (B C) Zał. 3. (~A D) C Zał. 4. ~A D Elim 3 5. C Elim 3 6. ~A Elim 4 7. C Elim 2,6 8. A C Wpr 5,7 7. ~A C Wpr 6,5 8. B C Elim 1, 7 9. H Elim 2,8
7 11. Dowodzenie II Reguła Wpr (reguła dołączania alternatywy) Jeżeli w pewnym wierszu dowodu występuje (swobodnie) zdanie p, to wolno do dowodu dołączyć wiersz, gdzie (swobodnie) występuje alternatywa, której członem jest zdanie p. i. p p r Wpr i i. p r p Wpr i Reguła wprowadzania alternatywy zwana jest także regułą dodawania. Intuicje Załóżmy, że zdanie B jest prawdziwe. Czy następujące zdania są prawdziwe? B ~C prawdziwe fałszywe B ~(C B) prawdziwe fałszywe B ~~[~A ~(B ~C)] prawdziwe fałszywe C B prawdziwe fałszywe [~(~A B) ~~(C A)] B prawdziwe fałszywe Mam nadzieję, że odpowiedzieliście, że każde z tych zdań jest prawdziwe. A wiemy to z pewnością, ponieważ wiemy, że jeżeli zdanie B jest prawdziwe, to prawdziwa jest każda alternatywa, której członem jest zdanie B. Ta zależność między prawdziwością członu alternatywy a prawdziwością alternatywy stanowi właśnie uzasadnienie dla reguły Wpr. W wypadku reguły Wpr nie należy się oszukiwać i sugerować, że jest ona regułą intuicyjną. Jej zastosowania wydają nam się właśnie wysoce nieintuicyjne, choć przyciśnięci do muru powyższym rozumowaniem powiedzielibyśmy inaczej. Na wszelki wypadek samodzielnie przekonajcie się, czy poniższe wnioskowania wydają się Wam intuicyjne: Teoria Einsteina jest prawdziwa. Teoria Einsteina lub teoria Newtona jest prawdziwa. Będzie padać deszcz. Będzie padać deszcz lub będzie świecić słońce. Mam wrażenie, że wnioskowania te nie wydają się Wam intuicyjne. Warto jednak zwrócić uwagę, że ich nieintuicyjność nie bierze się stąd, że wydają się Wam nieprawidłowe. Przecież po chwili refleksji przyznamy, że we wnioskowaniach tych wniosek nie może być fałszywy, jeżeli przesłanka jest prawdziwa! Wydają się nam jednak nieintuicyjne, gdyż trudno nam sobie wyobrazić, dlaczego ktoś, kto wie już, że p, chciałby «rozmydlać» tę wiedzę w alternatywę p lub coś tam. Okazuje się jednak, że reguła Wpr jest niezbędna dla uchwycenia mnóstwa prawidłowych wnioskowań, a my stosujemy ją po prostu intuicyjnie, nie zdając sobie z niej sprawy. Oto przykład.
8 11. Dowodzenie II 224 Dlaczego reguła Wpr jest użyteczna Rozważmy następujące wnioskowanie, którego prawidłowość jest tak bezsporna, że pozwolę Wam wpisać wniosek: Jeżeli Jaś otrzyma 99 lub 100 punktów na teście z matematyki, to otrzyma ocenę celującą. Jaś otrzymał 99 punktów na teście z matematyki. Jaś otrzymał ocenę celującą. Po symbolizacji: (D S) C D C C: Jaś otrzyma ocenę celującą z matematyki. D: Jaś otrzyma dziewięćdziesiąt dziewięć punktów na teście z matematyki. S: Jaś otrzyma sto punktów na teście z matematyki. Spróbujmy wykazać prawidłowości tego rozumowania za pomocą dowodu: 1. (D S) C Zał. Dowieść: C 2. D Zał. Aby wyprowadzić zdanie C, musielibyśmy zastosować regułę Elim do implikacji (D S) C w wierszu 1; a moglibyśmy to zrobić, o ile mielibyśmy swobodnie stojący poprzednik tej implikacji, tj. musielibyśmy mieć wolno stojące zdanie D S. Tego zdania jednak nie mamy. Możemy je jednak wyprowadzić, korzystając właśnie z reguły Wpr, ponieważ mamy człon tej alternatywy, tj. zdanie D. 3. D S Wpr 2 Zwróćmy uwagę, że w tym kontekście rozumowanie oparte na regule Wpr nie wzbudza żadnych intuicyjnych wątpliwości. Wiemy, że jeżeli Jaś otrzyma 99 lub 100 punktów na teście z matematyki, to otrzyma ocenę celującą. Skoro Jaś otrzymał 99 punktów, to prawdziwy jest poprzednik danej nam implikacji: Jaś otrzymał 99 lub 100 punktów na teście z matematyki. Możemy zatem wyciągnąć wniosek, który bez wahania wyciągamy, nie zdając sobie sprawy, ile zawdzięczamy regule Wpr: 4. C Elim 1, 3 Dlaczego reguła Wpr jest kłopotliwa Właściwą odpowiedź na pytanie, dlaczego reguła Wpr jest kłopotliwa, już znacie, ale warto to sobie jeszcze raz uświadomić. Reguła Wpr pozwala na dołączenie dowolnego zdania jako drugiego członu alternatywy do zdania, które już mamy. Niech dane będą dwie przesłanki: 1. A C Zał. 2. A Zał. Czy wolno dołączyć zdanie ~A do przesłanki 2? Tak (por. wiersz 3, niżej). A do przesłanki pierwszej? Też (por. wiersz 4, niżej). A czy wolno dołączyć do przesłanki 1 chorobliwie wyglądające zdanie [~(~A B) ~~(C A)] ~[~(~D ~B) ~~(~D ~(C ~B))]? Tak (por. wiersz 6, niżej). A do przesłanki drugiej? Też (por. wiersz 5, niżej).
9 11. Dowodzenie II A ~A Wpr 2 4. ~A (A C) Wpr 1 5. {[~(~A B) ~~(C A)] ~[~(~D ~B) ~~(~D ~(C ~B))]} A Wpr 2 6. (A C) {[~(~A B) ~~(C A)] ~[~(~D ~B) ~~(~D ~(C ~B))]} Wpr 1 Dozwolone są w tej sytuacji powyższe kroki, jak i tryliony innych. W dowodzeniu zawsze musicie dążyć do celu! Nigdy nie należy podejmować kroku tylko dlatego, że wolno! Inaczej zginiecie pod ciężarem nieskończonej liczby bezsensownych ale dozwolonych kroczków. Porada babuni (o regule Wpr) Nigdy nie stosuj Wpr, chyba że dobrze wiesz, co chcesz zrobić z wyprowadzonym za jej pomocą zdaniem. Zwróćcie uwagę, że powyżej nie powiedziane zostało, co z przesłanek 1 i 2 ma niby wynikać. Jeżeli chodzi o to, aby dowieść, że C, to można to zrobić w jednym kroku. Jeżeli chodzi o to, żeby dowieść, że C A, to można to zrobić w dwóch krokach. Ale może chodzić o to, aby dowieść, że [(A C) B] (D A). Przykład 3 Spróbuj skonstruować dowód samodzielnie (Rozwiązania, s. 367). 1. A C Zał. Dowieść: [(A C) B] (D A) 2. A Zał. Nasz wniosek jest koniunkcją i będziemy go mogli wyprowadzić za pomocą reguły Wpr, o ile będziemy dysponowali swobodnie stojącymi członami: z jednej strony alternatywą (A C) B, a z drugiej strony alternatywą D A. Zastanówmy się kolejno, jak je otrzymać? Moglibyśmy otrzymać alternatywę D A za pomocą reguły Wpr, gdyby dany nam był swobodnie stojący jeden z członów tej alternatywy: albo zdanie D, albo zdanie A. Istotnie mamy zdanie A swobodnie stojące w wierszu 2, a ponieważ reguła Wpr mówi, że możemy dołączyć jako pozostały człon alternatywy dowolne zdanie do zdania A, więc pozwala również na dodanie zdania D, tak aby uzyskać zdanie: 3. D A Wpr 2 Chwila refleksji wystarczy, żeby sobie uświadomić, iż reguła Wpr pozwoli również na wyprowadzenie zdania (A C) B. Mamy przecież jeden z członów tej alternatywy. Nie mamy jej drugiego członu (zdania B), ale mamy jej pierwszy człon (zdanie A C), stojące swobodnie w wierszu 1. Wolno nam zatem dołączyć nowy wiersz dowodu, w którym zdanie A C będzie pierwszym członem alternatywy, a drugim jej członem będzie dowolne zdanie, w szczególności zaś to, którego potrzebujemy w tym dowodzie, a mianowicie zdanie B: 4. (A C) B Wpr 1 Ostatni krok to zastosowanie reguły Wpr do dwóch właśnie uzyskanych alternatyw: 5. [(A C) B] (D A) Wpr 4, 3
10 11. Dowodzenie II 226 Stosowanie reguły Wpr Regułę Wpr można stosować na nieograniczoną liczbę sposobów lecz gdy już zdecydujemy, co ma być dodanym członem alternatywy, reguła może być zastosowana dwojako. W poniższym przypadku do zdania ~A zdecydowaliśmy się dodać zdanie D C: 1. ~A Zał. 2. (D C) ~A Wpr 1 3. ~A (D C) Wpr 1 Nie wolno reguły Wpr stosować do członów zdań: 1. ~A Zał. 2. ~(A (D C)) Wpr 1 2. (A C) B Wpr 1 Ćwiczenie 11.E Wpr 1 Zastosuj regułę Wpr, dodając zdanie B. (Rozwiązania, s. 371). 3. A B Wpr 1 4. B A Wpr 1 3. (A C) B Wpr 2 4. B (A C) Wpr 2 1. ~B Zał. 2. B B Zał. 3. (B B) B Wpr 2 4. B (B B) Wpr 2 (e) 1. B Zał. 3. B B Wpr 1 4. B (A C) Wpr 2 5. (A C) B Wpr 2 1. ~B Zał. 2. B B Zał. 3. ~B B Wpr 1 4. B ~B Wpr 1 (f) 1. ~A Zał. 3. ~A B Wpr 1 4. B ~A Wpr 1 5. B (A C) Wpr 2 6. (A C) B Wpr 2 Ćwiczenie 11.F Wpr 2 Zastosuj regułę Wpr, dodając zdanie ~B. (Rozwiązania, s. 371). 3. A ~B Wpr 1 4. ~B A Wpr 1 3. (A C) ~B Wpr 2 4. ~B (A C) Wpr 2 1. ~A Zał. 3. ~A ~B Wpr 1 4. ~B ~A Wpr 1 1. B Zał. 3. B ~B Wpr 1 4. ~B B Wpr 1
11 11. Dowodzenie II 227 (e) 1. ~B Zał. 2. B B Zał. 3. ~B ~B Wpr 1 (f) 1. ~B Zał. 2. B B Zał. 3. (B B) ~B Wpr 2 4. ~B (B B) Wpr 2 Ćwiczenie 11.G Wpr 3 Zastosuj regułę Wpr, dodając zdanie ~B A. (Rozwiązania, s ). 3. A (~B A) Wpr 1 4. (~B A) A Wpr 1 1. ~A Zał. 3. ~A (~B A) Wpr 1 4. (~B A) ~A Wpr 1 3. (A C) (~B A) Wpr 2 4. (~B A) (A C) Wpr 2 1. ~B Zał. 2. B B Zał. 3. (B B) (~B A) Wpr 2 4. (~B A) (B B) Wpr 2 Czy wiesz, że Istnieją dwa rodzaje systemów dowodzenia: systemy aksjomatyczne i systemy dedukcji naturalnej. Systemy aksjomatyczne wyróżniają pewne tautologie (aksjomaty), z których starają się wyprowadzić resztę tautologii za pomocą minimalnej ilości reguł. Aksjomatyzacja logiki zdań zaproponowana przez Jana Łukasiewicza np. wyróżnia trzy aksjomaty: ( ) ( ( )) (( ) ( )) (~ ~ ) ( ) Pod zmienne,, można podstawiać dowolne (i dowolnie złożone) schematy zdaniowe na mocy tzw. reguły podstawiania. Jedyną dodatkową regułą jest tzw. reguła odrywania, czyni modus ponens (niżej omawiana jako reguła Elim). Systemy aksjomatyczne są niezwykle eleganckie i teoretycznie doniosłe. W praktyce jednak są bardzo trudne do stosowania. Właśnie dlatego powstały systemy dedukcji naturalnej. Jeden z twórców systemów dedukcji naturalnej, Stanisław Jaśkowski, rozpoczął swe badania w odpowiedzi na pytanie postawione przez jego nauczyciela, Jana Łukasiewicza, który zwrócił uwagę, że systemy aksjomatyczne nie oddają rzeczywistej praktyki dowodzenia przez matematyków. Systemy dedukcji naturalnej nie wprowadzają żadnych aksjomatów, lecz jedynie reguły dowodzenia, które można wykorzystać również do dowodzenia tautologii. Pierwsze systemy dedukcji naturalnej zostały niezależnie odkryte przez Stanisława Jaśkowskiego właśnie oraz Gerharda Gentzena, którzy opublikowali swoje pierwsze prace w tym zakresie w 1934 roku. Od tego czasu powstało bardzo wiele systemów dedukcji naturalnej. Różnią się one przyjmowanymi regułami, a także metodami (w tym graficznymi) reprezentacji dowodów.
12 11. Dowodzenie II Jeszcze jeden przykład dowodu z regułą Wpr Jeden przykład dowodu stosującego regułę Wpr widzieliśmy. Zróbmy jeszcze jeden. Jak zwykle spróbujcie go skonstruować samodzielnie. Pełen dowód znajdziesz w Rozwiązaniach, s Przykład 4 1. (C D) (~A B) Zał. Dowieść: C 2. B Zał. Naszym celem jest wyprowadzenie swobodnie stojącego zdania C, które jest członem koniunkcji będącej z kolei członem równoważności z wiersza 1. Jeśli uda nam się wyprowadzić koniunkcję C D, otrzymanie C jest proste zastosujemy Elim. Musimy się tylko zastanowić: Jak otrzymać zdanie C D? Zauważyliśmy już, że jest to pierwszy człon równoważności. Gdybyśmy mieli drugi jej człon, tj. ~A B, wówczas moglibyśmy zastosować regułę Elim. Jak zatem otrzymać zdanie ~A B? Zdanie ~A B jest alternatywą moglibyśmy ją uzyskać, stosując regułę Wpr, gdybyśmy mieli którykolwiek z jej członów, i na szczęście drugi jej człon, zdanie B, występuje swobodnie w wierszu 2. Do zdania B z wiersza 2 możemy na mocy reguły Wpr dodać dowolne zdanie, w szczególności możemy dodać zdanie ~A, gdyż potrzebujemy alternatywę ~A B: 3. ~A B Wpr 2 Mamy teraz równoważność (C D) (~A B) w wierszu 1 oraz drugi jej człon (~A B) w wierszu 3, możemy zatem wyprowadzić pierwszy człon tej równoważności za pomocą reguły Elim: 4. C D Elim 1, 3 Teraz pozostaje zastosowanie reguły Elim, aby uzyskać żądany wniosek: 5. C Elim 4 Czy wiesz, że Pionierzy badań nad sztuczną inteligencją, A. Newell, J.C. Shaw i H.A. Simon, stworzyli program Logic Theorist, którego zadanie polegało na dowodzeniu twierdzeń. Nie jest to zadanie banalne, gdyż proces dowodzenia nie jest algorytmizowalny. Programowi Logic Theorist udało się dowieść 38 z pierwszych 52 twierdzeń przedstawionych przez B. Russella i A. N. Whiteheada w Principia Mathematica. W przypadku jednego twierdzenia dowód przedstawiony przez program Logic Theorist był elegantszy niż dowód podany przez sławnych logików. Trzej autorzy pośpiesznie napisali krótki artykuł na temat otrzymanego dowodu, dopisując do swych nazwisk czwartego autora: Logic Theorist. Był to pierwszy artykuł, którego współautorem była maszyna. Niestety, artykuł się nie ukazał redakcja prestiżowego czasopisma The Journal of Symbolic Logic tekst odrzuciła. Żródło: J. Weizenbaum, Computer Power and Human Reason (San Francisco: W.H. Freeman, 1976).
13 11. Dowodzenie II 229 Ćwiczenie 11.H Wpr 4 W następujących dowodach brakuje dokładnie jednego kroku, aby dowieść wniosku znajdującego się w ostatnim wierszu. Uzupełnij brakujący krok, uzasadnij go oraz uzasadnij krok ostatni. (Rozwiązania, s. 372). 2. (A B) C Zał. 3. A B Wpr 1 4. C Elim 2,3 1. (D ~B) A Zał. 2. ~B Zał. 3. D ~B Wpr 2 4. A Elim 1,3 1. ~B Zał. 2. (A ~B) C Zał. 3. A ~B Wpr 1 4. C Elim 2,3 (e) 2. D (A C) Zał. 3. A C Wpr 1 4. D Elim 2,3 (g) 1. (B A) (C D) Zał. 2. A Zał. 3. B A Wpr 2 4. C D Elim 1,3 (i) 1. ~A Zał. 2. C Zał. 3. C D Wpr 2 4. B (C D) Wpr 3 1. (C ~B) (~A ~B) Zał. 2. C Zał. 3. C ~B Wpr 1 4. ~A ~B Elim 2,3 (f) 1. ~B Zał. 2. C (~A ~B) Zał. 3. ~A ~B Wpr 1 4. C Elim 2,3 (h) 1. ~A Zał. 2. C Zał. 3. C A Wpr 2 4. (C A) (C D) Wpr 3 (j) 1. ~A Zał. 2. C Zał. 3. C B Wpr 2 4. (C B) D Wpr 3 Ćwiczenie 11.I Wpr 5 W następujących dowodach brakuje dokładnie dwóch kroków, aby dowieść wniosku znajdującego się w ostatnim wierszu. Uzupełnij brakujące kroki, uzasadnij je oraz uzasadnij krok ostatni. (Rozwiązania, s ). 2. (A C) D Zał. 3. A Elim 1 4. A C Wpr 3 5. D Elim 2,4 1. ~D (A C) Zał. 2. C B Zał. 3. C Elim 2 4. A C Wpr 3 5. ~D Elim 1, 4 2. C Zał. 3. A B Wpr 2 4. D C Wpr 3 5. (A B) (D C) Wpr 3, 4 2. A [(A B) D] Zał. 3. (A B) D Elim 1, 2 4. A B Wpr 1 5. D Elim 3,4
14 11. Dowodzenie II 230 (e) 1. (C A) [D (C A)] Zał. 2. A Zał. 3. C A Wpr 2 4. D (C A) Elim 1, 3 5. D Elim 3, 4 (f) 2. (C A) B Zał. 3. C A Wpr 1 4. B Elim 2, 3 5. B C Wpr 4 Ćwiczenie 11.J dowody 2 Skonstruuj następujące dowody. (Rozwiązania, s. 373). Dowiedź: ~C 1. (A B) D Zał. 2. (~E D) ~C Zał. 3. A Zał 4. A B Wpr 3 5. C D Elim 1,4 6. ~E A Wpr 3 7. ~C Elim 2,6 Dowiedź: [(A B) C] (D A) 2. ~B Zał. 4. (A B) C Wpr 3 5. D A Wpr 1 5. D A Wpr 1 5. D A Wpr 1 6. [(A B) C] (D A) Wpr 4, Reguła wtórna MTP (modus tollendo ponens) Pozwolimy sobie teraz przerwać nasz ciąg uczenia się reguł pierwotnych systemu SD i wprowadzimy jedną, bardzo użyteczną regułę wtórną, a mianowicie regułę MTP pozwalającą nam na wykorzystanie informacji zawartej w alternatywie. W rozdziale 15 wykażemy, że reguła MTP jest regułą wtórną, tj. że wszystkie kroki wnioskowania, na które pozwala reguła MTP, można uzasadnić wyłącznie za pomocą reguł pierwotnych systemu SD. Tymczasem jednak pozwolimy sobie na stosowanie reguły MTP: Jeżeli w pewnym wierszu dowodu występuje (swobodnie) alternatywa, a w innym wierszu dowodu występuje (swobodnie) negacja jednego jej członu, to wolno do dowodu dołączyć wiersz, gdzie (swobodnie) występuje pozostały człon tej alternatywy. i. p r j. ~p r MTP i, j i. p r j. ~r p MTP i, j Porada babuni (o regule MTP) Uważaj na negacje!
15 11. Dowodzenie II 231 Intuicje O intuicyjności reguły MTP nie trzeba nikogo przekonywać. Wpiszcie wnioski w następujących rozumowaniach, a przekonacie się sami: W stołówce podadzą na deser albo lody, albo budyń. Niestety, nie podali lodów. Alicja może zdawać egzamin w formie albo pisemnej, albo ustnej. Alicja musiała być w pracy i przepadły jej wszystkie terminy ustnych egzaminów. Stosowanie reguły MTP Regułę MTP można stosować tylko w jeden sposób (uwaga: druga wersja reguły MTP wymaga, aby dane były inne zdania): 2. ~A Zał. 3. B MTP 1, 2 Ponieważ reguła wymaga, aby oprócz alternatywy dany był też zanegowany jeden z jej członów, warto się zastanowić nad tym, jak stosować się będzie reguła MTP do alternatyw, których człony są zanegowane. Spróbujcie zastosować regułę MTP do poniższych przykładów, uzupełniając brakujące informacje: 1. D ~C Zał. 2. ~D Zał. 3. ~C MTP 1, 2 1. D ~C Zał. 2. ~~C Zał. 3. D MTP 1, 2 Mamy do czynienia z alternatywą, której pierwszym członem jest zdanie proste D, a drugim członem negacja ~C. Gdy dane jest jeszcze zdanie ~D, to możemy zastosować regułę MTP, gdyż negacja ~D jest negacją pierwszego członu alternatywy D ~C, a w takim wypadku reguła MTP pozwala nam na wyprowadzenie drugiego członu alternatywy, czyli negacji ~C. W drugim wypadku dana jest ponownie alternatywa D ~C, lecz tym razem MTP została zastosowana tak, że wyprowadzony został pierwszy jej człon, a mianowicie D. Brakuje tu informacji dotyczącej tego, co jeszcze musiało być dane. Aby wyprowadzić pierwszy człon alternatywy, musieliśmy mieć negację drugiego członu tej alternatywy. Drugim członem alternatywy D ~C jest zdanie ~C, którego negacją jest zdanie ~~C. W wierszu 2 drugiego dowodu brakuje zatem zdania ~~C. Jednym z częstych błędów jest przypuszczenie, że reguła MTP jest prawidłowo zastosowana w obydwu przypadkach niżej przedstawionych: 1. A ~B Zał. 2. ~~B Zał. 3. A MTP 1, 2 1. A ~B Zał. 2. B Zał. 3. A MTP 1, 2 W przypadku drugim zastosowanie reguły MTP nie jest jednak uprawnione. Zdanie B nie stanowi bowiem negacji zdania ~B. Musimy pamiętać bowiem, że reguły inferencyjne są regułami syntaktycznymi dostępna im jest jedyne struktura syntaktyczna formuł (a więc to, z jakich symboli są złożone), a nie ich znaczenie. Oczywiście wnioskowanie, że A na podstawie przesłanek A ~B oraz B jest wnioskowaniem prawidłowym będziemy się o tym mogli przekonać nieco później, jak już skompletujemy nasze reguły wnioskowania. Jak zwykle nie wolno reguły MTP stosować do członów zdań: 1. A (B C) Zał. 2. ~B Zał. 3. C MTP 1, 2 2. ~A C Zał. 3. B MTP 1,2
16 11. Dowodzenie II 232 Ćwiczenie 11.K MTP 1 Uzupełnij brakujące informacje. (Rozwiązania, s. 373). 2. ~B Zał. 3. MTP 1, 2 1. Zał. 2. ~B Zał. 3. C MTP 1, 2 (e) 1. Zał. 2. ~(B C) Zał. 3. ~A MTP 1, 2 (g) 1. A ~B Zał. 2. Zał. 3. A MTP 1, 2 2. Zał. 3. B MTP 1, 2 1. ~A ~B Zał. 2. Zał. 3. ~A MTP 1, 2 (f) 1. (A C) B Zał. 2. ~B Zał. 3. MTP 1, 2 (h) 1. ~A Zał. 2. Zał. 3. ~~B MTP 1, Przykłady dowodów z zastosowaniem reguły MTP Spróbuj skonstruować następujące dowody samodzielnie. Pełne dowody znajdziesz w Rozwiązaniach, s Przykład 5 Dowieść: A 2. C ~B Zał. 3. C Zał. Naszym celem jest wyprowadzenie swobodnie stojącego zdania A, które jest pierwszym członem alternatywy z wiersza 1. Moglibyśmy wyprowadzić zdanie A, gdybyśmy mieli negację drugiego członu alternatywy A B, tj. gdybyśmy mieli ~B. Zdanie ~B jest następnikiem implikacji z wiersza 2, a zatem moglibyśmy je wyprowadzić, stosując Elim, gdybyśmy mieli poprzednik tej implikacji, tj. C, który rzeczywiście mamy w wierszu 3: 4. ~B Elim 2, 3 Mamy teraz alternatywę A B swobodnie stojącą w wierszu 1 oraz negację jej drugiego członu, tj. swobodnie stojące zdanie ~B, w wierszu 4, możemy zatem zastosować regułę MTP i wyprowadzić pierwszy człon tej alternatywy: 5. A MTP 1, 4
17 11. Dowodzenie II 233 Przykład 6 1. ~A ~B Zał. Dowieść: ~A 2. B ~~B Zał. Naszym celem jest wyprowadzenie zdania ~A, które jest pierwszym członem alternatywy w wierszu 1. Moglibyśmy wyprowadzić ~A, gdybyśmy mieli negację drugiego członu tej alternatywy. Ponieważ drugim członem alternatywy ~A ~B jest zdanie ~B, to negacją drugiego członu tej alternatywy będzie zdanie ~~B. Zdanie ~~B nie występuje w dowodzie swobodnie, ale możemy je wyprowadzić z wiersza 2, stosując regułę Elim: 3. ~~B Elim 2 Mamy teraz alternatywę ~A ~B swobodnie stojącą w wierszu 1 oraz negację jej drugiego członu, tj. swobodnie stojące zdanie ~~B, w wierszu 3, możemy zatem zastosować regułę MTP i wyprowadzić pierwszy człon tej alternatywy: 4. ~A MTP 1, 3 Uwaga. Aby móc zastosować regułę MTP nie wystarczyłoby wyprowadzenie zdania B, gdyż zdanie B nie jest negacją zdania ~B. Przykład 7 Spróbujcie dowieść prawidłowości następującego rozumowania: Jeżeli dostanę 17 lub 18 punktów na teście, to otrzymam ocenę bdb. Otrzymam ocenę bdb tylko jeśli albo przyswoję sobie regułę wprowadzania implikacji albo wkuję wszystkie możliwe dowody na pamięć. Dostałem 18 punktów, a przecież nie można wkuć wszystkich możliwych dowodów na pamięć, więc: Przyswoiłem sobie regułę wprowadzania implikacji. B: Otrzymam bdb. O: Dostanę osiemnaście punktów. P: Przyswoję sobie Wpr. S: Dostanę siedemnaście punktów. W: Wkuję wszystkie dowody. 1. (S O) B Zał. Dowieść: P 2. B (P W) Zał. 3. O ~W Zał. Naszym celem jest wyprowadzenie zdania P. Zdanie P jest pierwszym członem alternatywy P W znajdującej się w następniku implikacji z wiersza 2. Aby wyprowadzić P, musimy najpierw wyprowadzić alternatywę, co moglibyśmy prosto uczynić (za pomocą reguły Elim), gdybyśmy mieli poprzednik implikacji B (P W), czyli gdybyśmy mieli swobodnie stojące zdanie B. Jedynym sposobem na otrzymanie zdania B jest zastosowanie reguły Elim do implikacji z wiersza 1, ale do tego potrzebujemy swobodnie występującego poprzednika tej implikacji, tj. zdania S O, którego nie mamy. Ponieważ zdanie S O jest alternatywą, więc możemy je łatwo otrzymać przez zastosowanie reguły Wpr, o ile mamy któryś z członów tej alternatywy. Ani S, ani O nie występują swobodnie w dowodzie, ale
18 11. Dowodzenie II 234 możemy wyprowadzić O z wiersza 3, stosując regułę Elim. Wykonajmy zatem wyżej obmyślone kroki: 4. O Elim 3 Do zdania O możemy dodać dowolne zdanie, a w szczególności zdanie S, tak aby otrzymać alternatywę S O: 5. S O Wpr 4 Mamy teraz implikację (S O) B w wierszu 1 oraz jej poprzednik S O w wierszu 5, więc możemy zastosować regułę Elim: 6. B Elim 1, 5 Mamy teraz implikację B (P W) w wierszu 2 oraz jej poprzednik B w wierszu 6, więc możemy zastosować regułę Elim: 7. P W Elim 2, 6 Przypomnijmy sobie, że chodzi nam o wyprowadzenie zdania P. Zdanie P jest pierwszym członem alternatywy P W z wiersza 7. Moglibyśmy wyprowadzić P za pomocą reguły MTP, gdybyśmy mieli negację drugiego członu tej alternatywy, czyli swobodnie stojące zdanie ~W. Zdania tego nie mamy, możemy je jednak wyprowadzić z koniunkcji w wierszu 3: 8. ~W Elim 3 9. P MTP 7, 8 Jako ćwiczenie warto wyrazić kroki, które wykonywaliśmy w tym dowodzie na symbolach, w zdaniach języka naturalnego. Ćwiczenie to powinno pokazać, że właśnie skonstruowany przez nas dowód nie odbiega od naturalnego toku myślenia, choć miejscami wyda się nam zbyt drobiazgowy: 1. Jeżeli dostanę 17 lub 18 punktów na teście, to otrzymam ocenę bdb. Zał. 2. Otrzymam ocenę bardzo dobrą, tylko jeśli albo przyswoję sobie regułę Zał. wprowadzania implikacji, albo wkuję wszystkie możliwe dowody na pamięć. Parafraza: Jeżeli otrzymałem ocenę bardzo dobrą, to [znaczy, że] albo przyswoiłem sobie regułę wprowadzania implikacji albo wkułem wszystkie możliwe dowody. 3. Dostałem 18 punktów, a przecież nie wkułem wszystkich możliwych dowodów. Zał. 4. Elim 3 5. Wpr 4 6. Elim 1, 5 7. Elim 2, 6 8. Elim 3 9. Przyswoiłem sobie regułę wprowadzania implikacji. MTP 7, 8
19 11. Dowodzenie II 235 Ćwiczenie 11.L MTP 2 W następujących dowodach brakuje dokładnie jednego kroku, aby dowieść wniosku znajdującego się w ostatnim wierszu. Uzupełnij brakujący krok, uzasadnij go oraz uzasadnij krok ostatni. (Rozwiązania, s. 374). 1. ~D Zał. 2. (C D) D Zał. 3. C D MTP 1,2 4. C MTP 1,3 1. ~A ~B Zał. 2. B D Zał. 3. ~B Elim 1 4. D MTP 2,3 1. ~B Zał. 2. ~B (A B) Zał. 3. A B Elim 1,2 4. A MTP 1,3 1. (~B ~A) ~~A Zał. 2. ~~A Zał. 3. ~B ~A Elim 1, 2 4. ~B MTP 2,3 Ćwiczenie 11.M MTP 3 W następujących dowodach brakuje dokładnie dwóch kroków, aby dowieść wniosku znajdującego się w ostatnim wierszu. Uzupełnij brakujące kroki, uzasadnij je oraz uzasadnij krok ostatni. (Rozwiązania, s. 374). 1. ~D (A D) Zał. 2. ~D B Zał. 3. ~D Elim 2 4. A D Elim 1,3 5. A MTP 3,4 1. [~A (D A)] A Zał. 2. ~A Zał. 3. ~A (D A) MTP 1,2 4. D A Elim 2,3 5. D MTP 2,4 1. [(A B) C] C Zał. 2. ~C ~B Zał. 3. ~C Elim 2 4. (A B) C MTP 1,3 5. A B MTP 3,4 1. B (A B) Zał. 2. ~B Zał. 3. A B MTP 1,2 4. A MTP 2,3 5. D A Wpr 4 Ćwiczenie 11.N dowody 3 Skonstruuj następujące dowody. (Rozwiązania, s. 374). Dowiedź: B 1. C Zał. 2. ~A (~D C) Zał. 3. (C D) (A B) Zał. 4. C D Wpr 1 5. A B Elim 3,4 6. ~D C Wpr 1 7. ~A Elim 2,6 8. B MTP 5, 7 Dowiedź: ~B 1. (D A) [A (~B A)] Zał. 2. ~A ~(D A) Zał. 3. ~A C Zał. 4. ~A Elim 3 5. ~(D A) Elim 2, 4 6. A (~B A) MTP 1, 5 7. ~B A MTP 6, 4 8. ~B MTP 7, 4
20 11. Dowodzenie II 236 Ćwiczenie 11.O dowody 4 Dokonaj symbolizacji następujących wnioskowań, a następnie dowiedź ich prawidłowości. Zastanów się, czy porządek kroków w dowodzie odpowiada porządkowi rozumowania intuicyjnego. (Rozwiązania, s. 375). Jeżeli Ania zda logikę, to jej chłopak Tomek zaprosi ją albo do greckiej, albo do francuskiej restauracji. Nie zaprosi jej do francuskiej restauracji, jeśli oglądała dużo TV. Ania zda logikę, jeśli będzie dobrze przygotowana, a będzie dobrze przygotowana, jeśli będzie się dużo uczyć. Ania dużo się uczyła, ale też oglądała dużo TV. Zatem Tomek zaprosi Anię do greckiej restauracji. Tomek nie jest zainteresowany Beatą; Staś natomiast bardzo chciałby się z nią umówić. Beata umówi się ze Stasiem albo wtedy, gdy zostanie przewodniczącym samorządu, albo gdy się okaże, że Robert nie jest nią zainteresowany. Staś zostanie przewodniczącym samorządu, jeśli albo Cecylia nie umówi się z nim, albo Paweł nie zostanie wybrany do samorządu. Cecylia nie umówi się ze Stasiem, chyba że Beata zaprosi ją na imprezę. Jeśli Tomek nie jest zainteresowany Beatą, to Beata nie zaprosi ani jego, ani Cecylii na imprezę. Zatem Beata umówi się ze Stasiem
15. DOWODZENIE VI WTÓRNE REGUŁY WNIOSKOWANIA I REGUŁY PODSTAWIANIA
15. DOWODZENIE VI WTÓRNE REGUŁY WNIOSKOWANIA I REGUŁY PODSTAWIANIA W systemie SD dla każdego spójnika istnieje reguła wprowadzania i reguła eliminacji tegoż spójnika. Niemniej jednak dowodzenie za pomocą
5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH
5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH Temat, którym mamy się tu zająć, jest nudny i żmudny będziemy się uczyć techniki obliczania wartości logicznej zdań dowolnie złożonych. Po co? możecie zapytać.
10. DOWODZENIE I REGUŁY WPR, ELIM, ELIM
10. DOWODZENIE I REGUŁY WPR, ELIM, ELIM Żaden z tematów w podstawowym kursie logiki nie jest ani tak trudny ani tak użyteczny jak dowodzenie w systemie dedukcji naturalnej. Jednocześnie jak w żadnym dotąd
13. DOWODZENIE IV REGUŁY WPR, ELIM, ~WPR, ~ELIM
13. DOWODZENIE IV REGUŁY WPR, ELIM, ~WPR, ~ELIM Cele Umiejętność stosowania reguł pierwotnych Wpr, Elim, ~Wpr, ~Elim. Umiejętność przeprowadzania prostych dowodów z użyciem tych reguł. 13.1. Reguła Wpr
14. DOWODZENIE V WYNIKANIE LOGICZNE, RÓWNOWAŻNOŚĆ LOGICZNA, DOWODZENIE TAUTOLOGII
14. DOWODZENIE V WYNIKANIE LOGICZNE, RÓWNOWAŻNOŚĆ LOGICZNA, DOWODZENIE TAUTOLOGII Cele Pojęcie wynikania logicznego i równoważności logicznej w systemie SD. Umiejętność wykazywania zachodzenia relacji
RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.
Semantyczne twierdzenie o podstawianiu Jeżeli dana formuła rachunku zdań jest tautologią i wszystkie wystąpienia pewnej zmiennej zdaniowej w tej tautologii zastąpimy pewną ustaloną formułą, to otrzymana
12. DOWODZENIE III REGUŁY WPR, R
12. DOWODZENIE III REGUŁY WPR, R Cele Umiejętność stosowania reguł pierwotnych Wpr oraz R. Umiejętność przeprowadzania prostych dowodów z użyciem tych reguł. 12.1. Intuicje Wiele reguł w systemie SD korzysta
Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37
Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 15 stycznia 2011 Michał Lipnicki () Logika 15 stycznia 2011 1 / 37 Wstęp Materiały na dzisiejsze zajęcia zostały opracowane na podstawie pomocy naukowych
Dowody założeniowe w KRZ
Dowody założeniowe w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl w styczniu 2007 Jerzy Pogonowski (MEG) Dowody założeniowe w KRZ w styczniu 2007 1 / 10 Dowody
NOWE ODKRYCIA W KLASYCZNEJ LOGICE?
S ł u p s k i e S t u d i a F i l o z o f i c z n e n r 5 * 2 0 0 5 Jan Przybyłowski, Logika z ogólną metodologią nauk. Podręcznik dla humanistów, Wydawnictwo Uniwersytetu Gdańskiego, Gdańsk 2003 NOWE
LOGIKA Dedukcja Naturalna
LOGIKA Dedukcja Naturalna Robert Trypuz Katedra Logiki KUL 7 stycznia 2014 Robert Trypuz (Katedra Logiki) Założeniowy system klasycznego rachunku zdań 7 stycznia 2014 1 / 42 PLAN WYKŁADU 1 Przykład dowodów
Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język
Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)
Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne) Definicja 1: Tautologia jest to takie wyrażenie, którego wartość logiczna jest prawdą przy wszystkich możliwych wartościowaniach zmiennych
Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne
Literatura: podstawowa: C. Radhakrishna Rao, Statystyka i prawda, 1994. G. Wieczorkowska-Wierzbińska, J. Wierzbiński, Statystyka. Od teorii do praktyki, 2013. A. Aczel, Statystyka w zarządzaniu, 2002.
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ KONWERSATORIUM 6: REZOLUCJA V rok kognitywistyki UAM 1 Kilka uwag terminologicznych Słuchacze zapewne pamiętają z zajęć dotyczących PROLOGu poniższą
Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań System aksjomatyczny logiki Budując logikę
Paradygmaty dowodzenia
Paradygmaty dowodzenia Sprawdzenie, czy dana formuła rachunku zdań jest tautologią polega zwykle na obliczeniu jej wartości dla 2 n różnych wartościowań, gdzie n jest liczbą zmiennych zdaniowych tej formuły.
Rachunek zdań i predykatów
Rachunek zdań i predykatów Agnieszka Nowak 14 czerwca 2008 1 Rachunek zdań Do nauczenia :! 1. ((p q) p) q - reguła odrywania RO 2. reguła modus tollens MT: ((p q) q) p ((p q) q) p (( p q) q) p (( p q)
Logika. Michał Lipnicki. 18 listopada Zakład Logiki Stosowanej UAM. Michał Lipnicki Logika 18 listopada / 1
Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 18 listopada 2012 Michał Lipnicki Logika 18 listopada 2012 1 / 1 Wstęp Materiały na dzisiejsze zajęcia zostały opracowane na podstawie pomocy naukowych
Dalszy ciąg rachunku zdań
Dalszy ciąg rachunku zdań Wszystkie możliwe funktory jednoargumentowe p f 1 f 2 f 3 f 4 0 0 0 1 1 1 0 1 0 1 Wszystkie możliwe funktory dwuargumentowe p q f 1 f 2 f 3 f 4 f 5 f 6 f 7 f 8 f 9 f 10 f 11 f
Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń
Elementy logiki Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń 1 Klasyczny Rachunek Zdań 1.1 Spójniki logiczne Zdaniem w sensie logicznym nazywamy wyrażenie, które jest
Wstęp do logiki. Klasyczny Rachunek Zdań II
Wstęp do logiki Klasyczny Rachunek Zdań II DEF. 1 (Słownik). Następujące znaki tworzą słownik języka KRZ: p 1, p 2, p 3, (zmienne zdaniowe) ~,,,, (spójniki) ), ( (nawiasy). DEF. 2 (Wyrażenie). Wyrażeniem
Wstęp do logiki. Klasyczny Rachunek Zdań III
Wstęp do logiki Klasyczny Rachunek Zdań III Przypomnijmy: Logika: = Teoria form (schematów, reguł) poprawnych wnioskowań. Wnioskowaniem nazywamy jakąkolwiek skończoną co najmniej dwuwyrazową sekwencję
Elementy logiki i teorii mnogości
Elementy logiki i teorii mnogości Zdanie logiczne Zdanie logiczne jest to zdanie oznajmujące, któremu można przypisać określoną wartość logiczną. W logice klasycznej zdania dzielimy na: prawdziwe (przypisujemy
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań 1 Istnieje wiele systemów aksjomatycznych Klasycznego Rachunku
Drzewa Semantyczne w KRZ
Drzewa Semantyczne w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 7 XII 2006, 13:30 15:00 Jerzy Pogonowski (MEG) Drzewa Semantyczne w KRZ 7 XII 2006, 13:30 15:00
Lekcja 3: Elementy logiki - Rachunek zdań
Lekcja 3: Elementy logiki - Rachunek zdań S. Hoa Nguyen 1 Materiał a) Zdanie proste, złożone b) Spójniki logiczne (funktory zdaniotwórcze):,,,,, (alternatywa wykluczająca - XOR). c) Tautologia, zdanie
WYKŁAD 7: DEDUKCJA NATURALNA
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ WYKŁAD 7: DEDUKCJA NATURALNA III rok kognitywistyki UAM, 2016 2017 Systemy dedukcji naturalnej pochodzą od Gerharda Gentzena (1909 1945) oraz Stanisława
8. SKRÓCONA METODA ZERO-JEDYNKOWA
8. SKRÓCONA METODA ZERO-JEDYNKOWA W rozdziale tym poznamy skróconą metodę zero-jedynkową. Zakłada ona umiejętność określania wartości logicznych «wstecz», a pozwoli nam dość sprawnie dowieść, że (a) pewien
LOGIKA I TEORIA ZBIORÓW
LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja
Logika intuicjonistyczna
Logika intuicjonistyczna Logika klasyczna oparta jest na pojęciu wartości logicznej zdania. Poprawnie zbudowane i jednoznaczne stwierdzenie jest w tej logice klasyfikowane jako prawdziwe lub fałszywe.
0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.
Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek
JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca 2012 Imię i Nazwisko:........................................................... FIGLARNE POZNANIANKI Wybierz
Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:
1 Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa. Tak więc zdanie może mieć jedną z dwóch wartości logicznych. Prawdziwość
Rachunek zdao i logika matematyczna
Rachunek zdao i logika matematyczna Pojęcia Logika - Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Rachunek zdao - dział logiki
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 5. Wprowadzenie do semantyki teoriomodelowej cz.5. Wynikanie logiczne 1 Na poprzednim wykładzie udowodniliśmy m.in.:
Konsekwencja logiczna
Konsekwencja logiczna Niech Φ 1, Φ 2,..., Φ n będa formułami logicznymi. Formuła Ψ wynika logicznie z Φ 1, Φ 2,..., Φ n jeżeli (Φ 1 Φ 2 Φ n ) Ψ jest tautologia. Formuły Φ 1, Φ 2,..., Φ n nazywamy założeniami
Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 2 - Logika modalna Część 2 Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 27 Plan wykładu
Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu
Witold Marciszewski: Wykład Logiki, 17 luty 2005, Collegium Civitas, Warszawa Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu 1. Poniższe wyjaśnienie (akapit
Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0
ĆWICZENIE 1 Klasyczny Rachunek Zdań (KRZ): zdania w sensie logicznym, wartości logiczne, spójniki logiczne, zmienne zdaniowe, tabele prawdziwościowe dla spójników logicznych, formuły, wartościowanie zbioru
WYKŁAD 3: METODA AKSJOMATYCZNA
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ WYKŁAD 3: METODA AKSJOMATYCZNA III rok kognitywistyki UAM, 2016 2017 Plan na dziś: 1. Przypomnimy, na czym polega aksjomatyczna metoda dowodzenia twierdzeń.
ĆWICZENIE 4 KRZ: A B A B A B A A METODA TABLIC ANALITYCZNYCH
ĆWICZENIE 4 Klasyczny Rachunek Zdań (KRZ): metoda tablic analitycznych, system aksjomatyczny S (aksjomaty, reguła dowodzenia), dowód w systemie S z dodatkowym zbiorem założeń, tezy systemu S, wtórne reguły
Podstawy Sztucznej Inteligencji (PSZT)
Podstawy Sztucznej Inteligencji (PSZT) Paweł Wawrzyński Wnioskowanie logiczne i systemy eksperckie Systemy posługujące się logiką predykatów: część 3/3 Dzisiaj Uogólnienie Poprawność i pełność wnioskowania
JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 29 czerwca Imię i Nazwisko:...
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 29 czerwca 2015 Imię i Nazwisko:............................................................... DZIARSKIE SKRZATY Wybierz
LOGIKA MATEMATYCZNA. Poziom podstawowy. Zadanie 2 (4 pkt.) Jeśli liczbę 3 wstawisz w miejsce x, to które zdanie będzie prawdziwe:
LOGIKA MATEMATYCZNA Poziom podstawowy Zadanie ( pkt.) Która koniunkcja jest prawdziwa: a) Liczba 6 jest niewymierna i 6 jest liczbą dodatnią. b) Liczba 0 jest wymierna i 0 jest najmniejszą liczbą całkowitą.
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ 1 Tezy KRZ Pewien system aksjomatyczny KRZ został przedstawiony
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl OSTRZEŻENIE Niniejszy plik nie zawiera wykładu z Metod dowodzenia...
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ 1 Inferencyjna równoważność formuł Definicja 9.1. Formuła A jest
1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.
Elementy logiki i teorii zbiorów. 1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Pojęcia pierwotne to najprostsze
JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca Imię i Nazwisko:... I
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca 2013 Imię i Nazwisko:.................................................................................. I Wybierz
(g) (p q) [(p q) p]; (h) p [( p q) ( p q)]; (i) [p ( p q)]; (j) p [( q q) r]; (k) [(p q) (q p)] (p q); (l) [(p q) (r s)] [(p s) (q r)];
Logika 1. Czy następujące sformułowania są zdaniami: (a) Wszystkie koty w Polsce są czarne. (b) Jak to udowodnić? (c) x + y = 7. (d) Jeśli x 2 = y 2, to x = y. (e) Jeśli x = y, to x 2 = y 2. (f) 2 n +
1 Podstawowe oznaczenia
Poniżej mogą Państwo znaleźć skondensowane wiadomości z wykładu. Należy je traktować jako przegląd pojęć, które pojawiły się na wykładzie. Materiały te nie są w pełni tożsame z tym co pojawia się na wykładzie.
Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),
Elementy logiki 1 Przykłady zdań w matematyce Zdania prawdziwe: 1 3 + 1 6 = 1 2, 3 6, 2 Q, Jeśli x = 1, to x 2 = 1 (x oznacza daną liczbę rzeczywistą), Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości
Lista 1 (elementy logiki)
Podstawy nauczania matematyki 1. Zdanie Lista 1 (elementy logiki) EE I rok W logice zdaniem logicznym nazywamy wyrażenie oznajmujące o którym można powiedzieć że jest prawdziwe lub fałszywe. Zdania z reguły
Schematy Piramid Logicznych
Schematy Piramid Logicznych geometryczna interpretacja niektórych formuł Paweł Jasionowski Politechnika Śląska w Gliwicach Wydział Matematyczno-Fizyczny Streszczenie Referat zajmuje się następującym zagadnieniem:
Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki
0 1 Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki 2. W następujących dwóch prawach wyróżnić wyrażenia specyficznie matematyczne i wyrażenia z zakresu logiki (do
Logika Matematyczna (10)
Logika Matematyczna (10) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Rezolucja w KRZ Jerzy Pogonowski (MEG) Logika Matematyczna (10) Rezolucja w KRZ 1 / 39 Plan
LOGIKA Klasyczny Rachunek Zdań
LOGIKA Klasyczny Rachunek Zdań Robert Trypuz trypuz@kul.pl 5 listopada 2013 Robert Trypuz (trypuz@kul.pl) Klasyczny Rachunek Zdań 5 listopada 2013 1 / 24 PLAN WYKŁADU 1 Alfabet i formuła KRZ 2 Zrozumieć
Logika Matematyczna. Zadania Egzaminacyjne, 2007
Logika Matematyczna Zadania Egzaminacyjne, 2007 I Rok Językoznawstwa i Informacji Naukowej UAM Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl Podajemy rozwiązania zadań egzaminacyjnych.
Logika Matematyczna (2,3)
Logika Matematyczna (2,3) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 11, 18 X 2007 Jerzy Pogonowski (MEG) Logika Matematyczna (2,3) 11, 18 X 2007 1 / 34 Język KRZ
Monoidy wolne. alfabetem. słowem długością słowa monoidem wolnym z alfabetem Twierdzenie 1.
3. Wykłady 3 i 4: Języki i systemy dedukcyjne. Klasyczny rachunek zdań. 3.1. Monoidy wolne. Niech X będzie zbiorem niepustym. Zbiór ten będziemy nazywać alfabetem. Skończony ciąg elementów alfabetu X będziemy
Egzamin z logiki i teorii mnogości, rozwiązania zadań
Egzamin z logiki i teorii mnogości, 08.02.2016 - rozwiązania zadań 1. Niech φ oraz ψ będą formami zdaniowymi. Czy formuła [( x : φ(x)) ( x : ψ(x))] [ x : (φ(x) ψ(x))] jest prawem rachunku kwantyfikatorów?
4 Klasyczny rachunek zdań
4 Klasyczny rachunek zdań Elementy Logiki i Teorii Mnogości 2015/2016 Spis najważniejszych tautologii: (a) p p prawo wyłączonego środka (b) ( p) p prawo podwójnej negacji (c) p q q p (d) p q q p prawo
Jarosław Wróblewski Analiza Matematyczna 1A, zima 2012/13
35. O zdaniu 1 T (n) udowodniono, że prawdziwe jest T (1), oraz że dla dowolnego n 6 zachodzi implikacja T (n) T (n+2). Czy można stąd wnioskować, że a) prawdziwe jest T (10), b) prawdziwe jest T (11),
Logika pragmatyczna dla inżynierów
Logika pragmatyczna Logika pragmatyczna dla inżynierów Kontakt: dr hab. inż. Adam Kasperski pokój 509 B4 adam.kasperski@pwr.edu.pl materiały + literatura + informacje na stronie www. Zaliczenie: Test pisemny
Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.
Logika formalna wprowadzenie Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie. 1. Zdanie logicznie prawdziwe (Prawda logiczna) Zdanie, którego analityczność
Matematyczna wieża Babel. 4. Ograniczone maszyny Turinga o językach kontekstowych materiały do ćwiczeń
Matematyczna wieża Babel. 4. Ograniczone maszyny Turinga o językach kontekstowych materiały do ćwiczeń Projekt Matematyka dla ciekawych świata spisał: Michał Korch 4 kwietnia 2019 1 Dodajmy kontekst! Rozważaliśmy
Imię i nazwisko:... OBROŃCY PRAWDY
Egzamin: Logika Matematyczna, I rok JiNoI, 30 czerwca 2014 Imię i nazwisko:........................................... OBROŃCY PRAWDY Wybierz dokładnie cztery z poniższych pięciu zadań i spróbuj je rozwiazać.
Logika pragmatyczna. Logika pragmatyczna. Kontakt: Zaliczenie:
Logika pragmatyczna Logika pragmatyczna Kontakt: dr hab. inż. Adam Kasperski pokój 509 B4 adam.kasperski@pwr.wroc.pl materiały + literatura + informacje na stronie www. Zaliczenie: Kolokwium pisemne na
Lekcja : Tablice + pętle
Lekcja : Tablice + pętle Wprowadzenie Oczywiście wiesz już jak dużo można osiągnąć za pomocą tablic oraz jak dużo można osiągnąć za pomocą pętli, jednak tak naprawdę prawdziwe możliwości daje połączenie
9. INNE ZASTOSOWANIA METODY ZERO-JEDYNKOWEJ
9. INNE ZASTOSOWANIA METODY ZERO-JEDYNKOWEJ W rozdziale tym poznamy kolejne pojęcia logiczne, jak również ich operacjonalizacje za pomocą matryc logicznych. Wskażemy metodę określania, czy wnioskowanie
Zastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania
Zastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania Testerzy oprogramowania lub osoby odpowiedzialne za zapewnienie jakości oprogramowania oprócz wykonywania testów mogą zostać
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP 1 Pojęcie dowodu w KRP Pojęcia: formuły zdaniowej języka Klasycznego Rachunku
Metoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.
Plan Procedura decyzyjna Reguły α i β - algorytm Plan Procedura decyzyjna Reguły α i β - algorytm Logika obliczeniowa Instytut Informatyki 1 Procedura decyzyjna Logiczna konsekwencja Teoria aksjomatyzowalna
Podstawowe Pojęcia. Semantyczne KRZ
Logika Matematyczna: Podstawowe Pojęcia Semantyczne KRZ I rok Językoznawstwa i Informacji Naukowej UAM 2006-2007 Jerzy Pogonowski Zakład Logiki Stosowanej UAM http://www.logic.amu.edu.pl Dodatek: ściąga
Indukcja matematyczna
Indukcja matematyczna 1 Zasada indukcji Rozpatrzmy najpierw następujący przykład. Przykład 1 Oblicz sumę 1 + + 5 +... + (n 1). Dyskusja. Widzimy że dla n = 1 ostatnim składnikiem powyższej sumy jest n
Elementy logiki. Zdania proste i złożone
Elementy logiki Zdania proste i złożone. Jaka jest wartość logiczna następujących zdań: (a) jest dzielnikiem 7 lub suma kątów wewnętrznych w trójkącie jest równa 80. (b) Jeśli sin 0 =, to 5 < 5. (c) Równanie
Rachunek logiczny. 1. Język rachunku logicznego.
Rachunek logiczny. Podstawową własnością rozumowania poprawnego jest zachowanie prawdy: rozumowanie poprawne musi się kończyć prawdziwą konkluzją, o ile wszystkie przesłanki leżące u jego podstaw były
ĆWICZENIE 2. DEF. Mówimy, że formuła A wynika logicznie z formuł wartościowanie w, takie że w A. A,, A w KRZ, jeżeli nie istnieje
ĆWICZENIE 2 Klasyczny Rachunek Zdań (KRZ): wynikanie logiczne, wnioskowanie, niezawodny schemat wnioskowania, wnioskowanie dedukcyjne, równoważność logiczna, iniowalność spójników za mocą formuły. DEF.
Wstęp do logiki. Klasyczny Rachunek Zdań IV
Wstęp do logiki Klasyczny Rachunek Zdań IV KRZ: kontrola poprawności wnioskowań WYPOWIEDŹ ARGUMENTACYJNA (1) Ponieważ PRZESŁANKI, więc WNIOSEK. Np. Ponieważ Zenek bał się przyznać do winy, więc skłamał.
Definicja: alfabetem. słowem długością słowa
Definicja: Niech X będzie zbiorem niepustym. Zbiór ten będziemy nazywać alfabetem. Skończony ciąg elementów alfabetu X będziemy nazywać słowem a liczbę elementów tego ciągu nazywamy długością słowa. Na
Adam Meissner.
Instytut Automatyki i Inżynierii Informatycznej Politechniki Poznańskiej Adam Meissner Adam.Meissner@put.poznan.pl http://www.man.poznan.pl/~ameis SZTUCZNA INTELIGENCJA Podstawy logiki pierwszego rzędu
16. PODSTAWOWE POJĘCIA LOGIKI KWANTYFIKATORÓW
16. PODSTAWOWE POJĘCIA LOGIKI KWANTYFIKATORÓW 16.1. Cele zrozumienie, w jakim sensie logika kwantyfikatorów jest poszerzeniem logiki zdań umiejętność symbolizacji prostych zdań indywiduowych i skwantyfikowanych
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 15. Trójwartościowa logika zdań Łukasiewicza
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 15. Trójwartościowa logika zdań Łukasiewicza 1 Wprowadzenie W logice trójwartościowej, obok tradycyjnych wartości logicznych,
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do testu z filozofii jest zaliczenie testu z logiki i zaliczenie
6. RÓWNOWAŻNOŚĆ LOGICZNA
6. RÓWNOWAŻNOŚĆ LOGICZNA W rozdziale tym wprowadzimy pojęcie równoważności logicznej oraz metodę jej sprawdzania za pomocą matryc logicznych. Wprowadzimy też ważne, choć pozornie ulotne rozróżnienie między
Celem ćwiczenia jest zapoznanie się z podstawowymi możliwościami języka Prolog w zakresie definiowania faktów i reguł oraz wykonywania zapytań.
Paradygmaty Programowania Język Prolog Celem ćwiczenia jest zapoznanie się z podstawowymi możliwościami języka Prolog w zakresie definiowania faktów i reguł oraz wykonywania zapytań. Wstęp Prolog (od francuskiego
Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych
Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych Zapoznaj z poniŝszym tekstem reprezentującym wiedzę logiczną o wartościach logicznych będących interpretacjami formuł złoŝonych
Andrzej Wiśniewski Logika II. Wykłady 9 i 10a. Wybrane modalne rachunki zdań. Ujęcie aksjomatyczne
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki rok akademicki 2007/2008 Wykłady 9 i 10a. Wybrane modalne rachunki zdań. Ujęcie aksjomatyczne 1 Język aletycznych modalnych
Wybierz cztery z poniższych pięciu zadań. Poprawne rozwiazanie dwóch zadań oznacza zdany egzamin.
Logika, II rok Etnolingwistyki UAM, 20 VI 2008. Imię i Nazwisko:.............................. GRUPA: I Wybierz cztery z poniższych pięciu zadań. Poprawne rozwiazanie dwóch zadań oznacza zdany egzamin.
Wprowadzenie do Sztucznej Inteligencji
Wprowadzenie do Sztucznej Inteligencji Wykład 2 Informatyka Studia Inżynierskie Automatyczne dowodzenie twierdzeń O teoriach formalnie na przykładzie rachunku zdań Zastosowanie dedukcji: system Logic Theorist
Algebrę L = (L, Neg, Alt, Kon, Imp) nazywamy algebrą języka logiki zdań. Jest to algebra o typie
3. Wykłady 5 i 6: Semantyka klasycznego rachunku zdań. Dotychczas rozwinęliśmy klasyczny rachunek na gruncie czysto syntaktycznym, a więc badaliśmy metodę sprawdzania, czy dana formuła B jest dowodliwa
Kultura logiczna Klasyczny rachunek zdań 2/2
Kultura logiczna Klasyczny rachunek zdań 2/2 Bartosz Gostkowski bgostkowski@gmail.com Kraków 29 III 2 Plan wykładu: Wartościowanie w KRZ Tautologie KRZ Wartościowanie v, to funkcja, która posyła zbiór
Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie:
Ciągi rekurencyjne Zadanie 1 Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie: w dwóch przypadkach: dla i, oraz dla i. Wskazówka Należy poszukiwać rozwiązania w postaci, gdzie
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 14. Wprowadzenie do logiki intuicjonistycznej 1 Przedstawione na poprzednich wykładach logiki modalne możemy uznać
Zagadnienia podstawowe dotyczące metod formalnych w informatyce
Zagadnienia podstawowe dotyczące metod formalnych w informatyce! Logika Analiza języka i czynności badawczych (np. rozumowanie, definiowanie, klasyfikowanie) w celu poznania takich reguł posługiwania się
Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne Istnieje wiele systemów aksjomatycznych
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI Program wykładów: dr inż. Barbara GŁUT Wstęp do logiki klasycznej: rachunek zdań, rachunek predykatów. Elementy semantyki. Podstawy teorii mnogości
Trzy razy o indukcji
Trzy razy o indukcji Antoni Kościelski 18 października 01 1 Co to są liczby naturalne? Indukcja matematyczna wiąże się bardzo z pojęciem liczby naturalnej. W szkole zwykle najpierw uczymy się posługiwać
Matematyka dyskretna. Andrzej Łachwa, UJ, /15
Matematyka dyskretna Andrzej Łachwa, UJ, 2015 andrzej.lachwa@uj.edu.pl 3/15 Indukcja matematyczna Poprawność indukcji matematycznej wynika z dobrego uporządkowania liczb naturalnych, czyli z następującej