A: Неправда, что если 1 июля 2010 года погода будет пасмурная, то 1 июля 2010 года пойдет дождь. B: Как это, неправда? Где-то же он обязательно пойдет.
А если начать фиксировать.
A: Неправда, что если(прямо тут и сейчас) погода пасмурная, то(тут и сейчас) идет дождь. B: Почему неправда? Прямо тут и сейчас так оно и есть.
Re: Ошибка формализации.
A: Неправда, что если 1 июля 2010 года погода будет пасмурная, то 1 июля 2010 года пойдет дождь.
B: Как это, неправда? Где-то же он обязательно пойдет.
А если начать фиксировать.
A: Неправда, что если(прямо тут и сейчас) погода пасмурная, то(тут и сейчас) идет дождь.
B: Почему неправда? Прямо тут и сейчас так оно и есть.