logical necessity

[ریاضیات] ضرورت منطقی، بایستگی منطقی