صدق قضیه اعم هست، و کذب قضیه اخص مستلزم کذب قضیه اعم نیست اما کذب قضیه اعم مستلزم کذب قضیه اخص هست. پس اینها «متداخلین» میباشند اما به این نحو که همواره موارد قضیه کلیه داخل در موارد قضیه جزئیه است؛ یعنی هر جا که کلیه صادق باشد جزئیه هم صادق است ولی ممکن است قضیه جزئیه در یک مورد صادق باشد و قضیه کلیه صادق نباشد.

با تأمل در قضیه «هر الف ب است» و قضیه «بعضی الفها ب هستند» و همچنین با تأمل در قضیه «هیچ الفی ب نیست» و قضیه «بعضی الفها ب نیستند» مطلب روشن میشود.