विधान : पहा तर्कशास्त्र, आकारिकतर्कशास्त्र, पारंपारिक.