逻辑学图解题跪求高手，急！！有追加。 关于普通逻辑学的问题！求高手解答
\u903b\u8f91\u5b66\u56fe\u89e3\u9898\u8dea\u6c42\u9ad8\u624b\uff0c\u6025\uff01\uff01\uff01\u6709\u8ffd\u52a0\u3002\u6839\u636e\u7528\u903b\u8f91\u6d4b\u8bd5\u6cd5
\u8fd9\u4e09\u4e2a\u90fd\u662finvalid\u7684
\u8fd9\u662f\u6211\u7528\u5927\u5b66\u903b\u8f91\u5206\u6790\u6cd5\u7b97\u7684
\u8fd9\u4e09\u4e2a\u662f\u4e0d\u5408\u903b\u8f91\u6027\u7684
let:p=\u7532\u662f\u8463\u4e8b\u957f\uff1bq=\u4e59\u662f\u603b\u7ecf\u7406\uff1b~p=\u7532\u4e0d\u662f\u8463\u4e8b\u957f\uff1b~q=\u4e59\u4e0d\u662f\u603b\u7ecf\u7406
premise 1(*) ~p_q
premise 2(*) ~q_~p
conclusion(C) ~p &~q
(t=true;f=false)
p q ~p ~q (*)~p-q (*)~q-~P (C)~p &~q
__________________________________________________________
t t f f t t f
t f f t t f f
f t t f t t f
f f t t f t t
\u6839\u636e\u4e0a\u9762\u7684\u56fe\u8868
\u5f53\u53e5\u5b50\u662f\u5408\u903b\u8f91\u6027\u7684\u8bdd
premise 1 (*) and premise 2 (*) \u662f\u5bf9\uff08t\uff09,\u90a3conclusion (C)\u4e00\u5b9a\u4e5f\u8981\u5bf9(t)\u624d\u7b97\u662f\u5408\u683c\u903b\u8f91\u6027
\u5728\u4e0a\u9762\u6765\u770b
premise 1 and premise 2 \u662f\u5bf9(t)\u7684\uff0c\u4f46conclusion \u5374\u662f\u9519(f)
\u6240\u4ee5\u8fd9\u4e09\u4e2a\u53e5\u5b50\u4e0d\u5408\u903b\u8f91\u7684\u54e6
\u4e00\u3001
1\u3001\u5355\u72ec\u6982\u5ff5\u3001\u6b63\u6982\u5ff5
2\u3001\u5355\u72ec\u6982\u5ff5\u3001\u6b63\u6982\u5ff5
3\u3001\u666e\u904d\u6982\u5ff5\u3001\u6b63\u6982\u5ff5
4\u3001\u666e\u904d\u6982\u5ff5\uff0c\u8d1f\u6982\u5ff5
\u4e8c\u3001
1\u3001\u96c6\u5408\u6982\u5ff5
2\u3001\u975e\u96c6\u5408\u6982\u5ff5
3\u3001\u96c6\u5408\u6982\u5ff5
4\u3001\u975e\u96c6\u5408\u6982\u5ff5
5\u3001\u96c6\u5408\u6982\u5ff5
A是说：听话的孩子他有可能有出息，也有可能没有出息。而B就很肯定的说：只有不听话的孩子才有出息，换而言之，B就是说：听话的孩子是没有出息的。所以B比A来得肯定点。
也可以这样理解A
听话的孩子有可能有出息，也有可能没有出息。也就可以说：不听话的孩子也有可能有出息，也有可能没有出息。从这也可以看得出，B要比A明确而肯定。
不等
A否定了"如果是听话的孩子,就是有出息的孩子",听话的孩子不一定是有出息的,同样表示不听话的孩子,也有可能是有出息的,要明白可能不表示肯定和只有.
而B的意思可理解为"听话的孩子,就没有出息",
简单讲 A的含义是"听话的和不听话的,都可能是有出息的"
而B是讲"只有不听话的是有出息的"
不等值，A意思是听话的孩子也可能是没出息的孩子
不等
形式化如下：
A：┒（P－>Q)
B：┒P->Q
真值表如下：
"P" "Q" A："┒（P－>Q)" B："┒P->Q"
0 0 0 0
0 1 0 1
1 0 1 1
1 1 0 1
显然，A，B不等值
绛旓細涔熷彲浠ヨ繖鏍风悊瑙 鍚瘽鐨勫瀛愭湁鍙兘鏈夊嚭鎭紝涔熸湁鍙兘娌℃湁鍑烘伅銆備篃灏卞彲浠ヨ锛氫笉鍚瘽鐨勫瀛愪篃鏈夊彲鑳芥湁鍑烘伅锛屼篃鏈夊彲鑳芥病鏈夊嚭鎭備粠杩欎篃鍙互鐪嬪緱鍑猴紝B瑕佹瘮A鏄庣‘鑰岃偗瀹氥
绛旓細鍋囪涓佸啝鍐涳紝鍒檃閿欙紝b閿欙紝c瀵癸紝涓庢彁璁剧鍚堛傜患涓婁竵鏄啝鍐涖
