IMGP1308

ipjrgtcffly b9Z

Uwaga końcowa:

Z podanych elementów alfabetu języka JOS można tworzyć zdania zastępując argumenty predykatów wartościami z odpowiednich zbiorów określonych # typie predykatu. Każde z utworzonych zdań może być f'prawdziwe lub fałszywe względem analizowanego! stanu świata rzeczywistego. Uwzględnienie tylko zdań prawdziwych prowadzi do zdefiniowaniami modelu abstrakcyjnego stanu świata rzeczywistego. ;