Wiele lat temu, gdy chodziłem do liceum, pewnego dnia w drodze ze szkoły przeprowadziłem z moimi kolegami osobliwą rozmowę. Tknięty jakimś filologicznym przeczuciem powiedziałem im, że słowo „może” może występować obok siebie w sensownym zdaniu trzy razy. Oni upierali się, że to niemożliwe, że „może” może występować obok siebie co najwyżej dwa razy. Byłem całkowicie pewien swoich racji i ogromnie mnie frustrowało, że nie mogę ich do nich przekonać. Spieraliśmy się jakiś czas, nie dochodząc do porozumienia. Jakich narzędzi logicznych mógłbym użyć, żeby postawić na swoim? Dzisiaj sprawdzimy, czy uzasadnienie pośrednie, czyli wnioskowanie, nie mogłoby się okazać przydatne w takich przypadkach.