关于第一个问题你想复杂了，p⇒q，本身就含有【必然】的意思了，所以没必要再写一个p⇒必然q。
也就是说，p可以推出q，本身的意思就是【不可能存在“p真 且 q假”的反例】的意思，所以才说肯前必肯后。

为了避免混淆，下面统一用p代表充分条件，q代表必要条件。
【q是p的必要条件时，有q未必有p】并不是 必要条件的定义。
它想表达的跟【必要条件假言命题，肯前不能肯后】是一个意思，只不过不太严谨容易误解。
说的通俗点，意思是：
只告诉你q是p的必要条件（p⇒q 或者写成q⇐p），你是无法根据q为真 来推出p为真的。
意思是，只根据q是p的必要条件（p⇒q 或者写成q⇐p）。q真无法推出p真。
而不是说，对于所有q是p的必要条件的具体例子，q真都无法推出p真。毕竟【充要条件】这种特例，q是p的必要条件的同时，也是p的充分条件。
---------------------------------
举个类似的例子：
我说，只知道 p∨q为真，无法得到p∧q为真。
但这并不代表， 在所有 p∨q为真的例子里，不存在 p∧q为真的特例。
用≠>代表【推不出】，我这个例子意思是：
（p∨q） ≠> （p∧q） 【式子A】
那么类似的，你问的那句话，意思是：
（q是p的必要条件）≠>（q⇒p）【式子B】
你看下我的式子A，令p为【狗是动物】，q为【雪是白色】的，这能作为【式子A】的反例而说式子A错了吗？
你再看下式子B，令p为【三角形等边】，q为【三角形等角】，能作为【式子B】的反例而说式子B错了吗

在学习【如果……那么……】的时候，千万不要加【可能】、【一定】，否则肯定会陷到坑里。
自然语言中的【有p未必有q】。理解成【p推不出q】，也即p≠> q 就行了。
啥叫【p推不出q】，比如
（一个数是合数）推不出（这个数是 偶数）。
意思是【存在反例情形】，即存在 一个合数不是偶数的情形。。
比如9 是合数，但却是奇数。
--------------
你纠结的那句话【q是p的必要条件，有q未必有p】，本意是：
（q是p的必要条件）≠>（q⇒p）
但是它的表达容易被误解成
（q是p的必要条件）⇒（q≠>p）
你就误解了，所以一直用【q：三角形等边】【p：三角形等角】来反驳。

这一条能重新发一下吗？我这里看不到，谢谢！

感谢你的回复，这几天我一直在看你的知乎上面的有关回答，明白了“实质蕴涵”和“如果那么”的区别，明白了当初一些想不明白的地方，十分感谢！但是我还是有不太明白的地方，希望你能指教一下！谢谢！