Используя логические формулы и графическую иллюстрацию проведите формальное обоснование правильности (неправильности) следующих рассуждений
если завтра будет холодно, я надену тёплое пальто. я смогу надеть тёплое пальто, если починят рукав. завтра будет холодно, но рукав не починят. следовательно, я не надену тёплое пальто.