Symbolic Logic - See minor premise In a categorical syllogism, the minor premise is the premise whose terms are the syllogisms minor term and middle term. ...
Object-Oriented Programming - See Liskov Substitution Principle In object-oriented computer programming, the Liskov substitution principle is a particular definition of subtype that was introduced by Barbara Liskov and Jeannette Wing in a 1993 paper entitled Family Values: A Behavioral Notion of Subtyping. ...