Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/fsharp/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Logic P→的形式证明;Q≡¬;P∨;惠誉Q_Logic_Proof_Fitch Proofs - Fatal编程技术网

Logic P→的形式证明;Q≡¬;P∨;惠誉Q

Logic P→的形式证明;Q≡¬;P∨;惠誉Q,logic,proof,fitch-proofs,Logic,Proof,Fitch Proofs,我正试图为'p'构造一个正式的证明→ Q≡ P∨ 惠誉的问题。我知道这是真的,但我如何证明呢?我终于设法解决了这个问题: 实际上相当直截了当我终于设法解决了这个问题: 实际上相当直接给定p⇒ q、 使用惠誉系统证明∨ 问题 1. p => q Premise 2. ~(~p | q) Assumption 3. ~p Assumption 4. ~p | q Or Introduction

我正试图为'p'构造一个正式的证明→ Q≡ P∨ 惠誉的问题。我知道这是真的,但我如何证明呢?

我终于设法解决了这个问题:


实际上相当直截了当

我终于设法解决了这个问题:


实际上相当直接

给定p⇒ q、 使用惠誉系统证明∨ 问题

1.  p => q            Premise
2.    ~(~p | q)       Assumption
3.      ~p            Assumption
4.      ~p | q        Or Introduction: 3
5.    ~p => ~p | q    Implication Introduction: 3, 4
6.     ~p             Assumption
7.     ~(~p | q)      Reiteration: 2
8.    ~p => ~(~p | q) Implication Introduction: 6, 7
9.    ~~p             Negation Introduction: 5, 8
10.   p               Negation Elimination: 9
11.   q               Implication Elimination: 1, 10
12.   ~p | q          Or Introduction: 11
13. ~(~p | q) => ~p | q        Implication Introduction: 2, 12
14.  ~(~p | q)                 Assumption
15. ~(~p | q) => ~(~p | q)     Implication Introduction: 14, 14
16. ~~(~p | q)                 Negation Introduction: 13, 15
17. ~p | q                     Negation Elimination: 16

目标~p| q完成

给定p⇒ q、 使用惠誉系统证明∨ 问题

1.  p => q            Premise
2.    ~(~p | q)       Assumption
3.      ~p            Assumption
4.      ~p | q        Or Introduction: 3
5.    ~p => ~p | q    Implication Introduction: 3, 4
6.     ~p             Assumption
7.     ~(~p | q)      Reiteration: 2
8.    ~p => ~(~p | q) Implication Introduction: 6, 7
9.    ~~p             Negation Introduction: 5, 8
10.   p               Negation Elimination: 9
11.   q               Implication Elimination: 1, 10
12.   ~p | q          Or Introduction: 11
13. ~(~p | q) => ~p | q        Implication Introduction: 2, 12
14.  ~(~p | q)                 Assumption
15. ~(~p | q) => ~(~p | q)     Implication Introduction: 14, 14
16. ~~(~p | q)                 Negation Introduction: 13, 15
17. ~p | q                     Negation Elimination: 16

<>目标~P q q完成< /p>你会考虑一个真值表作为证据吗?不,我在FITCH中寻找一个正式的证明。你会考虑一个真值表作为证据吗?不,我在FITCH中寻找一个正式的证据。