Logicmedium
0:00.0

Which rule of inference allows the conclusion 'The library is open' from 'If it is Monday, the library is open' and 'It is Monday'?