Modus ponens
Modus ponens [auch ˈmɔ-, lateinisch, zu ponere »setzen«, »stellen«, »legen«] der, - -, Abtrennungsregel,
wichtige Schlussregel der Logik: Gilt sowohl A als auch »Wenn A, dann B«, so gilt auch B (A und B sind dabei Variable für Aussagen).
Informationen zum Artikel
Quellenangabe