- E30
[00V]Let \(X,Y\) sets. Let \(π,π\) logical propositions be; \(x,a\) are free variables in \(π\), and \(y,b\) are free in \(π\). We also assume that \(a,b\) can only be true or false, while \(xβ X, yβ Y\). Consider the following formulae. Which ones are well formed? What variables are free in them?
\begin{eqnarray*} b β§ (β x,π) \\ (β y, π) β¨ (β x,π)\\ β x,β b, \bigl(πβ§ (πβ¨ b)\bigr) \\ a β¨ (β x,β a, π) \\ (β x, π) β§ (β x,π) \end{eqnarray*}Solution 1
EDB β 00V
View
English
Authors:
"Mennucci , Andrea C. G."
.
Managing blob in: Multiple languages