L-^a.-V~y « Wr1U» •• ‘ V%|
£\SBMŚffSti' Sr®! K* ■ /*-' 1- ;
W
Uwaga końcowa:
JOS moina
predykatów
Z podanych elementów alfabetu języka tworzyć zdania zastępując argumenty wartościami z odpowiednich zbiorów określonych^* typie predykatu. Każde z utworzonych zdań może być prawdziwe lub fałszywe względem JJ®
modelu
stanu świata rzeczywistego. Uwzględnienie ty
prawdziwych prowadzi do zdefiniowań abstrakcyjnego stanu świata rzeczywistego.
i