Metadata
Author: WikiMatrix
Data
Catalan[ca]
En aplicar les regles d'aquest càlcul lògic als enunciats que formen un argument, mitjançant la simbolització adequada de fórmules o Expressions ben formades (EBF) construïm un model o sistema deductiu que, referit al llenguatge ordinari, anomenem de càlcul de deducció natural.
Spanish[es]
Al aplicar las reglas de este cálculo lógico a los enunciados que forman un argumento, previa la simbolización adecuada de los enunciados en fórmulas o Expresiones bien formadas (EBF) construimos un modelo dentro de un sistema deductivo que, referido al lenguaje ordinario, llamamos de Cálculo de deducción natural.