在该证明序列中如何使用惯性态？

Question

这是我的问题：

为什么要专门为第7步工作，所以p和p表示r。我可以理解如何显示r并不表示q。有人还能告诉我惯用语的意思是什么，以及它在上下文中的用法吗？

Answer 1

以下是图片中的相关声明：

1. p（给定）
2. p-> r（给定）
3. （3-6片段）
4. r（方式1、2）

Wikipedia article on Modus Ponens很好地解释了这一点。报价已删除/更改了某些部分：

  

参数形式有两个前提（假设）。第一个前提是条件声明的前提P是正确的。第二个前提是“ if-then”或条件声明，即P表示R。从这两个前提可以从逻辑上得出结论：条件声明的结果R也必须为真。

     

适合形式为ponus的自变量示例：

     

  
• 今天是星期二。 （P）
  
• 如果今天是星期二，那么约翰将上班。 （P-> R）
  
• 因此，约翰将上班。 （R）
  

模式单元是用于从有效前提中生成新逻辑语句的推理规则。