5.134 Da una proposizione elementare non è possibile dedurne un'altra.