صدق قضيهء اعم هست ، و كذب قضيهء اخص مستلزم كذب قضيهء اعم نيست اما كذب قضيهء اعم مستلزم كذب قضيهء اخص هست . پس اينها « متداخلين » مىباشند اما به اين نحو كه همواره موارد قضيهء كليه داخل در موارد قضيهء جزئيه است ؛ يعنى هر جا كه كليه صادق باشد جزئيه هم صادق است ولى ممكن است قضيهء جزئيه در يك مورد صادق باشد و قضيهء كليه صادق نباشد . با تأمل در قضيهء « هر الف ب است » و قضيهء « بعضى الف‌ها ب هستند » و همچنين با تأمل در قضيهء « هيچ الفى ب نيست » و قضيهء « بعضى الف‌ها ب نيستند » مطلب روشن مىشود .