1. 逻辑蕴含：逻辑蕴含(logical implication)指的是,如果我相信前提,但不相信结论,就会造成矛盾. 逻辑蕴含(logical implication)指的是,如果我相信前提,但不相信结论,就会造成矛盾. 逻辑蕴含(logical implication)指的是,如果我相信前提,但不相信结论,

2. 逻辑隐含式：logical font 逻辑字型 | logical implication 逻辑隐含式 | Logical Leading End 逻辑接头终点

3. 逻辑蕴涵：logical equivalence 逻辑等价/逻辑对等 | logical implication 逻辑蕴涵 | logical inference 逻辑推理

4. 逻辑隐含 逻辑隐含：logical font 逻辑字型 逻辑字体 | logical implication 逻辑隐含 逻辑隐含 | logical line 逻辑行 逻辑行

noun

1. a logical relation between propositions p and q of the form `if p then q'
if p is true then q cannot be false

Synonym: implicationconditional relation