离散期末之逻辑推理及应用

1．命题逻辑推理及应用

基础知识

PS： 

  

 

  

 添项

 

 

 推理理论

 

PS：一般结论含蕴含符号 

PS：一般结论含符号非

  应用案例（仅作了解）http://chrome-extension://ibllepbpahcoppkjjllbabhnigcbffpi/https://nos.netease.com/edu-lesson-pdfsrc/3645EFC40C7E66BB3F0B2256F0ECBD1F-1521019108143?download=%E5%91%BD%E9%A2%98%E9%80%BB%E8%BE%91%E5%BA%94%E7%94%A8%E6%A1%88%E4%BE%8B.pdf&Signature=CrpmPY%2B%2BPTL92CMQAk3GeruRuZkoJ51bgSQ92%2FI2C4g%3D&Expires=1654612547&NOSAccessKeyId=7db2f370ff9a412987155d36d55a6ead

2．谓词逻辑推理及应用

 

 

 

PS：注意（3），（4） ，谁在后面就先销哪个量词

双量词 证式子

 

 

PS：存在量词不存在双向分配律 

PS：或者……或者……， 

粗略的认为，带有排斥关系，对立关系的语句也有因果，得用蕴含符号 

粗略的认为，全称量词中蕴含符号使用概率更大