- E30
[00V]Siano \(X,Y\) insiemi. Siano \(π,π\) proposizioni logiche; \(x,a\) sono variabili libere in \(π\), e \(y,b\) sono libere in \(π\). Assumiamo inoltre che \(a,b\) possano essere solo vere o false, mentre \(xβ X, yβ Y\). Considerate le seguenti formule. Quali sono ben formate? Quali variabili sono libere in esse?
\begin{eqnarray*} b β§ (β x,π) \\ (β y, π) β¨ (β x,π)\\ β x,β b, \bigl(πβ§ (πβ¨ b)\bigr) \\ a β¨ (β x,β a, π) \\ (β x, π) β§ (β x,π) \end{eqnarray*}Soluzione 1
EDB β 00V
View
Italian
Authors:
"Mennucci , Andrea C. G."
.
Managing blob in: Multiple languages