Представьте, что вы общаетесь с другом по поводу предстоящей вечерней прогулки. Вы говорите: «Если будет хорошая погода, то я точно пойду». Друг отвечает: «Но что такое хорошая погода? Для тебя это солнце и ясное небо, для меня — просто отсутствие дождя».  И вот вы уже теряетесь в мыслях: просто назвать друга «душным» или принять, что ваше изречение содержит некую неоднозначность. Именно для того, чтобы избежать подобных неоднозначностей, и существует математическая логика — наука о правильных рассуждениях, использующая строгие формальные методы...