推出关系的含义
在A成立的情况下,B一定成立
(有A一定有B)
A=>B
直言命题的推出关系 (推出符号为=>)
所有是(非)=>某个是(非)
某个是(非)=>有些是(非)
有些是为真,有些非真假不定
有些非为真,有些是真假不定
有些A是B=有些B是A