341
editací
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ě
:(''p'' '''a''' ''q'' '''a''' ... '''a''' ''t'') '''implikuje''' ''u'',
kde počet tvrzení spojených pomocí '''a''' je libovolný (i nulový).
| |||