Модус поненс е правило за извод в класическата логика, което гласи: Ако е вярно съждението P → Q и е вярно съждението P, то е вярно Q.
Jun 09 2009, 00:37