推出關(guān)系的含義

在A成立的情況下，B一定成立

（有A一定有B）

A=＞B

直言命題的推出關(guān)系 （推出符號為=＞）

所有是（非）=＞某個是（非）

所有是（非）=＞某個是（非）

某個是（非）=＞有些是（非）

有些是為真，有些非真假不定

有些非為真，有些是真假不定

有些A是B=有些B是A