Hornova klauzule: Porovnání verzí

Skočit na navigaci Skočit na vyhledávání
Odebráno 33 bajtů ,  před 6 lety
bez shrnutí editace
m (Bot: Odstranění 13 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q933932))
Bez shrnutí editace
V [[logika|logice]], konkrétně veVe [[výroková logika|výrokové logice]] se jako '''Hornova klauzule''' označuje speciální druh [[klauzule]] ([[disjunkce]] literálů), která obsahuje nejvýše jeden pozitivní literál (ostatní jsou [[negace|negované]]):
: <math>\neg p \or \neg q \or \cdots \or \neg t \or u</math>.
Hornovu klauzuli tak lze obecně zapsat jako [[implikace|implikaci]] ve formě

Navigační menu