wiki#modus-ponens#modus-ponens1page tagged with "modus-ponens"reasoninginference rules— formal rules of logical inference - the valid patterns for deriving conclusions from premisesback to wiki