b'\n_START_ARTICLE_\nMonotonicidade da implica\xc3\xa7\xc3\xa3o\n_START_SECTION_\nRegra de enfraquecimento\n_START_PARAGRAPH_\nA n\xc3\xadvel de ilustra\xc3\xa7\xc3\xa3o, partindo da sequente de dedu\xc3\xa7\xc3\xa3o natural:_NEWLINE_o enfraquecimento permite que se conclua:'