I am studying Aristotle's logic (Categorical logic AEIO). There are rules on how you can form arguments: Premise 1, Premise 2, and Conclusion: All A is B; All B is C; then "All A is C" is valid. Everything is clear if we have simple Arguments.
How to translate the next sentence in Categorical Logic: " The number of negative claims in the premises must be the same as the number of negative claims in the conclusion. If the argument follows this rule then it is valid otherwise it is not valid"?
Something like:
(C is Negative) and (P1 is negative) and not (P2 is negative)
(C is Negative) and not (P1 is negative) and (P2 is negative)
(C is Positive) and not (P1 is negative) and not (P2 is negative)
All provided argument is Follow rules
All Follow rules is Valid argument
The provided argument is Valid argument
It is not clear how to formulate such rules in Categorical logic.