III rok kognitywistyki UAM,

Podobne dokumenty
III rok kognitywistyki UAM,

METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ

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 29 czerwca Imię i Nazwisko:...

Logika Matematyczna (10)

Imię i nazwisko:... OBROŃCY PRAWDY

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI

WYKŁAD 7: DEDUKCJA NATURALNA

Logika Matematyczna. Zadania Egzaminacyjne, 2007

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ

Dowody założeniowe w KRZ

Metoda Tablic Semantycznych

Wybierz cztery z poniższych pięciu zadań. Poprawne rozwiazanie dwóch zadań oznacza zdany egzamin.

Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37

Podstawowe Pojęcia. Semantyczne KRZ

Język rachunku predykatów Formuły rachunku predykatów Formuły spełnialne i prawdziwe Dowody założeniowe. 1 Zmienne x, y, z...

Konsekwencja logiczna

LOGIKA Dedukcja Naturalna

Paradygmaty dowodzenia

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu

Drzewa Semantyczne w KRZ

WYKŁAD 3: METODA AKSJOMATYCZNA

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

WYKŁAD 2: PRELIMINARIA LOGICZNE

Logika Matematyczna (1)

Logika Matematyczna (2,3)

Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia

Metoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.

Kultura logiczna Klasyczny rachunek zdań 2/2

Składnia rachunku predykatów pierwszego rzędu

Logika. Michał Lipnicki. 18 listopada Zakład Logiki Stosowanej UAM. Michał Lipnicki Logika 18 listopada / 1

1. Składnia. Logika obliczeniowa - zadania 1 SKŁADNIA Teoria

Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

Logika pragmatyczna. Logika pragmatyczna. Kontakt: Zaliczenie:

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0

RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.

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

WYKŁAD 5C: TABLICE ANALITYCZNE PRZYKŁADY

Klasyczny rachunek predykatów

Wstęp do logiki. Klasyczny Rachunek Zdań II

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ

Logika Radosna 5. Jerzy Pogonowski. KRP: tablice analityczne. Zakład Logiki Stosowanej UAM

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki

Rachunek predykatów. Formuły rachunku predykatów. Plan wykładu. Relacje i predykaty - przykłady. Relacje i predykaty

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I

LOGIKA Klasyczny Rachunek Zdań

Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów

Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.

Logika Radosna 2. Jerzy Pogonowski. KRZ: dowody założeniowe. Zakład Logiki Stosowanej UAM

Logika Matematyczna 11 12

Logika pragmatyczna dla inżynierów

NOWE ODKRYCIA W KLASYCZNEJ LOGICE?

Metalogika (11) Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM

Metalogika (10) Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM

Logika Matematyczna (1)

Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.

Logika Matematyczna 11 12

LOGIKA MATEMATYCZNA WYKŁAD 10: METODA REZOLUCJI W KRZ (20XII2007) II. 10. Dowody rezolucyjne w KRZ Przypomnienia i kilka definicji

Rachunek logiczny. 1. Język rachunku logicznego.

ĆWICZENIE 4 KRZ: A B A B A B A A METODA TABLIC ANALITYCZNYCH

Rachunek zdań i predykatów

Algebrę L = (L, Neg, Alt, Kon, Imp) nazywamy algebrą języka logiki zdań. Jest to algebra o typie

ZALICZENIE WYKŁADU: 30.I.2019

Elementy logiki Klasyczny rachunek predykatów

Rezolucja w rachunku predykatów. Przedrostkowa koniunkcyjna postać normalna. Formu ly ustalone. Joanna Józefowska. Poznań, rok akademicki 2009/2010

LOGIKA I TEORIA ZBIORÓW

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ń

Matematyka ETId Elementy logiki

Elementy logiki i teorii mnogości

Egzamin z logiki i teorii mnogości, rozwiązania zadań

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej

Struktury formalne, czyli elementy Teorii Modeli

DODATEK 1: Wtedy h(α) = 1 oraz h(β) = 0. Jak pamiętamy ze szkoły, obraz sumy zbiorów jest sumą obrazów tych zbiorów. Mamy zatem:

Logika Matematyczna (I JiIN UAM)

Ć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

vf(c) =, vf(ft 1... t n )=vf(t 1 )... vf(t n ).

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

Elementy logiki Klasyczny rachunek zdań. Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im.

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

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

UNIFIKACJA I REZOLUCJA

Definicja: zmiennych zdaniowych spójnikach zdaniowych:

Klasyczny Rachunek Zdań: Tablice Analityczne. (Logika Matematyczna: Wykłady 11,12) Semestr Zimowy Jerzy Pogonowski

Logika Radosna 1. Jerzy Pogonowski. Semantyka KRZ. Zakład Logiki Stosowanej UAM

Definicja: alfabetem. słowem długością słowa

Wprowadzenie do Sztucznej Inteligencji

Metalogika (1) Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM

Elementy logiki Klasyczny rachunek zdań. Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im.

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),

Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne

Rekurencyjna przeliczalność

Interpretacja Niech U będzie zbiorem formuł takim, że zbiór {p 1,..., p k } jest zbiorem wszystkich symboli predykatywnych, {f 1,..., f l } jest zbior

Logika I. Wykład 4. Semantyka Klasycznego Rachunku Zdań

Lekcja 3: Elementy logiki - Rachunek zdań

5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH

Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne

Transkrypt:

METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ WYKŁAD 14: POWTÓRKA III rok kognitywistyki UAM, 2016 2017 Dzisiejszy wykład w całości poświęcony będzie omówieniu przykładowych zadań, podobnych do tych, które pojawią się na zaliczeniu wykładu za tydzień, czyli 24 stycznia 2014. 1 Notacja Zakładamy, że słuchacze potrafią posługiwać się notacją stosowaną w języku klasycznego rachunku zdań (KRZ) oraz klasycznego rachunku predykatów (KRP). We wszystkich zadaniach, dotyczących przeprowadzania dowodów (w rozważanym systemie dowodowym) należy poszczególne kroki dowodowe opatrywać komentarzami je uzasadniającymi (zob. przykłady poniżej). 1.1 Notacja Smullyana Przypominamy tabelę składników α-formuł i β formuł: α α 1 α 2 ϕ ψ ϕ ψ (ϕ ψ) ϕ ψ (ϕ ψ) ϕ ψ (ϕ ψ) ϕ ψ (ϕ ψ) ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ ψ β β 1 β 2 (ϕ ψ) ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ ψ ϕ ψ (ϕ ψ) ϕ ψ (ϕ ψ) ϕ ψ (ϕ ψ) ϕ ψ 1.2 Notacja polska Zakładamy, że słuchacze dobrze znają notację infiksowa (symbol funktora dwuargumentowego pomiędzy symbolami jego argumentów). Reguły składni wymagają 1

wtedy korzystania z nawiasów. W notacji prefiksowej (nazywanej też notacją polska lub notacją Łukasiewicza) symbol funktora poprzedza symbole swoich argumentów, nawiasy stają się zbędne. Oczywiście przyjąć trzeba ustalone symbole dla funktorów różne od symboli dla zmiennych, np.: 1. N negacja 2. A alternatywa 3. K koniunkcja 4. C implikacja 5. E równoważność. Dla przykładu: 1. Formuła w postaci infiksowej ((p q) (p q)) q przekształca się na formułę CKCpqCpNqq w postaci prefiksowej. 2. Formuła KN ApqCN N rs w postaci prefiksowej przekształca się na formułę (p q) ( r s) w postaci infiksowej. Każda z tych notacji przekłada się również na reprezentację w postaci drzew składniowych, które powinny być znane słuchaczom z kursu Logika I. Drzewa składniowe możemy zapisywać w postaci pełnej (wyraźnie podając wszystkie podformuły rozważanej formuły) lub w postaci skróconej (umieszczając w liściach tego drzewa występujące w formule zmienne zdaniowe i znakując pozostałe wierzchołki funktorami głównymi kolejnych podformuł rozważanej formuły). Pełne drzewo składniowe formuły (p q) ( r s) (w notacji infiksowej) wygląda następująco: (p q) ( r s) (p q) r s p q r s p q r Skrócone drzewo składniowe tej samej formuły (w notacji prefiksowej, czyli KN ApqCN N rs) wygląda następująco: r 2

K N C A N s p q N Proponujemy jako zadanie zaliczeniowe: przekształcić formułę zapisaną w postaci infiksowej na odpowiadającą jej formułę w postaci prefiksowej i zbudować drzewo składniowe rozważanej formuły (pełne lub skrócone). r 2 Postacie normalne Wymagana jest umiejętność zastosowania algorytmu znajdowania koniunkcyjnej postaci normalnej formuły języka KRZ. Korzystamy z notacji Smullyana. Reguły redukcji (Fitting 1990, 26), wykorzystywane w tworzeniu kpn: ψ ψ β β 1 α α 1 α 2 β 2 Aby sprowadzić ϕ do kpn (Fitting 1990, 27) korzystamy z algorytmu: 1. begin 2. end (a) Niech S będzie [ϕ] (b) while jakiś element S zawiera nie-literał do (c) end i. wybierz z S element D zawierający nie-literał ii. wybierz z D nie-literał N iii. zastosuj odpowiednią regułę redukcyjną do N iv. niech S oznacza nowoutworzoną formułę 3

Postępowanie wedle tego algorytmu dostarcza kpn dla ϕ. Proponujemy rozumieć zapis [ϕ] jako polecenie wykonania obliczenia wedle wspomnianego algorytmu dla argumentu ϕ. Przykład: kpn dla (p (q r)) ((p q) (p r)). 1. [(p (q r)) ((p q) (p r))] 2. [ (p (q r)), ((p q) (p r))] 3. [ (p (q r)), (p q), (p r)] 4. [ (p (q r)), (p q), p, r] 5. [p, (p q), p, r], [ (q r), (p q), p, r] 6. [p, p, p, r], [p, q, p, r], [ (q r), (p q), p, r] 7. [p, p, p, r], [p, q, p, r], [q, (p q), p, r], [ r, (p q), p, r] 8. [p, p, p, r], [p, q, p, r], [q, p, p, r], [q, q, p, r], [ r, (p q), p, r] 9. [p, p, p, r], [p, q, p, r], [q, p, p, r], [q, q, p, r], [ r, p, p, r], [ r, q, p, r] Podkreślono formułę, do której stosowano regułę redukcji. Ponieważ wykładowca nie znajduje w sobie ani krzty sadyzmu, przykładowe zadanie zaliczeniowe będzie o wiele prostsze, np. takie: Utwórz kpn dla formuły (p r) (q s). Działamy wedle podanego algorytmu: [ (p r) (q s)] [ (p r), (q s)] [ (p r), q], [ (p r), s] [p, q], [ r, q], [ (p r), s] [p, q], [ r, q], [p, s], [ r, s] Tak więc kpn badanej formuły to: (p q) ( r q) (p s) ( r s). Zauważmy, że badana formuła nie jest tautologią KRZ, ponieważ nie jest tak, iżby każda alternatywa elementarna wchodząca w skład powyższej koniunkcji zawierała parę literałów komplementarnych. 4

3 Tablice analityczne Przypominamy jednolitą notację dla formuł z kwantyfikatorami: γ γ(t) δ δ(t) xϕ ϕ(x/t) xϕ ϕ(x/t) xϕ ϕ(x/t) xϕ ϕ(x/t) W przypadku języków pierwszego rzędu, dodajemy następujące reguły rozszerzania tablic analitycznych (w notacji Smullyana): γ (dla dowolnego termu zamkniętego języka L par ) γ(t) δ (dla dowolnego nowego parametru a) δ(a) Wymagana jest umiejętność przeprowadzania dowodów tablicowych w KRP. Przewidujemy dwa typy zadań: 1. Zbadaj, czy dane zdanie jest tezą tablicową KRP. 2. Zbadaj, czy wniosek wynika tablicowo z przesłanek. 3.1 Przykładowe zadanie pierwszego typu Zbadaj, czy jest tezą tablicową zdanie x y P (x, y) z P (z, z). Budujemy tablicę analityczną dla formuły ( x y P (x, y) z P (z, z)): ( x y P (x, y) z P (z, z)) 1. (1 g ) x y P (x, y) 2. a (1 d ) z P (z, z) 3. a (2) y P (a, y) 4. a (3) P (a, a) (4) P (a, a) 3,4 5

Ponieważ tablica jest zamknięta, więc zdanie x y P (x, y) z P (z, z) jest tezą systemu tablicowego dla KRP. Przypominamy: jeśli tablica analityczna dla zdania ϕ nie jest zamknięta, to ϕ nie jest tezą systemu tablicowego dla KRP. 3.2 Przykładowe zadania drugiego typu 1. Ustal czy zdanie x(s(x) P (x)) wynika tablicowo ze zdania: x(m(x) P (x)) x( S(x) M(x)) Budujemy tablicę analityczną rozpoczynającą się od przesłanki oraz zaprzeczonego wniosku: x(m(x) P (x)) x( S(x) M(x)) 1. x(s(x) P (x)) 3. a (1 g ) x(m(x) P (x)) 2. a (1 d ) x( S(x) M(x)) 4. a (2) (M(a) P (a)) 5. (3) (S(a) P (a)) 6. (4) ( S(a) M(a)) 7. (5 g ) M(a) (5 d ) P (a) (6 l ) S(a) (6 p ) P (a) 5d,6 (7 l ) S(a) (7 p ) M(a) p 6l,7 l 5g,7 p Ponieważ tablica analityczna dla przesłanki oraz zaprzeczonego wniosku jest zamknięta, więc wniosek wynika tablicowo z przesłanki. 2. Ustalimy czy wniosek wynika tablicowo z przesłanek: x (P (x) Q(x)) y (R(y) Q(y)) z (P (z) R(z)) 6

Budujemy zatem tablicę analityczną, rozpoczynając ją od przesłanek oraz zaprzeczonego wniosku: x (P (x) Q(x)) 2. a 4. b y (R(y) Q(y)) 1. a z (P (z) R(z)) 3. b (1) R(a) Q(a) 5. (2) P (a) Q(a) 8. (3) (P (b) R(b)) 6. (4) P (b) Q(b) 7. (5 g) R(a) (5 d ) Q(a) (6 g) P (b) (6 d ) R(b) (7 l ) P (b) (7 p) Q(b) 6g,7l (8 l ) P (a) (8 p) Qa Tablica nie jest zamknięta, a zatem wniosek nie wynika tablicowo z przesłanek. Otwarte gałęzie tablicy pozwalają zbudować modele, w których prawdziwe są przesłanki, a fałszywy jest wniosek: P Q R a + + b + + P Q R a? + + b + + Ta notacja powinna być oczywista, dla przykładu: 1. Znak + na przecięciu kolumny dla P oraz wiersza dla b w drugiej z tych tabelek oznacza, że na gałęzi znajduje się zdanie atomowe P (b). 7

2. Znak na przecięciu kolumny dla R oraz wiersza dla b w drugiej z tych tabelek oznacza, że na gałęzi znajduje się zdanie atomowe R(b). 3. Znak? na przecięciu kolumny dla P oraz wiersza dla a w drugiej z tych tabelek oznacza, że na gałęzi nie ma ani zdania atomowego P (a) ani zdania atomowego P (a). Zauważmy ponadto, że pierwsza przesłanka jest formułą typu γ, a więc należało zastosować do niej stosowną regułę zarówno dla stałej a, jak i dla stałej b. 4 Rezolucja Reguły tworzenia derywacji rezolucyjnej zapisane w notacji Smullyana (dla języka KRZ) są następujące: ψ ψ β β 1 α α 1 α 2 β 2 Reguła dla β-formuł działa wewnątrz alternatywy, reguła dla α-formuł tworzy dwie alternatywy, zapisywane jedna pod drugą. Reguła rezolucji. Jeśli alternatywa D 1 zawiera literał L, natomiast alternatywa D 2 zawiera literał do niego komplementarny L, to rezolwenta D 1 oraz D 2 względem L jest alternatywa D powstająca poprzez usunięcie wszystkich wystąpień L z D 1, usunięcie wszystkich wystąpień L z D 2 i utworzenie jednej alternatywy z tak otrzymanych wyników. Wymagana jest umiejętność przeprowadzania dowodów rezolucyjnych w KRZ. Przewidujemy dwa typy zadań: 1. Wykazać, że dana formuła jest tezą rezolucyjną w KRZ. 2. Zbadać, czy dany zbiór formuł jest rezolucyjnie sprzeczny, czyli czy z danego zbioru formuł można wyprowadzić klauzulę pustą. 8

4.1 Przykładowe zadanie pierwszego typu Pokaż, że dowód rezolucyjny ma formuła: (p r) ((q r) ((p q) r)). Budujemy dowód rezolucyjny, czyli pokazujemy, że można wyprowadzić klauzulę pustą, wychodząc od formuły ((p r) ((q r) ((p q) r))): 1. [ ((p r) ((q r) ((p q) r)))] 2. [p r] α,1 3. [ ((q r) ((p q) r))] α,1 4. [q r] α,3 5. [ ((p q) r)] α,3 6. [p q] α,5 7. [ r] α,5 8. [ p, r] β,2 9. [ q, r] β,4 10. [p, q] β,6 11. [q, r] RR: 8,10 12. [r] RR: 9,11 13. [ ] RR: 7,12 Uzyskano klauzulę pustą, a więc badana formuła ma dowód rezolucyjny. 4.2 Przykładowe zadanie drugiego typu Ustal czy jest rezolucyjnie sprzeczny zbiór formuł: { s p, q p, r q, s r } Pokażemy, że z podanego zbioru formuł można wyprowadzić rezolucyjnie klauzulę pustą (a więc jest on rezolucyjnie sprzeczny): 9

5 Dowody założeniowe 1. [s p] 2. [ q p] 3. [ r q] 4. [ s r] 5. [s] α,1 6. [ p] α,1 7. [ q, p] β,2 8. [ r, q] β,3 9. [ s, r] β,4 10. [ q] RR:6,7 11. [ r] RR:8,10 12. [ s] RR:9,11 13. [ ] RR:5,12 Wymagana jest umiejętność przeprowadzania dowodów założeniowych (wprost oraz nie wprost) w KRZ. Przykładowe zadania: 1. Pokaż, że z przesłanek: Bóg jest miłosierny, o ile jest doskonały. Jeśli Bóg jest doskonały i stworzył Świat, to w Świecie nie ma Zła. Jednak w Świecie jest Zło. Ponadto, Bóg przecież stworzył Świat. wynika logicznie wniosek: Bóg nie jest doskonały lub nie jest miłosierny. Znajdujemy zdania proste: 1. p Bóg jest doskonały. 2. q Bóg jest miłosierny. 3. r Bóg stworzył Świat. 4. s W Świecie jest Zło. Znajdujemy struktury składniowe przesłanek: 1. p q: Bóg jest miłosierny, o ile jest doskonały. 2. (p r) s: Jeśli Bóg jest doskonały i stworzył Świat, to w Świecie nie ma Zła. 3. s: W Świecie jest Zło. 4. r: Bóg stworzył Świat. 10

Strukturą składniową wniosku Bóg nie jest doskonały lub nie jest miłosierny jest: p q. Pokażemy, że z przesłanek wynika logicznie wniosek: 1. p q założenie 2. (p r) s założenie 3. s założenie 4. r założenie 5. s DN: 3 6. (p r) MT: 2,5 7. p r NK: 6 8. r DN: 4 9. p OA: 7,8 10. p q DA: 9. Zauważmy, że w dowodzie nie korzystano z pierwszego założenia. 1. Pokaż, że jest tezą systemu założeniowego KRZ: ((p q) r) ((p r) q). Zbudujemy dowód założeniowy nie wprost: 1. (p q) r założenie 2. p r założenie 3. q z.d.n. 4. q ON: 3 5. p OK: 2 6. r OK: 2 7. p q DK: 5,4 8. r RO: 1,7 9. sprzeczność: 6,8 Uzyskaliśmy sprzeczność przy założeniu dowodu nie wprost, a więc badana formuła jest tezą systemu założeniowego KRZ. 6 Definicje i twierdzenia Wymagana jest znajomość następujących definicji oraz sformułowań twierdzeń: 1. Definicja zdaniowego zbioru Hintikki. 2. Definicja zdaniowej własności niesprzeczności. 11

3. Sformułowanie twierdzenia o dedukcji dla KRZ. 4. Sformułowanie twierdzenia o zwartości dla KRZ. 5. Sformułowanie lematu Hintikki dla KRZ. 6. Sformułowanie twierdzenia o istnieniu modelu dla KRZ. 7. Sformułowanie lematu Königa. Wymienione definicje i twierdzenia znajdą słuchacze w tekstach zamieszczonych na stronie wykładów: http://logic.amu.edu.pl/index.php/mdtiar JERZY POGONOWSKI Zakład Logiki i Kognitywistyki UAM www.kognitywistyka.amu.edu.pl http://logic.amu.edu.pl/index.php/dydaktyka pogon@amu.edu.pl 12