自然控除:底除去の理解(¬)
-
29-09-2020 - |
解決
通常、実際には2つのステップを溶接し、 $ p $ 、 $ \ lnot p $ 何でも、正式なロジックでは、これは2つの推論規則の組み合わせです。
- $ p $ と $ \ lnot p $ どちらも虚偽の $ \ bot $ 、 $ \ bot $ から次のものが続きます。
これらはあなたの証明の正確には9と10です。
$ \ lnot p $ を $ p \ rightarrow \ bot $ $ p $ 、および $ \ lnot p $ のルール ""からのルール "="math-container"> $ \ bot $ " $ p $ 、 $ p \ rightarrow R $ が続きます $ r $ "。
所属していません cs.stackexchange