Logical Necessities in Mixed Equations