![Page 1: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/1.jpg)
Mariusz Urbański
Instytut Psychologii [email protected]
Wprowadzenie do logikiZdania, cz. III
Język Klasycznego Rachunku Predykatów
![Page 2: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/2.jpg)
Plan
➔ na pytanie o odniesienie przedmiotowe zdań odpowiedź typu F a odpowiedź typu W – reaktywacja;
➔ składnia języka Klasycznego Rachunku Predykatów (KRP):● symbol,● wyrażenie,● formuła,
➢ nazwowa (term),➢ zdaniowa,
✗ funkcja zdaniowa,✗ zdanie;
➔ schematy zdań języka potocznego w języku KRP.
2
![Page 3: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/3.jpg)
NAZWY ZDANIA
znaczenie konotacja, sądew. pojęcie
oznaczanie desygnat (rozmaitego Prawda/Fałszrodzaju przedmioty, niekoniecznie fizyczne)
stany rzeczy
3
![Page 4: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/4.jpg)
typ F: Prawda/Fałsz
Odniesieniem przedmiotowym zdań są dwie wielkie „sytuacje metafizyczne”. Wszystkie zdania prawdziwe oznaczają to samo – Prawdę i wszystkie zdania fałszywe oznaczają to samo – Fałsz.
PRAWDAFAŁSZ
4
![Page 5: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/5.jpg)
typ W: stany rzeczy
Odniesieniem przedmiotowym zdań są stany rzeczy.
2.01 Stan rzeczy jest połączeniem przedmiotów.
2.0272 Konfiguracja przedmiotów tworzy stan rzeczy.
2.031 W stanie rzeczy przedmioty mają się do siebie w określony sposób.
2.0201 Każdą wypowiedź o kompleksach można rozłożyć na wypowiedzi o ich składnikach (...).
[L. Wittgenstein, Traktat logicznofilozoficzny]
5
![Page 6: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/6.jpg)
Jaś kocha Małgosię.
6
![Page 7: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/7.jpg)
Jaś kocha Małgosię.
Struktura tego stanu rzeczy wygląda następująco:
mamy dwa obiekty (Jaś, Małgosia), które pozostają do siebie w pewnej relacji (denotowanej przez predykat kochać).
7
![Page 8: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/8.jpg)
Ojciec Jasia jest Grekiem.
8
![Page 9: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/9.jpg)
Ojciec Jasia jest Grekiem.
Struktura tego stanu rzeczy wygląda następująco:
pewien obiekt, wskazywany z uwagi na funkcję w stosunku do innego obiektu (OJCIEC Jasia), posiada pewną własność (denotowaną przez predykat być Grekiem).
9
![Page 10: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/10.jpg)
Wszyscy policjanci lubią koty.
![Page 11: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/11.jpg)
Wszyscy policjanci lubią koty.
Struktura tego stanu rzeczy wygląda następująco:
wszystkie obiekty, posiadające własność denotowaną przez predykat jest policjantem, pozostają w relacji denotowanej przez predykat lubić do wszelkich obiektów, posiadających własność denotowaną przez predykat jest kotem.
11
![Page 12: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/12.jpg)
W języku Klasycznego Rachunku Predykatów potrzebujemy zatem:
●symboli dla reprezentowania predykatów (takich jak kocha czy jest policjantem);
●symboli dla reprezentowania funkcji (jak ojciec);●symboli dla nazw obiektów dobrze określonych (jak Jaś czy Małgosia);
●symboli dla obiektów, o których wiadomo tylko tyle, że, np, posiadają własności denotowane przez predykaty (bo bycie policjantem o kimś/czymś trzeba orzekać);
●symboli dla reprezentowania spójników zdaniowych i operatorów każdy, pewien;
●znaków przestankowych.
12
![Page 13: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/13.jpg)
13
W języku Klasycznego Rachunku Predykatów mamy zatem:
●symbole dla reprezentowania predykatów (takich jak kocha czy jest policjantem): symbole predykatowe
●symbole dla reprezentowania funkcji (jak ojciec): symbole funkcyjne
●symbole dla nazw obiektów dobrze określonych (jak Jaś czy Małgosia): stałe indywiduowe
●symbole dla obiektów, o których wiadomo tylko tyle, że, np, posiadają własności denotowane przez predykaty (bo bycie policjantem o kimś/czymś trzeba orzekać): zmienne indywiduowe
●symbole dla reprezentowania spójników zdaniowych i operatorów każdy, pewien: stałe logiczne
●znaki przestankowe: znaki techniczne
![Page 14: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/14.jpg)
P11 , P 2
1 , P 31 , ...
P12 , P2
2 , P32 , ...
P1n , P2
n , P3n , ...
F 11 , F 2
1 , F 31 , ...
F 12 , F2
2 , F 32 , ...
F 1n , F 2
n , F 3n , ...
x1 , x 2 , x3 , ...
a1 , a2 , a3 , ...
¬,∧,∨, ,⊥ , / , ,↔ ,∃ ,∀
...
...
Definicja 1Symbolami języka KRP nazywamy:
(zmienne indywiduowe)
(stałe indywiduowe)
(stałe logiczne)
(jedno (dwu argumentowe
symbole(n predykatowe)
(jedno(dwu argumentowe
symbole (n funkcyjne)
stałe pozalogiczne
14
( , ) znaki techniczne (nawiasy i przecinek)
![Page 15: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/15.jpg)
Definicja 2
Wyrażeniem języka KRP nazywamy każdy skończony ciąg symboli tego języka.
15
![Page 16: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/16.jpg)
W języku KRZ mieliśmy tylko jedną kategorię poprawnie zbudowanych wyrażeń – czyli formuł – a mianowicie formuły zdaniowe.W języku KRP mamy dwa rodzaje formuł: nazwowe i zdaniowe.
formuły języka KRP
formuły zdanioweformuły nazwowe
(termy)
funkcjezdaniowe
16
zdania
![Page 17: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/17.jpg)
F kn 1 , ... ,n 1 , ... ,n
17
Definicja 3(definicja formuły nazwowej – termu – języka KRP)
(i) każda zmienna indywiduowa xi jest termem języka KRP;
(ii) każda stała indywiduowa ai jest termem języka KRP;
(iii) wyrażenie postaci , gdzie są termami języka KRP, jest termem języka KRP;
(iv) nie ma innych termów języka KRP oprócz zmiennych indywiduowych, stałych indywiduowych i tych, które można skonstruować zgodnie z pkt. (iii).
![Page 18: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/18.jpg)
Definicja 4(definicja formuły zdaniowej atomowej języka KRP)
wyrażenie postaci , gdzie są termami języka KRP, nazywamy formułą zdaniową atomową języka KRP.
Pkn1 , ... ,n 1 , ... ,n
18
![Page 19: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/19.jpg)
Definicja 5(definicja formuły zdaniowej języka KRP)
(i) każda formuła zdaniowa atomowa jest formułą zdaniową języka KRP;
(ii) jeżeli wyrażenie A jest formułą zdaniową języka KRP, to wyrażenia: również są formułami zdaniowymi języka KRP;
(iii) jeżeli wyrażenia A i B są formułami zdaniowymi języka KRP, to wyrażenia również są formułami języka KRP;
(iv) nie ma innych formuł zdaniowych języka KRZ oprócz formuł zdaniowych atomowych i tych wyrażeń, które można skonstruować zgodnie z punktami (ii) i (iii).
¬A ,∃ xi A ,∀ xi A
A∧B ,A∨B ,A B ,A⊥B ,A/B ,A B ,A↔B
19
![Page 20: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/20.jpg)
Dalej używać będziemy terminu formuła, mówiąc o formułach zdaniowych języka KRP, i term, mówiąc o formułach nazwowych języka KRP.
20
![Page 21: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/21.jpg)
Rozważmy napis następujący:
2 + x < 134
Prawda to, czy fałsz?
PRAWDA FAŁSZ?
21
![Page 22: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/22.jpg)
2 + x < 134
Odpowiedź brzmi: zależy. Zależy, czy twierdzimy, że jest tak dla wszystkich wartości zmiennej x, czy że dla niektórych (co najmniej!). Albo, co też na miejsce zmiennej x wstawimy – dla wartości 7 dostaniemy zdanie prawdziwe, dla wartości 2381 – fałszywe.
Czy to znaczy, że wyrażenie 2 + x < 134 bywa czasem prawdziwe, a czasem fałszywe? Innymi słowy, czy może ono zmieniać swoją wartość logiczną (a zakładaliśmy chwilę temu, że wartość logiczna zdań jest obiektywna)?
22
![Page 23: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/23.jpg)
2 + x < 134
Nie. Wyrażenie 2 + x < 134 nie jest zdaniem, lecz funkcją zdaniową. Funkcje zdaniowe możemy przekształcać w zdania na dwa sposoby:
(i) przez podstawienie stałych za zmienne; zastąpienie w powyższym przykładzie zmiennej x wartością 7 daje w efekcie zdanie prawdziwe: 2 + 7 < 134, natomiast zastąpienie zmiennej x wartością 2381 – zdanie fałszywe: 2 + 2381 < 134;
(ii) przez wprowadzenie kwantyfikatorów; poprzedzając wyrażenie 2 + x < 134 kwantyfikatorem generalnym otrzymujemy zdanie fałszywe: natomiast poprzedzając je kwantyfikatorem egzystencjalnym – zdanie prawdziwe:
23
∀ x 2 x134∃ x 2 x134
![Page 24: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/24.jpg)
Jak budować schematy zdań języka potocznego w języku KRP?
Zasady obowiązują podobne, jak chwilę temu:
(1) różnych stałych pozalogicznych (stałych indywiduowych, symboli predykatowych, symboli funkcyjnych) używamy do reprezentowania wyrażeń różnych (odpowiednich rodzajów), tych samych – do reprezentowania tych samych;
(2) każda stała logiczna (tj. każdy kwantyfikator i każdy zdaniowy spójnik ekstensjonalny), występujący w wyrażeniu języka potocznego, musi znaleźć swoją symboliczną reprezentację w schemacie zapisanym w języku KRP.
24
![Page 25: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/25.jpg)
Jaś kocha Małgosię.
W notacji prefiksowej zapisalibyśmy to zdanie jakoś tak:kochać (Jaś, Małgosia)
Mamy dwa obiekty (Jaś, Małgosia), które pozostają do siebie w pewnej relacji (denotowanej przez predykat kochać).
Czyli potrzebujemy następujących symboli:
a1
a2
P32
stałej indywiduowej, reprezentującej nazwę Jaś
stałej indywiduowej, reprezentującej nazwę Małgosia
dwuargumentowego symbolu predykatowego, reprezentującego predykat kochać
25
![Page 26: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/26.jpg)
Jaś kocha Małgosię.
kochać (Jaś, Małgosia)
a1
a2
P32
stała indywiduowa, reprezentująca nazwę Jaś
stała indywiduowa, reprezentująca nazwę Małgosia
dwuargumentowy symbol predykatowy, reprezentujący predykat kochać
26
P32a1 , a2
![Page 27: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/27.jpg)
Ojciec Jasia jest Grekiem.
Grek (ojciec(Jaś))
Pewien obiekty, wskazywany z uwagi na funkcję w stosunku do innego obiektu (OJCIEC Jasia), posiada pewną własność (denotowaną przez predykat być Grekiem).
27
a1
F 11
P1421
stała indywiduowa, reprezentująca nazwę Jaś
jednoargumentowy symbol predykatowy, reprezentujący predykat jest Grekiem
jednoargumentowy symbol funkcyjny, reprezentujący wyrażenie ojciec
![Page 28: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/28.jpg)
Ojciec Jasia jest Grekiem.
Grek (ojciec(Jaś))
28
a1
F 11
P1421
P1421 F 1
1a1
stała indywiduowa, reprezentująca nazwę Jaś
jednoargumentowy symbol funkcyjny, reprezentujący wyrażenie ojciec
jednoargumentowy symbol predykatowy, reprezentujący predykat jest Grekiem
![Page 29: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/29.jpg)
Wszyscy policjanci lubią koty.
wszystkie obiekty, posiadające własność denotowaną przez predykat jest policjantem, pozostają w relacji denotowanej przez predykat lubić do wszelkich obiektów, posiadających własność denotowaną przez predykat jest kotem.
P411
P371
P42
jednoargumentowy symbol predykatowy, reprezentujący predykat jest policjantem
jednoargumentowy symbol predykatowy, reprezentujący predykat jest kotem
dwuargumentowy symbol predykatowy, reprezentujący predykat lubić
29
![Page 30: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/30.jpg)
Wszyscy policjanci lubią koty.
P411
P371
P42
30
∀ x∀ y P411 x∧P37
1 y P42 x , y
jednoargumentowy symbol predykatowy, reprezentujący predykat jest policjantem
jednoargumentowy symbol predykatowy, reprezentujący predykat jest kotem
dwuargumentowy symbol predykatowy, reprezentujący predykat lubić
![Page 31: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/31.jpg)
Schematami jakich zdań, przy tych samych znaczeniach stałych pozalogicznych, są formuły następujące:
P411
P371
P42
31
∀ x∀ y P411x∧P37
1 yP4
2 y , x
∀ x∀ y P411x∧P41
1 yP4
2 y , x
∃ x∀ y P411x∧P37
1 y P4
2 y , x
(i)
(ii)
(iii)
jednoargumentowy symbol predykatowy, reprezentujący predykat jest policjantem
jednoargumentowy symbol predykatowy, reprezentujący predykat jest kotem
dwuargumentowy symbol predykatowy, reprezentujący predykat lubić
![Page 32: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/32.jpg)
32
pora na kilka przykładów
![Page 33: Wprowadzenie do logiki Zdania, cz. III Język Klasycznego …murbansk.home.amu.edu.pl/wp-content/uploads/2011/09/WdL... · 2018-05-17 · [L. Wittgenstein, Traktat logicznofilozoficzny]](https://reader033.vdocuments.pub/reader033/viewer/2022041906/5e63ebf987886c74a052cc65/html5/thumbnails/33.jpg)
Język Klasycznego Rachunku Predykatów
Pozostanie:
●symbol języka KRP, ●wyrażenie języka KRP, ●term języka KRP,●formuła zdaniowa języka KRP,
i jeszcze:
●budowanie schematów zdań języka potocznego w języku KRZ.
33