The Square of Opposition

When two categorical propositions are of different forms but share exactly the same subject and predicate terms, their truth is logically interdependent in a variety of interesting ways, all of which are conveniently represented in the traditional "square of opposition."

    "All S are P."  (A)- - - - - - -(E)  "No S are P."

                     | *           * |

                         *       *

                     |     *   *     |

                             *

_________ __________ ______ _________ _____ ______ ____ _________ ________.
________ ___ ________ _________ ____ _____ _____ _____ _____ ________ _________.
____ __________ ______ ___ _____ ____ _____ __________ _____ __________ ___.
____ ________ ______ ________ __________ ____ ______ _________ _________ __________.
_____ _____ ______ ______ _____ _____.
_________ ______ _____ _____ _________ _________ _______ ______.
____ _____ _________ ____ _____ ______ _________ _____ _____ _______ _______.
____ ___ _______ _____ ___.
____ ______ ___ _________ ____.
____ ___ ________ ________ _______ ________ _________.
_____ _________ ______ _____ ________ ____.
____ ______ _____ ______ ______ _____.
__________ _________ ______ ________ ____.
____ ________ ___ _____ _________ ____ ______ ________ ________ ______.
____ ________ _______ ________ _______ _________.
____ __________ _____ ____ ____ ______ ______ ____ __________ ________ _________ _________.
_______ _______ _________ ________ ____ _________ __________ _______ _____ _______ ________ ________.
___ _____ __________ _____ ________ _______ _________ __________ ______ ____ __________ ___.
______ ____ _________ _______ _____ _________.
________ _________ ___ __________ _____ ______ ________ _______ ___ ________ _________.
______ ______ _______ _____ _____ ____ _____ ___ ____ ____ ____ ________.
_______ ___ ___ ___ ___ _________ _______ _______.
___ ________ __________ ___ _____ __________ ________ ___ ________ _____ __________.
______ _______ _______ ______ ____ _________ _______ _________ __________ _______ _______.
______ ____ __________ ____ _____ ___ ___ _________ ____ __________.
________ ________ _______ ____ ____ _____ ____.
___ __________ _____ ________ ___ _________ __________ _______ ________.
____ ___ ___ _________ _________ ______ ____ __________ _____.
_________ _______ _______ _____ ___ ________ ____ _____ _________ ____ ________.
_________ ____ ____ ______ ____ ____ _________ _______ ______.
________ _______ _________ _____ ______ _____ ______ ____.
_________ ___ ____ _______ ____ ________ ___ __________ _____ __________ ___.
___ _____ ____ ___ ________ _____ _______ ____ _____ __________ _____.
________ ______ _________.