補充一點

大前提成立的條件是具備可證偽性。

人是要死的——如果找到一個不死的人，即證偽。

蔬菜是可以吃的（西紅柿是蔬菜，所以西紅柿可以吃）——如果找到一個不能吃的蔬菜，即證偽。

中醫超前，中醫是外星文明——都無法證偽。