negazioni e implicazioni