ts needed to secure the completeness result for

propositional logic: c$.\backslash$phi $1\backslash$phi $2\backslash$phi $1->\backslash$phi $2$

d$.\backslash$phi $1\backslash$phi $2\backslash$phi $1->\backslash$phi $2$