Conjunction and Implication

Context
Natural deduction

Theorems

 * $$p \land q \vdash \lnot \left({p \Longrightarrow \lnot q}\right)$$
 * $$\lnot \left({p \Longrightarrow \lnot q}\right) \vdash p \land q$$


 * $$p \Longrightarrow q \vdash \lnot \left({p \land \lnot q}\right)$$
 * $$\lnot \left({p \land \lnot q}\right) \vdash p \Longrightarrow q$$


 * $$p \land \lnot q \vdash \lnot \left({p \Longrightarrow q}\right)$$
 * $$\lnot \left({p \Longrightarrow q}\right) \vdash p \land \lnot q$$


 * $$p \Longrightarrow \lnot q \vdash \lnot \left({p \land q}\right)$$
 * $$\lnot \left({p \land q}\right) \vdash p \Longrightarrow \lnot q$$

Proofs
$$p \land q \vdash \lnot \left({p \Longrightarrow \lnot q}\right)$$: