<telo><p><i>mat. </i>pojem z v²rokovΘ logiky. V implikaci <i>A </i> =><i> B </i>je <i>B </i>nutnß p. pro <i>A</i>, zatφmco <i>A</i> je postaΦujφcφ p. pro <i>B</i>. Nap°. nutnß a postaΦujφcφ p. k tomu, aby p°irozenΘ Φφslo bylo d∞litelnΘ t°emi, je, aby jeho cifern² souΦet byl d∞liteln² t°emi.</p></telo>