Hornova klauzule: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
m Zamenil jsem si pri prekladu vyrokovou a predikatovou logiku :-( |
||
Řádek 1: | Řádek 1: | ||
V [[logika|logice]], konkrétně |
V [[logika|logice]], konkrétně ve [[výroková logika|výrokové logice]] znamená '''Hornova klauzule''' tvrzení typu |
||
:(''p'' '''a''' ''q'' '''a''' ... '''a''' ''t'') '''implikuje''' ''u'', |
:(''p'' '''a''' ''q'' '''a''' ... '''a''' ''t'') '''implikuje''' ''u'', |
||
kde počet tvrzení spojených pomocí '''a''' je libovolný (i nulový). |
kde počet tvrzení spojených pomocí '''a''' je libovolný (i nulový). |
Verze z 26. 4. 2005, 17:10
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ý).