ítéletlogikai határozott klóz

Kapcsolódó fogalmak: 
Horn klóz
Kapcsolódó fogalmak: 
ítéletkalkulus
Rövid szöveges bemutatás: 
Az ítéletlogikában használt határozott klóz a Horn klóz másik elnevezése. Ebben egy pozitív literál szerepel (fej) és a többi literál negatív formában van jelen (test). Előfordulhat, hogy egyetlen pozitív literált alkotja, ebben az esetben tény a neve. Illetve előfordulhat, hogy nem tartalmaz pozitív literált, ebben az esetben a negatív literálok konjunkciója megegyezik a pozitív formájuk diszjunkciójával. Például: Vesz(Tej) vagy /Fáradt(János) vagy /Éhes(Tamás). Illetve: /Fáradt(János) vagy /Éhes(Tamás) = Fáradt(János) és Éhes(Tamás).