1     2      3     4                                                3             
1.	The (A  *  E   *  I  *  O) standard-form categorical proposition is (“Some S is P” * 
        4                   1                2                   x
 “Some S is not P”  * “Every S is P”  *  “No S is P”  *  “Every S is not P”).

                                         1     2     3     4
2.	If you change the quality of an (A  *  E  *  I  *  O) proposition, then the result 
       2     1    4     3 
is an (A  * E  *  I  *  O) proposition.
                                          1     2     3     4
3.	If you change the quantity of an (A  *  E  *  I  *  O) proposition, then the result 
       3     4    1     2
is an (A  * E  *  I  *  O) proposition.                    1     2     3     4
4.	If you change both the quantity and quality of an (A  *  E  *  I  *  O) proposition,
                        4    3     2     1 
 then the result is an (A  * E  *  I  *  O) proposition.
                                                         1                 x               x
5.	“No S is non-P” is logically equivalent to (“Every S is P”  *  “Some S is P”  *  “No                     x
S is P”  *  “Some S is not P”).   1            2  3                             2
6.	“Two is even or odd”  (implies  *  does not imply) the proposition (“Two is even”  *    3                      1 
“Two is odd”  *  “Two is odd or even”).

          x          1        2                   x
7.	(Every *  Some  *  Some but not every  *  No) valid argument has all true premises.
            x      1            2                 x   
8.	(Every *  Some  *  Some but not every  *  No) invalid argument has all true premises.
          x         x                x             1    
9.	(Every  *  Some  *  Some but not every  *  No)  valid argument has all true premises and a false conclusion.
          x           1        2                   x
10.	(Every  *  Some  *  Some but not every  *  No)  valid argument has all false premises and a true conclusion.
          x          1           2                  x
11.	(Every  *  Some  *  Some but not every  *  No)  invalid argument has all true premises and a false conclusion.
          x         1                 x         x              1
12.	(Every  *  No)  argument is (valid  *  invalid  *  valid and invalid).