This can be proven for any valid argument form using a truth table which shows that there is no situation in which there are all true premises and a false conclusion.
Founded in 1994, IntraLearn Software Corporation (ISC) is a pioneer of creating e-Learning and Knowledge Organization products for corporate enterprises, academic institutions, associations, government agencies and training suppliers.
Open Text Corporation was founded in 1991 by University of Waterloo professors Frank Tompa, Timothy Bray, and Gaston Gonnet. It was a successor to Open Text Systems Inc., founded in 1989. The company was spun off from a University of Waterloo project that developed technology to index the Oxford English Dictionary.