Question $1$

$1$ pts

Looking at the following proof, everything has been decomposed to a simple statement or simple negated statement, so I can stop here and say we have an open branch:

$(x)Pb\frac{x}{Ex}Px\frac{r}{\frac{?}{?}}(x)Pxr$

$(x)Pbx$

$(Ex)Pxr$

$(x)Pxr$

$($x$)$Pxr $3$DN

Par $,2EI$

$Pbr,1UI$

True

False