08 - wykład dla prawa - rachunek kwantyfikatorów.pdf

(143 KB) Pobierz
08 - wyk³ad dla prawa - rachunek kwantyfikatorów
Piotr Łukowski, Wykład dla studentów prawa
Logiczne podstawy prawoznawstwa
Piotr Łukowski
1
Piotr Łukowski, Wykład dla studentów prawa
WYKŁAD 8
klasyczny rachunek kwantyfikatorów
2
 
Piotr Łukowski, Wykład dla studentów prawa
Ludwik Borkowski, Elementy logiki formalnej , PWN, Warszawa 1977, s.154
(cienka ksiąŜka)
Nie korzystamy z ksiąŜki Ziembińskiego!
3
Piotr Łukowski, Wykład dla studentów prawa
Kwantyfikatory o ograniczonym zakresie
"
Q ( x ) P ( x ) « " x ( Q ( x ) ® P ( x ))
Przykład
KaŜdy słoń ma trąbę = KaŜdy x jeśli x jest słoniem, to x ma trąbę.
$
Q ( x ) P ( x )
«
$
x ( Q ( x )
Ù
P ( x ))
Przykład
Pewien słoń ma trąbę = Pewien x jest słoniem i x ma trąbę.
Uwaga :
Ograniczenie kwantyfikatora działa jak określenie dziedziny. Wszystkie prawa rachunku
kwantyfikatorów zachowują swą waŜność, gdy kwantyfikatory będą miały (konsekwentnie)
ograniczony zakres.
" x " y = " x , y
$ x $ y = $ x , y
4
Piotr Łukowski, Wykład dla studentów prawa
diagramy Venna
zdanie prawdziwe
zdanie fałszywe
"
x P ( x )
$
x P ( x )
"
x
Ø
P ( x )
$
x
Ø
P ( x )
5

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin