Hornova klauzule: Porovnání verzí
Bez shrnutí editace |
Bez shrnutí editace |
||
Řádek 3: | Řádek 3: | ||
kde počet tvrzení spojených pomocí '''a''' je libovolný (i nulový). |
kde počet tvrzení spojených pomocí '''a''' je libovolný (i nulový). |
||
===pokus o překlad prvního odstace anglické verze=== |
====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 |
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 (ostatní jsou negované). Hornova klauzule s právě jedním positivním |
||
literálem se nazývá |
literálem se nazývá |
||
určitá klauzule (definite clause) a pokud v ní není žádný positivní literál, |
'''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). |
občas se, zejména v logickém programování, nazývá '''cílová klauzule''' (goal clause). |
||
formě, která se skládá z Hornových klauzulí. Duální Hornova klauzule |
'''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ě |
||
⚫ | |||
(dual-Horn clause) je Hornova klauzule, ve které je maximálně jeden negativní |
|||
⚫ | |||
Verze z 7. 1. 2007, 19:06
V logice, konkrétně ve výrokové logice znamená Hornova klauzule tvrzení typu
- (p a q a ... a t) implikuje u,
kde počet tvrzení spojených pomocí a je libovolný (i nulový).
pokus o překlad prvního odstace anglické verze
V 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 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).