查看“︁假言推理”︁的源代码

[[分类:古典逻辑]]{{DEFAULTSORT:jia3yan2tui1li3}}
{{#seo:
|keywords=假言推理,肯定前件,否定后件
|description=直言命题是古典逻辑理论中全部陈述条件的命题所在分类的统称。文本阐述了其在现代命题逻辑中的对应。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2025-11-30
}}
'''假言推理'''指古典逻辑中对[[假言命题]]进行的[[直接推理]]。

== 条件推理 ==

== 换质位推理（逆否命题推理） ==


{{传统逻辑}}