Square of Opposition: Categorical Logic (Contradictory, Contrary, Subcontrary, Subalternation) NET