綜合上述可知，其「相容邏輯學」可以被稱作為「重言式邏輯學」；而「辯證邏輯學」可以被稱作為「非重言式邏輯學」。
1	綜合	綜合	VERB	VV	_	4	csubj	_	SpaceAfter=No
2	上述	上述	NOUN	NN	_	1	obj	_	SpaceAfter=No
3	可	可	AUX	MD	_	4	aux	_	SpaceAfter=No
4	知	知	VERB	VV	_	0	root	_	SpaceAfter=No
5	，	，	PUNCT	,	_	4	punct	_	SpaceAfter=No
6	其	其	PRON	PRP	Person=3	10	nmod	_	SpaceAfter=No
7	「	「	PUNCT	``	_	10	punct	_	SpaceAfter=No
8	相容	相容	NOUN	NN	_	10	nmod	_	SpaceAfter=No
9	邏輯	邏輯	NOUN	NN	_	10	compound	_	SpaceAfter=No
10	學	學	PART	SFN	_	14	nsubj:pass	_	SpaceAfter=No
11	」	」	PUNCT	''	_	10	punct	_	SpaceAfter=No
12	可以	可以	AUX	MD	_	14	aux	_	SpaceAfter=No
13	被	被	VERB	BB	Voice=Pass	14	aux:pass	_	SpaceAfter=No
14	稱作	稱作	VERB	VV	_	31	advcl	_	SpaceAfter=No
15	為	為	VERB	VC	_	14	mark	_	SpaceAfter=No
16	「	「	PUNCT	``	_	20	punct	_	SpaceAfter=No
17	重言	重言	VERB	VV	_	18	compound	_	SpaceAfter=No
18	式	式	PART	SFN	_	20	nmod	_	SpaceAfter=No
19	邏輯	邏輯	NOUN	NN	_	20	compound	_	SpaceAfter=No
20	學	學	PART	SFN	_	14	obj	_	SpaceAfter=No
21	」	」	PUNCT	''	_	20	punct	_	SpaceAfter=No
22	；	；	PUNCT	:	_	31	punct	_	SpaceAfter=No
23	而	而	ADV	RB	_	31	mark	_	SpaceAfter=No
24	「	「	PUNCT	``	_	27	punct	_	SpaceAfter=No
25	辯證	辯證	NOUN	NN	_	27	nmod	_	SpaceAfter=No
26	邏輯	邏輯	NOUN	NN	_	27	compound	_	SpaceAfter=No
27	學	學	PART	SFN	_	31	nsubj:pass	_	SpaceAfter=No
28	」	」	PUNCT	''	_	27	punct	_	SpaceAfter=No
29	可以	可以	AUX	MD	_	31	aux	_	SpaceAfter=No
30	被	被	VERB	BB	Voice=Pass	31	aux:pass	_	SpaceAfter=No
31	稱作	稱作	VERB	VV	_	4	ccomp	_	SpaceAfter=No
32	為	為	VERB	VC	_	31	mark	_	SpaceAfter=No
33	「	「	PUNCT	``	_	38	punct	_	SpaceAfter=No
34	非	非	AUX	VC	_	36	cop	_	SpaceAfter=No
35	重言	重言	VERB	VV	_	36	compound	_	SpaceAfter=No
36	式	式	PART	SFN	_	38	amod	_	SpaceAfter=No
37	邏輯	邏輯	NOUN	NN	_	38	compound	_	SpaceAfter=No
38	學	學	PART	SFN	_	31	obj	_	SpaceAfter=No
39	」	」	PUNCT	''	_	38	punct	_	SpaceAfter=No
40	。	。	PUNCT	.	_	4	punct	_	SpaceAfter=No
