modus ponens
moʹdus poʹnens (nylat., av modus och en form av latin poʹno ’sätta’, ’ställa’, ’lägga’, ’anföra’, ’förutsätta’), slutledning av formen ”om A, så B; A, alltså B” eller den slutledningsregel enligt vilken sådana slutledningar är giltiga.
Information om artikeln
Källangivelse