Let $=2^.$ Complete the following formal proof by calculating predicates $1$ to $4,$ and

completing the rule references $1$ to $5.(2^$ means $2$ to the power of $$

$.)$

$1.\{1\}2\{2\}2.\{2\}+1\{3\}3.\{1\}2$; $+1\{3\}4.35.\{1\}2$; $+1\{\}6.\{\}<2$; $+1\{4\}1$

$2$

$3$

$4$

$5$

predicate logic