EDB — 01G

Esercizi

1. [01G] (Svolto il 2022-10-27// in parte) Siano ora $P(n),Q(n)$ due proposizioni.

   • Dite quali implicazioni vi sono fra

     • “$(P(n)\wedge Q(n))$ vale definitivamente” e

     • “$P(n)$ vale definitivamente e $Q(n)$ vale definitivamente”.

   • Similmente per le proposizioni

     • “$(P(n)\vee Q(n))$ vale definitivamente” e

     • “$P(n)$ vale definitivamente oppure $Q(n)$ vale definitivamente”.

   Formulate inoltre simili risultati per la nozione di “frequentemente”.

   Soluzione 1

   [01H]↺↻