Question $1[6$ marks$]$

Assignment

odubion Theorem des Porens

Let $A,B,C$ be wffs of $L.$ Using only the DT$,$ GMP and the Inconcistency Lemma,

show that $A((notB)(not(AB)))$ is a theorem of $L.,Similo{r}_{p\text{p}\text{o}\text{o}\text{b}\text{l}\text{t}\text{m}}$ to a tutoial

pooblem