2740390985

Klauzule

Klauzula

Klauzulą nazywać będziemy formułę postaci

P, A P₂ A ■ ■ ■ A P_k —* Wi V N₂ V • ■ ■ V Ni lub też równoważnie

-tPi V ~-P₂ V ■ ■ ■ V -iP_k V N, V Afe V ■ ■ ■ V W,

Wyrażenia Pi.....P* nazywać będziemy poprzednikami (lub

przesłankami, zaś wyrażenia A/j.....A/₍ następnikami lub

wnioskami klauzuli.

Zbigniew Jurkiewicz, Instytut Informatyki UW Dedukcyjne bazy danych i rekursja Wykład Z D3Z Q31T