"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
"
b d m l
"
"
"
"
"
" P, Q, . . .
" '", (", Ô!, Ò!
" Ź
" (, )
"
" P, Q, . . .
" (P )
" ŹP
"
'", (", Ô!, Ò!
Zdanie ZdanieAtomowe | ZdanieZlozone
ZdanieAtomowe True | False
| P | Q | R | . . .
ZdanieZlozone ( Zdanie )
| Zdanie Spojnik Zdanie
| ŹZdanie
Spojnik '" | (" | Ô! | Ò!
Ź, '", (", Ò!, Ô!
"
"
P Q ŹP P '" Q P (" Q P Ò! Q P Ô! Q
F alse F alse T rue F alse F alse T rue T rue
F alse T rue T rue F alse T rue T rue F alse
T rue F alse F alse F alse T rue F alse F alse
T rue T rue F alse T rue T rue T rue T rue
Ò!
 W
((P (" H) '" ŹH) Ò! P
P H P (" H ŹH (P (" H) '" ŹH) ((P (" H) '" ŹH) Ò! P
F alse F alse F alse T rue F alse T rue
F alse T rue T rue F alse F alse T rue
T rue F alse T rue T rue T rue T rue
T rue T rue T rue F alse F alse T rue
 Ä… ²
Ä…
Ä… ²
²
"
"
Ź Ź ą
Ä… Ò! ², Ä…
Ä…
²
"
"
Ä… (" ², Ź²
Ä…1 '" Ä…2 '" ... '" Ä…n
Ä…
Ä…i
"
"
Ä… (" ², Ź² ("Å‚
Ä…1, Ä…2, ... Ä…n
Ä… (" Å‚
Ä…1 '" Ä…2 '" ... '" Ä…n
"
Źą Ò! ², ² Ò! Å‚
Ä…i
Źą Ò! Å‚
Ä…1 (" Ä…2 (" ... (" Ä…n
 KB1 |= Ä… KB1 *" KB2 |= Ä…
"
"
"
"
"
"
Zdanie ZdanieAtomowe
| Zdanie Spojnik Zdanie
| Kwantyfikator Zmienna, . . . Zdanie
| ŹZdanie
| ( Zdanie )
ZdanieAtomowe P redykat(T erm, . . .) | T erm = T erm
T erm F unkcja(T erm, . . .)
| Stala
| Zmienna
Spojnik Ò! | '" | (" | Ô!
Kwantyfikator " | "
Stala A | X1 | Jan | · · ·
P redykat P rzed | MaKolor | · · ·
F unkcja Matka | LewaNoga | · · ·
 LewaNoga(Jan)
P (x, y) x P y
Brat(P iotr, Jan) '" Brat(Jan, P iotr)
" "
" x Kot(x) Ò! Ssak(x)
x
" "
" x Siostra(x, Burek) '" P ies(x)
x
" x " y Kocha(x, y)
" y " x Kocha(x, y)
" x " y Kocha(x, y)
" x " y Kocha(x, y)
" y " x Kocha(x, y)
" x " y Kocha(x, y)
" x Ź P a" Ź " x P Ź P '" Ź Q a" Ź (P (" Q)
Ź " x P a" " x Ź P Ź (P '" Q) a" Ź P (" Ź Q
" x P a" Ź " x Ź P P '" Q a" Ź (Ź P (" Ź Q)
" x P a" Ź " x Ź P P (" Q a" Ź (Ź P '" Ź Q)
"
Ojciec(Jan) = P iotr
"
Zosia
" x, y Siostra(Zosia, x) '" Siostra(Zosia, y) '" Ź(x = y)
"
"
"
"
"
"