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:
V [[logika|logice]], konkrétně
:(''p'' '''a''' ''q'' '''a''' ... '''a''' ''t'') '''implikuje''' ''u'',
kde počet tvrzení spojených pomocí '''a''' je libovolný (i nulový).
| |||