Pok-4-wyk-Slajd16

Bezpośrednia wyprowadzalność(7)

Ostatnim krokiem jest zamiana symbolu „rzeczownik” na symbol „mleko”. Uzyskaliśmy w ten sposób zdanie „małe dziecko wypiło mleko” i udowodniliśmy, że można je wyprowadzić w co najmniej jednym kroku z symbolu „zdanie”.

<< Poprzedni slajd | Spis treści | Następny slajd >>