Umělá inteligence I
6. Predikátová logika. Splnitelnost a pravdivost. Normální formy
- - -
Pro snazší porozumění: PL1 syntax (Russel )
Pozor, Predicate ani Function nejsou definovány správně, má být vždy Jméno/Arita. Sentence nahraďte slovem Formula. Precedence operátorů se obvykle nedefinuje.