Regla de inferencia

En matemáticas y lógica, es un procedimiento para derivar nuevas afirmaciones a partir de afirmaciones existentes. Las reglas de inferencia se utilizan para construir demostraciones formales.

« Back to Glossary Index

Entradas relacionadas