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