K implikaci v Aristotelově logice - Mráz, Milan (1988)