wiki #modus-ponens #modus-ponens 1 page tagged with "modus-ponens" reasoning inference rules โ formal rules of logical inference - the valid patterns for deriving conclusions from premises back to wiki