综合法顺推证法由因导果法

- - - - - - 符号语言 - 图形语言