打开上次浏览的网站优化模型

1.1 命题

• 用语言、符号或者式子表达的，可以判断真假的陈述句称为命题，一般写为 若p，则q
  • 真命题：判断为真的语句
  • 假命题：判断为假的语句
    eg1：小张是中国人（若是小张，则是中国人）
    eg2：明天是星期六（若是明天，则是星期三）
    

• 对于真假判断，主要是关注啥为假话

小试牛刀

1.2 复合命题

• 复合命题：由简单命题用联结词联结而成的命题

  • 联言命题（且）
    联言命题是反映事物的若干种情况或者性质同时存在的命题，由逻辑连接词“并且”连接，写成p且q
    eg1：小莫的计算机配置合理并且价格低廉。
    eg2：这项水利工程使附近几个县的农田收益，且为这一地区的小工业提供了动力。
    eg3：生也有涯，知也无涯。
    
    

  • 选言命题（或者或者、要么要么）
    选言命题是反映事物的若干种情况或者性质至少有一种存在的命题。分为相容选言命题和不相容选言命题。由逻辑联结词“或者”或“要么”连接，写成 p或q、要么p要么q
    eg1：或者明天是星期五，或者明天是星期六
    eg2：小张学过英语或者法语
    eg3：要么生，要么死
    
    
    
    
    

  • 假言命题（如果那么、只要就、否则、一就、只有才、除非否则）
    假言命题是陈述某一事物情况是另一件事物情况的条件的命题，假言命题也称条件命题
    eg1：如果小李是犯罪嫌疑人，那么小李有犯罪动机
    eg2：如果在淀粉溶液里加入碘酒，那么淀粉溶液会变蓝
    eg3：只有水分充足，庄稼才能茁壮生长
    eg4：一个代数方程能得到根的计算公式当且仅当这个代数方程的次数不超过四
    
    
    
    
    

1.3 模态命题（可能必然）

• 模态命题是陈述事物情况的必然性或可能性的命题
  eg1：违反客观规律必然受到惩罚
  eg2：改善生物基因是可能的
  
  

1.4 直言命题（所有有些）

• 直言命题（定言命题）：即性质命题，是断定事物性质的简单命题。
  由于在性质命题中，对 对象 具有或不具有某种性质的断定是直接的、无条件的，因而，逻辑史上把这种命题称为直言命题，以 别于假言命题（对对象的某种断定是有条件的）和选言命题（对对象的某种断定是有选择的）
  eg1：所有事物都是运动的
  eg2：有些四边形是矩形
  eg3：小李是申论讲师
  
  

小结：

总结

• 翻译规则