EDB — 00S

view in whole PDF view in whole HTML

View

Italian

Nota 19

[00S](Svolto il 2022-10-11) Notate che “xA,𝜑” è vera se A è vuoto; questo è consistente con quanto discusso nell’esercizio [016]. Questo però ha una conseguenza importante: l’implicazione

(xA,𝜑)(xA,𝜑)

è sempre valida quando A è un insieme non-vuoto, ed è invece falsa quando A=.

Download PDF
Managing blob in: Multiple languages
This content is available in: Italian English