EDB — 01G

Exercises

1. [01G] (Solved on 2022-10-27// in parte) Let now \(P(n),Q(n)\) be two propositions.

   • Say what implications there are between

     • ”\((P(n)∧ Q(n))\) is valid eventually” and

     • ”\(P(n)\) is valid eventually and \(Q(n)\) is valid eventually”.

   • Similarly for propositions

     • ”\((P(n)∨ Q(n))\) is valid eventually” and

     • ”\(P(n)\) is valid eventually or \(Q(n)\) is valid eventually”.

   Also formulate similar results for the notion of ”frequently”.

   Solution 1

   [01H]↺↻