Finding a biconditional Conclusion with Nested conditional Proof

前端 未结 0 871
栀梦
栀梦 2020-12-07 05:04

For this forum, you have only one proof. Hint: you need to do a nested conditional proof, i.e., an assumption within an assumption.

  1. P ∨ Q
  2. ~P ∨ ~Q
相关标签:
回答
  • 消灭零回复
提交回复
热议问题