Hornova klauzule: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: it |
m upresneni pahylu na {{Matematický pahýl}} |
||
| Řá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ý). |
||
{{pahýl}} |
{{Matematický pahýl}} |
||
[[Kategorie:Logika]] |
[[Kategorie:Logika]] |
||
Verze z 17. 10. 2006, 16: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ý).