Riskribado en matematikala logiko esas larja grupo di metodi por substitucar subtermini di formulo per alta termini.