"Если стакан налит до половины, то 1) он не долит до полного; 2) он наполовину выпит... "
нет. если налит - то как налит, так и налит.
другое дело - когда ты видишь перед собой стакан, в котором жидкости 50 от той, котоаря могла бы поместиться. а как он был налит - неизвестно .