elsőrendű határozott klóz

Kapcsolódó fogalmak: 
elsőrendű logika
Kapcsolódó fogalmak: 
határozott klóz
Kapcsolódó fogalmak: 
literál
Kapcsolódó fogalmak: 
konjunkció
Rövid szöveges bemutatás: 
Az elsőrendű határozott klóznak két fajtája van. Az első, amikor a határozott klóz feltétel része pozitív literálok konjunkciója és ezeknek van egy következményük, amely egyetlen pozitív literál. A másik fajtája mikor egyetlen pozitív literálból áll az egész klóz, tehát egy atomi kijelentésből. Például Madár(x) és Repül(x) -> Veréb(x). A másik példa, Okos(Tamás).