在逻辑学中不是……而是……是什么命题

在逻辑学中不是……而是……是什么命题

①非p且q ——从形式上看是个复合命题的合取命题。如果提取“非”则有
②非（p或非q）——分析可知该命题是必要条件命题的否定
p是q必要条件是说：非p则非q，对这个必要条件的否定就是说，即便没有p，也有q。如果令p表示“毕业于名校”，q表示“有所发明”。你说：
③只有毕业于名校，才能有所发明。即p←q。不是名校毕业，就不会有所发明。即，非p→非q。对你这个必要条件假言命题的反驳就是：非p且q，即
④并非（非p→非q），也就是
⑤不是名校毕业，却有所发明，即，非p且q 。