Hornova klauzule: Porovnání verzí

Přidáno 13 bajtů ,  před 15 lety
m
upresneni pahylu na {{Matematický pahýl}}
m (robot přidal: it)
m (upresneni pahylu na {{Matematický pahýl}})
kde počet tvrzení spojených pomocí '''a''' je libovolný (i nulový).
 
{{Matematický pahýl}}
 
[[Kategorie:Logika]]
5 736

editací