Hornova klauzule: Porovnání verzí

Přidáno 40 bajtů ,  před 15 lety
bez shrnutí editace
Bez shrnutí editace
Bez shrnutí editace
kde počet tvrzení spojených pomocí '''a''' je libovolný (i nulový).
 
====pokus o překlad prvního odstace anglické verze====
V [[logika|logice]] je Hornova klauzule disjunkcí literálů s maximálně jedním positivním
literálem (ostatní jsou negované). Hornova klauzule s právě jedním positivním
literálem se nazývá
'''určitá klauzule''' (definite clause) a pokud v ní není žádný positivní literál,
občas se, zejména v logickém programování, nazývá '''cílová klauzule''' (goal clause).Hornova formule (Horn formula) je formule v konjunktivní normální
'''Hornova formule''' (Horn formula) je logická formule v konjunktivní normální formě, která se skládá z Hornových klauzulí. '''Duální Hornova klauzule''' (dual-Horn clause) je Hornova klauzule, ve které je maximálně
jeden ''negativní'' literál. Hornovy klauzule mají stěžejní roli v logickém programování a jsou důležité pro konstruktivní logiku (constructive logic).
(dual-Horn clause) je Hornova klauzule, ve které je maximálně jeden negativní
literál. Hornovy klauzule mají stěžejní roli v logickém programování a jsou důležité pro konstruktivní logiku (constructive logic).
 
Neregistrovaný uživatel