Hornova klauzule: Porovnání verzí

Odebráno 5 bajtů ,  před 17 lety
m
Zamenil jsem si pri prekladu vyrokovou a predikatovou logiku :-(
Bez shrnutí editace
 
m (Zamenil jsem si pri prekladu vyrokovou a predikatovou logiku :-()
V [[logika|logice]], konkrétně vve [[predikátovávýroková logika|predikátové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ý).
341

editací