Multiple Select Question

Select all that apply

In the recursive definition of well$-$formed formulae in propositional logic involving $T,F,$ propositional variables, and operators from not,${?}^{{?}^{?}},V,,$harr, which are specified to belong to ${}^{+}$in the basis step?

T

$(EF),$ where $E$ and $F$ belong to ${}^{+}$

$($EVF$),$ where $E$ and $F$ belong to ${}^{+}$

$s,$ where $s$ is a propositional variable

$(notE),$ where $E$ belongs to ${}^{+}$

F

Need help? Review these concept resources.

Read About the Concept