Metadata
Author: WikiMatrix
Data
Catalan[ca]
Es permet l'aplicació d'aquestes regles com regles de substitució de fórmules bé formades en les relacions que puguin establir-se entre aquestes premissa.
Spanish[es]
Se permite la aplicación de dichas reglas como reglas de sustitución de fórmulas bien formadas en las relaciones que puedan establecerse entre dichas premisas.