EDB β€” 00V

↑ ← β†’ ↓ view in whole PDF view in whole HTML

View

Italian

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

[00W]

Download PDF
Bibliography
Book index
  • formula, ben formata, con quantificatori
Managing blob in: Multiple languages
This content is available in: Italian English