0
$\begingroup$

I need help understanding the following

  • $A \Rightarrow (B \wedge \neg B) \vdash \neg A$
    • Does it mean $(A \Rightarrow (B \wedge \neg B)) \vdash \neg A$. And can I simplify it to $(A \Rightarrow \perp) \vdash \neg A$
  • $(A \vdash B) \vdash A \Rightarrow B$
    • Does it mean $((A \vdash B) \vdash A) \Rightarrow B$

Are my above interpretation right? With added brackets

2 Answers 2