cuando un argumento es valido
En el método sintáctico, se dice que un esquema de argumento es válido cuando existe una deducción de la conclusión a partir de las premisas del argumento y los axiomas del sistema, utilizando sólo las reglas de inferencia permitidas.