معارف منطقی

Scientific sets, as much as possible, should be efficient and well-constructed in addition to having the necessary accuracy and coherence. These components are respectively hard (correctness) and soft (perfection) components. Among the soft features of these collections are simplicity, clarity, proportion and balance, correspondence, reciprocating, transitivity, symmetry and self-construction. The science of logic as a basic and applied science has an influence on many theoretical knowledges. Among the important and practical tables in the confirmations section of Aristotelian- Avicennian logic, table of the relation of quantified propositions is the base of the direct proofs. In this research, first, this table is evaluated by the mentioned criteria and defects are detected. then while analyzing and finding the origin of defects, through the soft criteria, the necessary proposal to solve it by introducing a new row in the table, "New opposite contraposition", through the properties of this table and Direct proofs, the defect is eliminated. At the end, the degree of achievement of the goal is evaluated through the components of aforementioned criteria. All the steps are descriptive-logical. the result is that by introducing the mentioned rows, the efficiency and payment of first table is increased and the table of co-false propositions was also successfully defined, proved and evaluated. All steps are descriptive-logical, and proved that by applying soft criteria, their effectiveness in completing or forming the tables was proven.