1樓：楊懵懵
就是邏輯學上最基本的原理，充分和必要呀。
假設有兩個命題p和q。p是q的充分非必要條件（i.e.q是p的必要非充分條件），那麼p可以推出q而q不能推出p。只有在p和q互為充分必要條件時才可以互推。
其實直接看邏輯學上的符號就很清楚了：
p是q的充分非必要條件（i.e.q是p的必要非充分條件）表示為：:p→q（or q←p）
p是q的充分必要條件表示為：: pq
乙個重要定理： ~P → ~Q 可以推出 Q → P （~的意思是「非」，即~p是p的反命題，如p是「香蕉是動物」，那麼~p是「香蕉不是動物」。
回到你的問題，根據定理：
設：p是西紅柿，q是蔬菜，那麼~p是不是西紅柿的東西，~q是不是蔬菜的東西，p→q為真（「西紅柿是蔬菜」），所以~q→~p為真（「不是蔬菜的東西就不是西紅柿」）。
再設：P=「西紅柿是蔬菜」且 P←→Q
那麼：Q=「不是蔬菜的東西就不是西紅柿」
以上過程可以翻譯為：如果有乙個命題和「西紅柿是蔬菜」這個命題等價（互推），那麼這個命題是「不是蔬菜的東西就不是西紅柿」。
所以「西紅柿是蔬菜」可以推出的命題不是」蔬菜是西紅柿「，而是「不是蔬菜的東西就不是西紅柿」。
大學學過的《邏輯學入門》殘存的記憶……不明之處可參閱：充分必要條件
2樓：
我邏輯是真不行啊。
不過就題主的例子。西紅柿是蔬菜的一種，反面為蔬菜的一種是西紅柿。我覺得蔬菜的一種不能直接推出西紅柿，只能強行給定事實，蔬菜中有一種確實是西紅柿。
但是蔬菜是乙個大集合，西紅柿只是其中乙個元素，這就是A元素屬於集合B,A能推出B，但是B的結果不一定是A。
邏輯問題 A是B 是否等價於 「A B」？
西閣瑪 顯然不是。例如說 三胖是中中國人，但三胖不等於中中國人啊，他只能是中中國人之一，換句話說，三胖真包含於中中國人，只是中中國人之一。 對於 A是B 這句話。在A B都屬於名詞的前提下，這句話裡面的 是 這個詞，在 集合關係 上，至少有下列兩種含義 一種情況下，是 表示 屬於 的關係。AB另一種...
病態問題與不適定問題是否等價？
吱昂 適定問題 well posed 的概念是Hardamard提出的，他認為問題滿足 1 存在解 2 解是唯一的 3 解連續的取決於初邊值條件，則稱這個問題是適定的，當上述三個條件中任意乙個不滿足時，它就是乙個不適定問題 ill posed 病態問題是指輸出結果對輸入資料非常敏感的問題，即輸入資料...
A 是 B 的前提 A 比 B 重要 這個邏輯成立嗎？
dtclzy 這只是詞語的 多義性 問題 x有中國國籍 x是中中國人 x有中國血統 x是中中國人 這種例子，與其說是 推論 不如說是 定義 在 中，中中國人 的定義不超出 中國國籍 在 中，中中國人 的定義不超出 中國血統 所以 A是B的基礎 前提 A比B重要 是完全可以的但是要注意，此處 重要 的...