Модус поненс е правило за извод в класическата логика, което гласи: Ако е вярно съждението P → Q и е вярно съждението P, то е вярно Q.
Jun 09 2009, 00:37
DB Queries: 8 (0.0055s) | CACHE Queries: 15 (0.002s) | Script Execution Time: 0.011 | Memory usage: 0.85MB | Server Load Average: 0.11, 0.12, 0.13