O propoziție de forma "a sau b" este adevărată dacă cel puțin una din
propozițiile a sau b este adevărată.
I) Pentru că p4 este adevărată, rezultă că în p1 doar A∈C1 este adevărată.
II) Din p4 adevărată, rezultă că în p2 doar C ∈ C1 este adevărată.
III) În propoziția p3 știm că A∈C2 și C∈C3 nu sunt adevărate, deci numai
B∈C1 este adevărată.
Așadar, am găsit propozițiile adevărate:
A∈C1, B∈C1, C∈C1.
Rezultă că cei trei copii sunt colegi în clasa I.
