Ре­ше­ние. Вве­дем обо­зна­че­ния: (x ∈А) ≡ A; (x ∈ P) ≡ P; (x ∈ Q) ≡ Q.

При­ме­нив пре­об­ра­зо­ва­ние им­пли­ка­ции, по­лу­ча­ем:

P∨Q ис­тин­но тогда, когда x∈[4;18]. По­сколь­ку все вы­ра­же­ние долж­но быть ис­тин­но для лю­бо­го x, вы­ра­же­ние ¬A долж­но быть ис­тин­но на лучах (–∞,4) и (18,+∞). По­это­му вы­ра­же­ние A долж­но быть ис­тин­но толь­ко внут­ри от­рез­ка [4;18].

Из всех от­рез­ков толь­ко от­ре­зок [5;15] пол­но­стью лежит внут­ри от­рез­ка [4;18].