Library
Latin. It is valid to infer from what is necessary to what is. A fundamental tenet of modal logic.
View more History, Politics, Society videos