Pok-4-wyk-Slajd8
Wyprowadzalność
Drzewo wyprowadzenia może być traktowane jako graficzna forma wyprowadzenia. Wprowadzimy teraz dwa nowe pojęcia. Bezpośrednia wyprowadzalność oznacza przekształcenie ciągu znajdującego się z lewej strony symbolu => polegające na zastąpieniu w nim jednego z symboli prawą stroną odpowiedniej reguły. W wyniku tego przekształcenia otrzymujemy ciąg znajdujący się po prawej stronie symbolu =>. Sekwencję takich przekształceń pozwalającą udowodnić, że dane zdanie da się wyprowadzić z pewnego symbolu nazywamy „wyprowadzalnością w conajminej jednym kroku” i oznaczamy symbolem => z plusem. Slajd przedstawia bezpośrednią wyprowadzalność formy zdaniowej „podmiot orzeczenie” z symbolu „zdanie” oraz wyprowadzalność w co najmniej jednym kroku zdania „małe dziecko wypiło mleko”.
